| 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 | 1046 | 2015 |
| Visibly pushdown languages R Alur, P Madhusudan Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004 | 745 | 2004 |
| Adding nesting structure to words R Alur, P Madhusudan Journal of the ACM (JACM) 56 (3), 1-43, 2009 | 399 | 2009 |
| 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 |
| ICE: A robust framework for learning invariants P Garg, C Löding, P Madhusudan, D Neider Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 279 | 2014 |
| 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 | 258 | 2004 |
| Learning invariants using decision trees and implication counterexamples P Garg, D Neider, P Madhusudan, D Roth ACM Sigplan Notices 51 (1), 499-512, 2016 | 245 | 2016 |
| 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 | 235 | 2010 |
| Vetting browser extensions for security vulnerabilities with vex S Bandhakavi, N Tiku, W Pittman, ST King, P Madhusudan, M Winslett Communications of the ACM 54 (9), 91-99, 2011 | 233 | 2011 |
| Decision problems for timed automata: A survey R Alur, P Madhusudan Formal Methods for the Design of Real-Time Systems, 1-24, 2004 | 228 | 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 | 223 | 2007 |
| 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 | 173 | 2007 |
| Symbolic compositional verification by learning assumptions R Alur, P Madhusudan, W Nam International Conference on Computer Aided Verification, 548-562, 2005 | 166 | 2005 |
| PENELOPE: weaving threads to expose atomicity violations F Sorrentino, A Farzan, P Madhusudan Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 152 | 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 | 138 | 2009 |
| Open systems in reactive environments: Control and synthesis O Kupferman, P Madhusudan, PS Thiagarajan, MY Vardi CONCUR 2000—Concurrency Theory: 11th International Conference University …, 2000 | 138 | 2000 |
| 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 | 134 | 2008 |
| The tree width of auxiliary storage P Madhusudan, G Parlato ACM SIGPLAN Notices 46 (1), 283-294, 2011 | 126 | 2011 |
| Natural proofs for structure, data, and separation X Qiu, P Garg, A Ştefănescu, P Madhusudan ACM SIGPLAN Notices 48 (6), 231-242, 2013 | 120 | 2013 |
| Distributed controller synthesis for local specifications P Madhusudan, PS Thiagarajan International Colloquium on Automata, Languages, and Programming, 396-407, 2001 | 118 | 2001 |
Pranav GargAmazonamazon.com의 이메일 확인됨
