Parthasarathy Madhusudan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2007–2013
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ASPLOS | Verifying security invariants in ExpressOS. | Haohui Mai, Edgar Pek, Hui Xue, Samuel Talmadge King, Parthasarathy Madhusudan |
| 2013 | PLDI | Natural proofs for structure, data, and separation. | Xiaokang Qiu, Pranav Garg, Andrei Stefanescu, Parthasarathy Madhusudan |
| 2012 | POPL | Recursive proofs for inductive tree data-structures. | Parthasarathy Madhusudan, Xiaokang Qiu, Andrei Stefanescu |
| 2012 | SACMAT | Analyzing temporal role based access control models. | Emre Uzun, Vijayalakshmi Atluri, Shamik Sural, Jaideep Vaidya, Gennaro Parlato, Anna Lisa Ferrara, Parthasarathy Madhusudan |
| 2011 | CSL | Synthesizing Reactive Programs. | Parthasarathy Madhusudan |
| 2010 | LATIN | The Language Theory of Bounded Context-Switching. | Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato |
| 2009 | PLDI | Analyzing recursive programs using a fixed-point calculus. | Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato |
| 2007 | LICS | A Robust Class of Context-Sensitive Languages. | Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato |