Viktor Kuncak

INR 318 (Bâtiment INR)
Station 14
CH-1015 Lausanne

Site web:
Unité: SIN-ENS

Site web:
Unité: SSC-ENS

Données administratives



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