| Full functional verification of linked data structures K Zee, V Kuncak, M Rinard ACM SIGPLAN Notices 43 (6), 349-361, 2008 | 244 | 2008 |
| Test generation through programming in UDITA M Gligoric, T Gvero, V Jagannath, S Khurshid, V Kuncak, D Marinov Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 192 | 2010 |
| Complete functional synthesis V Kuncak, M Mayer, R Piskac, P Suter ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI …, 2010 | 166 | 2010 |
| Sound compilation of reals E Darulova, V Kuncak Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 164 | 2014 |
| Role analysis V Kuncak, P Lam, M Rinard ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL …, 2002 | 159 | 2002 |
| Complete completion using types and weights T Gvero, V Kuncak, I Kuraj, R Piskac Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013 | 155 | 2013 |
| CrystalBall: Predicting and preventing inconsistencies in deployed distributed systems M Yabandeh, N Knezevic, D Kostic, V Kuncak The 6th USENIX Symposium on Networked Systems Design and Implementation …, 2009 | 151 | 2009 |
| Counterexample-guided quantifier instantiation for synthesis in SMT A Reynolds, M Deters, V Kuncak, C Tinelli, C Barrett Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 141 | 2015 |
| Satisfiability modulo recursive programs P Suter, AS Köksal, V Kuncak Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011 | 129 | 2011 |
| Decision Procedures for Algebraic Data Types with Abstractions P Suter, M Dotta, V Kuncak In 37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages …, 2010 | 125 | 2010 |
| Software verification and graph similarity for automated evaluation of students’ assignments M Vujošević-Janičić, M Nikolić, D Tošić, V Kuncak Information and Software Technology 55 (6), 1004-1016, 2013 | 119 | 2013 |
| Synthesis modulo recursive functions E Kneuss, I Kuraj, V Kuncak, P Suter Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013 | 117 | 2013 |
| Disjunctive interpolants for Horn-clause verification P Rümmer, H Hojjat, V Kuncak Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 110 | 2013 |
| Induction for SMT solvers A Reynolds, V Kuncak Verification, Model Checking, and Abstract Interpretation: 16th …, 2015 | 109 | 2015 |
| Synthesizing Java expressions from free-form queries T Gvero, V Kuncak Proceedings of the 2015 acm sigplan international conference on object …, 2015 | 99 | 2015 |
| Towards a compiler for reals E Darulova, V Kuncak ACM Transactions on Programming Languages and Systems (TOPLAS) 39 (2), 1-28, 2017 | 97 | 2017 |
| An overview of the Leon verification system: Verification by translation to recursive functions R Blanc, V Kuncak, E Kneuss, P Suter Proceedings of the 4th Workshop on Scala, 1-10, 2013 | 95 | 2013 |
| A Verification Toolkit for Numerical Transition Systems: Tool Paper H Hojjat, F Konečný, F Garnier, R Iosif, V Kuncak, P Rümmer FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012 | 93 | 2012 |
| Verifying a file system implementation K Arkoudas, K Zee, V Kuncak, M Rinard ICFEM 3308, 373-390, 2004 | 90 | 2004 |
| Modular data structure verification VVJ Kuncak Massachusetts Institute of Technology, 2007 | 86 | 2007 |
martin rinardMITVerified email at lcs.mit.edu
