Seguir
Viktor Kunčak
Viktor Kunčak
EPFL
Dirección de correo verificada de epfl.ch - Página principal
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20