| Syntax-Guided Synthesis R Alur, R Bodik, E Dallal, D Fisman, P Garg, G Juniwal, H Kress-Gazit, ... Dependable Software Systems Engineering, 1-25, 2015 | 708 | 2015 |
| Visibly pushdown languages R Alur, P Madhusudan Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004 | 673 | 2004 |
| Synthesis of interface specifications for Java classes R Alur, P Černý, P Madhusudan, W Nam Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005 | 397 | 2005 |
| Adding nesting structure to words R Alur, P Madhusudan Journal of the ACM (JACM) 56 (3), 1-43, 2009 | 351 | 2009 |
| A temporal logic of nested calls and returns R Alur, K Etessami, P Madhusudan International Conference on Tools and Algorithms for the Construction and …, 2004 | 243 | 2004 |
| CANDID: Dynamic candidate evaluations for automatic prevention of SQL injection attacks P Bisht, P Madhusudan, VN Venkatakrishnan ACM Transactions on Information and System Security (TISSEC) 13 (2), 1-39, 2010 | 212 | 2010 |
| Decision problems for timed automata: A survey R Alur, P Madhusudan Formal Methods for the Design of Real-Time Systems, 1-24, 2004 | 203 | 2004 |
| {VEX}: Vetting Browser Extensions for Security Vulnerabilities S Bandhakavi, ST King, P Madhusudan, M Winslett 19th USENIX Security Symposium (USENIX Security 10), 2010 | 202 | 2010 |
| ICE: A robust framework for learning invariants P Garg, C Löding, P Madhusudan, D Neider International Conference on Computer Aided Verification, 69-87, 2014 | 191 | 2014 |
| CANDID: preventing SQL injection attacks using dynamic candidate evaluations S Bandhakavi, P Bisht, P Madhusudan, VN Venkatakrishnan Proceedings of the 14th ACM conference on Computer and communications …, 2007 | 191 | 2007 |
| Learning invariants using decision trees and implication counterexamples P Garg, D Neider, P Madhusudan, D Roth ACM Sigplan Notices 51 (1), 499-512, 2016 | 177 | 2016 |
| A robust class of context-sensitive languages S La Torre, P Madhusudan, G Parlato 22nd Annual IEEE symposium on logic in computer science (LICS 2007), 161-170, 2007 | 163 | 2007 |
| Symbolic compositional verification by learning assumptions R Alur, P Madhusudan, W Nam International Conference on Computer Aided Verification, 548-562, 2005 | 153 | 2005 |
| PENELOPE: weaving threads to expose atomicity violations F Sorrentino, A Farzan, P Madhusudan Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 135 | 2010 |
| Open systems in reactive environments: Control and synthesis O Kupferman, P Madhusudan, PS Thiagarajan, MY Vardi International Conference on Concurrency Theory, 92-107, 2000 | 132 | 2000 |
| Reducing context-bounded concurrent reachability to sequential reachability SL Torre, P Madhusudan, G Parlato International Conference on Computer Aided Verification, 477-492, 2009 | 121 | 2009 |
| Context-bounded analysis of concurrent queue systems SL Torre, P Madhusudan, G Parlato International Conference on Tools and Algorithms for the Construction and …, 2008 | 120 | 2008 |
| The tree width of auxiliary storage P Madhusudan, G Parlato ACM SIGPLAN Notices 46 (1), 283-294, 2011 | 117 | 2011 |
| Adding nesting structure to words R Alur, P Madhusudan International Conference on Developments in Language Theory, 1-13, 2006 | 113 | 2006 |
| Distributed controller synthesis for local specifications P Madhusudan, PS Thiagarajan International Colloquium on Automata, Languages, and Programming, 396-407, 2001 | 109 | 2001 |
