| Visibly pushdown languages R Alur, P Madhusudan Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004 | 637 | 2004 |
| 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 | 607 | 2015 |
| 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 | 391 | 2005 |
| Adding nesting structure to words R Alur, P Madhusudan Journal of the ACM (JACM) 56 (3), 1-43, 2009 | 333 | 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 | 231 | 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 | 202 | 2010 |
| Decision problems for timed automata: A survey R Alur, P Madhusudan Formal Methods for the Design of Real-Time Systems, 1-24, 2004 | 192 | 2004 |
| 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 | 186 | 2007 |
| 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 | 164 | 2014 |
| 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 | 162 | 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 | 150 | 2016 |
| Symbolic compositional verification by learning assumptions R Alur, P Madhusudan, W Nam International Conference on Computer Aided Verification, 548-562, 2005 | 150 | 2005 |
| VEX: Vetting Browser Extensions for Security Vulnerabilities. S Bandhakavi, ST King, P Madhusudan, M Winslett USENIX Security Symposium 10, 339-354, 2010 | 148 | 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 | 130 | 2000 |
| PENELOPE: weaving threads to expose atomicity violations F Sorrentino, A Farzan, P Madhusudan Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 129 | 2010 |
| Reducing context-bounded concurrent reachability to sequential reachability S La Torre, P Madhusudan, G Parlato International Conference on Computer Aided Verification, 477-492, 2009 | 120 | 2009 |
| Context-bounded analysis of concurrent queue systems S La Torre, P Madhusudan, G Parlato International Conference on Tools and Algorithms for the Construction and …, 2008 | 115 | 2008 |
| Adding nesting structure to words R Alur, P Madhusudan International Conference on Developments in Language Theory, 1-13, 2006 | 114 | 2006 |
| The tree width of auxiliary storage P Madhusudan, G Parlato ACM SIGPLAN Notices 46 (1), 283-294, 2011 | 105 | 2011 |
| Distributed controller synthesis for local specifications P Madhusudan, PS Thiagarajan International Colloquium on Automata, Languages, and Programming, 396-407, 2001 | 105 | 2001 |
