Follow
Viktor Kunčak
Title
Cited by
Cited by
Year
Full functional verification of linked data structures
K Zee, V Kuncak, M Rinard
ACM SIGPLAN Notices 43 (6), 349-361, 2008
2542008
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
2122010
Predicting and preventing inconsistencies in deployed distributed systems
M Yabandeh, N Knežević, D Kostić, V Kuncak
ACM Transactions on Computer Systems (TOCS) 28 (1), 1-49, 2010
1872010
Sound compilation of reals
E Darulova, V Kuncak
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
1832014
Complete functional synthesis
V Kuncak, M Mayer, R Piskac, P Suter
ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI …, 2010
1832010
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
1782013
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
1732015
Role analysis
V Kuncak, P Lam, M Rinard
ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL …, 2002
1582002
Satisfiability modulo recursive programs
P Suter, AS Köksal, V Kuncak
International Static Analysis Symposium, 298-315, 2011
1452011
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
1442013
Synthesis modulo recursive functions
E Kneuss, I Kuraj, V Kuncak, P Suter
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
1392013
Induction for SMT solvers
A Reynolds, V Kuncak
International Workshop on Verification, Model Checking, and Abstract …, 2015
1322015
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
1302010
Synthesizing Java expressions from free-form queries
T Gvero, V Kuncak
Proceedings of the 2015 acm sigplan international conference on object …, 2015
1202015
Towards a compiler for reals
E Darulova, V Kuncak
ACM Transactions on Programming Languages and Systems (TOPLAS) 39 (2), 1-28, 2017
1182017
Disjunctive interpolants for Horn-clause verification
P Rümmer, H Hojjat, V Kuncak
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
1162013
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
1042013
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
972012
Towards efficient satisfiability checking for Boolean Algebra with Presburger Arithmetic
V Kuncak, M Rinard
International Conference on Automated Deduction, 215-230, 2007
962007
Modular data structure verification
VVJ Kuncak
Massachusetts Institute of Technology, 2007
912007
The system can't perform the operation now. Try again later.
Articles 1–20