Parthasarathy Madhusudan

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