Viktor Kunčak
Viktor Kunčak
Geverifieerd e-mailadres voor epfl.ch - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Full functional verification of linked data structures
K Zee, V Kuncak, M Rinard
ACM SIGPLAN Notices 43 (6), 349-361, 2008
2352008
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
1642010
Role analysis
V Kuncak, P Lam, M Rinard
ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL …, 2002
1542002
Complete functional synthesis
V Kuncak, M Mayer, R Piskac, P Suter
ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI …, 2010
1462010
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
1332009
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
1272013
Sound compilation of reals
E Darulova, V Kuncak
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
1232014
Satisfiability modulo recursive programs
P Suter, AS Köksal, V Kuncak
International Static Analysis Symposium, 298-315, 2011
1142011
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
1092010
Counterexample-guided quantifier instantiation for synthesis in SMT
A Reynolds, M Deters, V Kuncak, C Tinelli, C Barrett
International Conference on Computer Aided Verification, 198-216, 2015
992015
Disjunctive interpolants for Horn-clause verification
P Rümmer, H Hojjat, V Kuncak
International Conference on Computer Aided Verification, 347-363, 2013
972013
Synthesis modulo recursive functions
E Kneuss, I Kuraj, V Kuncak, P Suter
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
912013
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
912013
Modular data structure verification
VVJ Kuncak
Massachusetts Institute of Technology, 2007
842007
A verification toolkit for numerical transition systems
H Hojjat, F Konečnı, F Garnier, R Iosif, V Kuncak, P Rümmer
International Symposium on Formal Methods, 247-251, 2012
832012
Verifying a file system implementation
K Arkoudas, K Zee, V Kuncak, M Rinard
International Conference on Formal Engineering Methods, 373-390, 2004
802004
Deciding Boolean algebra with Presburger arithmetic
V Kuncak, HH Nguyen, M Rinard
Journal of Automated Reasoning 36 (3), 213-239, 2006
742006
Towards efficient satisfiability checking for Boolean Algebra with Presburger Arithmetic
V Kuncak, M Rinard
International Conference on Automated Deduction, 215-230, 2007
732007
Constraints as control
AS Köksal, V Kuncak, P Suter
ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL …, 2012
712012
An integrated proof language for imperative programs
K Zee, V Kuncak, MC Rinard
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
702009
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20