Parthasarathy Madhusudan

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 2

Top Topics

Role Based Access Control Model

Automated Reasoning

Top Venues

Publications

Salvatore La Torre, Parthasarathy Madhusudan
Reachability in Concurrent Uninterpreted Programs. FSTTCS (2019)
Parthasarathy Madhusudan, Dirk Nowotka, Aayush Rajasekaran, Jeffrey O. Shallit
Lagrange's Theorem for Binary Squares. CoRR (2017)
Andrew Cross, B. Ashok, Srinath Bala, Edward Cutrell, Naren Datha, Rahul Kumar, Viraj Kumar, Parthasarathy Madhusudan, Siddharth Prakash, Sriram K. Rajamani, Satish Sangameswaran, Deepika Sharma, William Thies
Online learning versus blended learning: an exploratory study. L@S (2014)
Haohui Mai, Edgar Pek, Hui Xue, Samuel Talmadge King, Parthasarathy Madhusudan
Verifying security invariants in ExpressOS. ASPLOS (2013)
Xiaokang Qiu, Pranav Garg, Andrei Stefanescu, Parthasarathy Madhusudan
Natural proofs for structure, data, and separation. PLDI (2013)
Emre Uzun, Vijayalakshmi Atluri, Shamik Sural, Jaideep Vaidya, Gennaro Parlato, Anna Lisa Ferrara, Parthasarathy Madhusudan
Analyzing temporal role based access control models. SACMAT (2012)
Parthasarathy Madhusudan
Automated Reasoning and Natural Proofs for Programs Manipulating Data Structures. FSTTCS (2012)
Parthasarathy Madhusudan, Xiaokang Qiu, Andrei Stefanescu
Recursive proofs for inductive tree data-structures. POPL (2012)
Parthasarathy Madhusudan
Synthesizing Reactive Programs. CSL (2011)
Prithvi Bisht, Parthasarathy Madhusudan, V. N. Venkatakrishnan
CANDID: Dynamic candidate evaluations for automatic prevention of SQL injection attacks. ACM Trans. Inf. Syst. Secur. 13 (2) (2010)
Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato
The Language Theory of Bounded Context-Switching. LATIN (2010)
Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato
Analyzing recursive programs using a fixed-point calculus. PLDI (2009)
Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato
A Robust Class of Context-Sensitive Languages. LICS (2007)