Viktor Kuncak
EPFL IC IINFCOM LARA
INR 318 (Bâtiment INR)
Station 14
CH-1015 Lausanne
Publications
Infoscience
Infoscience
E. Kneuss; P. Suter; V. Kuncak : Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. 2010. Runtime Veritication, St. Julians, Malta, November 1-4, 2010.
E. Kneuss; P. Suter; V. Kuncak : Phantm: PHP analyzer for type mismatch. 2010. FSE '10 Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, Santa-Fe, NM, USA, November 7-11 2010.
V. Kuncak; R. Piskac; P. Suter : Ordered Sets in the Calculus of Data Structures. 2010. Annual Conference of the European Association for Computer Science Logic, Brno, CZ, Aug 23-27, 2010. p. 34-48.
V. Kuncak; R. Piskac; P. Suter : Ordered Sets in the Calculus of Data Structures. 2010. 19th Annual Conference of the European Association for Computer Science Logic, Brno, Czech Republic, August 23-27, 2010. p. 34-48. DOI : 10.1007/978-3-642-15205-4_5.
R. Piskac; V. Kuncak : MUNCH - Automated Reasoner for Sets and Multisets. 2010. International Joint Conference on Automated Reasoning, Edinburgh, UK, July 16-19, 2010. p. 149-155. DOI : 10.1007/978-3-642-14203-1_13.
V. Kuncak; R. Piskac; P. Suter; T. Wies : Building a Calculus of Data Structures. 2010. 11th International Conference on Verification, Model Checking and Abstract Interpretation, Madrid, Spain, January 17-19, 2010. p. 26-44. DOI : 10.1007/978-3-642-11319-2_6.
K. Yessenov; R. Piskac; V. Kuncak : Collections, Cardinalities, and Relations. 2010. p. 380-395. DOI : 10.1007/978-3-642-11319-2_27.
P. Suter; A. S. Köksal; V. Kuncak : On Satisfiability Modulo Computable Functions. 2010.
V. Kuncak; M. Mayer; R. Piskac; P. Suter : Comfusy: A Tool for Complete Functional Synthesis. 2010. 22nd International Conference on Computer Aided Verification, Edinburgh, Scotland, UK, July 15-19, 2010. p. 430-433. DOI : 10.1007/978-3-642-14295-6_38.
E. Kneuss; P. Suter; V. Kuncak : Phantm: PHP Analyzer for Type Mismatch. 2010. ACM SIGSOFT 18th International Symposium on the Foundations of Software Engineering, Santa Fe, New Mexico, USA, November 7-11, 2010. p. 373-374. DOI : 10.1145/1882291.1882355.
E. Kneuss; P. Suter; V. Kuncak : Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. 2010. 1st International Conference on Runtime Verification, St. Julians, Malta, November 1-4, 2010. p. 300-314. DOI : 10.1007/978-3-642-16612-9_23.
E. Darulova; V. Kuncak : On Rigorous Numerical Computation as a Scala Library. 2010.
S. Jacobs; V. Kuncak : On Complete Reasoning about Axiomatic Specifications. 2010.
P. Suter; R. Steiger; V. Kuncak : On Sets with Cardinality Constraints in Satisfiability Modulo Theories. 2010.
T. Wies; M. Marco; V. Kuncak : On Deciding Functional Lists with Sublist Sets. 2010.
S. Jacobs; V. Kuncak : On Locality of One-Variable Axioms and Piecewise Combinations. 2010.
E. Kneuss; P. Suter; V. Kuncak : On Using Static Analysis to Detect Type Errors in PHP Applications. 2010.
P. Suter; M. Dotta; V. Kuncak : Decision Procedures for Algebraic Data Types with Abstractions. 2010. ACM Symp. Principles of Programming Languages (POPL), 2010. p. 199-210.
M. Gligoric; T. Gvero; V. Jagannath; S. Khurshid; V. Kuncak et al. : Test Generation through Programming in UDITA. 2010. International Conference on Software Engineering (ICSE), 2010.
V. Kuncak; M. Mayer; R. Piskac; P. Suter : Complete Functional Synthesis. 2010. ACM Conf. Programming Language Design and Implementation (PLDI), 2010.
R. Piskac; P. Suter; V. Kuncak : On Decision Procedures for Ordered Collections. 2010.
M. Yabandeh; N. Knezevic; D. Kostic; V. Kuncak : Predicting and Preventing Inconsistencies in Deployed Distributed Systems; ACM Transactions on Computer Systems. 2010. DOI : 10.1145/1731060.1731062.
Autres publications
| Ruzica Piskac, Viktor Kuncak Computed-Aided Verification (CAV), 2008 |
Linear Arithmetic with Stars |
| Viktor Kuncak, Hai Huu Nguyen, and Martin Rinard Journal of Automated Reasoning, 36(3), 2006 |
Deciding Boolean Algebra with Presburger Arithmetic |
| Viktor Kuncak, Patrick Lam, Karen Zee, and Martin Rinard IEEE Transactions on Software Engineering, 32(12), 2006 |
Modular Pluggable Analyses for Data Structure Consistency |
| Viktor Kuncak and Daniel Jackson Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2005 |
Relational Analysis of Algebraic Datatypes |
| Viktor Kuncak and Martin Rinard Eighteenth Annual IEEE Symposium on Logic in Computer Science, 2003 |
Structural Subtyping of Non-Recursive Types is Decidable |
| Viktor Kuncak and Patrick Lam and Martin Rinard Proceedings of the 29th Annual ACM Symposium on Principles of Programming Languages, 2002 |
Role Analysis |
