 | 2010 |
|---|
| 48 |       | Philippe Suter,
Mirco Dotta,
Viktor Kuncak:
Decision procedures for algebraic data types with abstractions.
POPL 2010: 199-210 |
| 47 | | Viktor Kuncak,
Ruzica Piskac,
Philippe Suter,
Thomas Wies:
Building a Calculus of Data Structures.
VMCAI 2010: 26-44 |
| 46 | | Kuat Yessenov,
Ruzica Piskac,
Viktor Kuncak:
Collections, Cardinalities, and Relations.
VMCAI 2010: 380-395 |
| 2009 |
|---|
| 45 | | Thomas Wies,
Ruzica Piskac,
Viktor Kuncak:
Combining Theories with Shared Set Operations.
FroCos 2009: 366-382 |
| 44 | | Karen Zee,
Viktor Kuncak,
Martin C. Rinard:
An integrated proof language for imperative programs.
PLDI 2009: 338-351 |
| 43 | | Pierre-Évariste Dagand,
Dejan Kostic,
Viktor Kuncak:
Opis: reliable distributed systems in OCaml.
TLDI 2009: 65-78 |
| 2008 |
|---|
| 42 | | Ruzica Piskac,
Viktor Kuncak:
Linear Arithmetic with Stars.
CAV 2008: 268-280 |
| 41 | | Ruzica Piskac,
Viktor Kuncak:
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars.
CSL 2008: 124-138 |
| 40 | | Karen Zee,
Viktor Kuncak,
Martin C. Rinard:
Verifying linked data structure implementations.
IPDPS 2008: 1-5 |
| 39 | | Karen Zee,
Viktor Kuncak,
Martin C. Rinard:
Full functional verification of linked data structures.
PLDI 2008: 349-361 |
| 38 | | Huu Hai Nguyen,
Viktor Kuncak,
Wei-Ngan Chin:
Runtime Checking for Separation Logic.
VMCAI 2008: 203-217 |
| 37 | | Ruzica Piskac,
Viktor Kuncak:
Decision Procedures for Multisets with Cardinality Constraints.
VMCAI 2008: 218-232 |
| 2007 |
|---|
| 36 | | Viktor Kuncak,
Martin C. Rinard:
Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic.
CADE 2007: 215-230 |
| 35 | | Bruno Marnette,
Viktor Kuncak,
Martin C. Rinard:
Polynomial Constraints for Sets with Cardinality Bounds.
FoSSaCS 2007: 258-273 |
| 34 | | Karen Zee,
Viktor Kuncak,
Michael Taylor,
Martin C. Rinard:
Runtime Checking for Program Verification.
RV 2007: 202-213 |
| 33 | | Charles Bouillaguet,
Viktor Kuncak,
Thomas Wies,
Karen Zee,
Martin C. Rinard:
Using First-Order Theorem Provers in the Jahob Data Structure Verification System.
VMCAI 2007: 74-88 |
| 2006 |
|---|
| 32 | | Viktor Kuncak,
Martin C. Rinard:
An overview of the Jahob analysis system: project goals and current status.
IPDPS 2006 |
| 31 | | Thomas Wies,
Viktor Kuncak,
Patrick Lam,
Andreas Podelski,
Martin C. Rinard:
Field Constraint Analysis.
VMCAI 2006: 157-173 |
| 30 | | Thomas Wies,
Viktor Kuncak,
Karen Zee,
Andreas Podelski,
Martin C. Rinard:
On Verifying Complex Properties using Symbolic Shape Analysis
CoRR abs/cs/0609104: (2006) |
| 29 | | Viktor Kuncak,
Patrick Lam,
Karen Zee,
Martin C. Rinard:
Modular Pluggable Analyses for Data Structure Consistency.
IEEE Trans. Software Eng. 32(12): 988-1005 (2006) |
| 28 | | Viktor Kuncak,
Huu Hai Nguyen,
Martin C. Rinard:
Deciding Boolean Algebra with Presburger Arithmetic.
J. Autom. Reasoning 36(3): 213-239 (2006) |
| 2005 |
|---|
| 27 | | Patrick Lam,
Viktor Kuncak,
Martin C. Rinard:
Crosscutting techniques in program specification and analysis.
AOSD 2005: 169-180 |
| 26 | | Viktor Kuncak,
Huu Hai Nguyen,
Martin C. Rinard:
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic.
CADE 2005: 260-277 |
| 25 | | Patrick Lam,
Viktor Kuncak,
Martin C. Rinard:
Hob: A Tool for Verifying Data Structure Consistency.
CC 2005: 237-241 |
| 24 | | Viktor Kuncak,
Martin C. Rinard,
Bruno Marnette:
On Algorithms and Complexity for Sets with Cardinality Constraints.
Deduction and Applications 2005 |
| 23 | | Viktor Kuncak,
Daniel Jackson:
Relational analysis of algebraic datatypes.
ESEC/SIGSOFT FSE 2005: 207-216 |
| 22 | | Patrick Lam,
Viktor Kuncak,
Martin C. Rinard:
Generalized Typestate Checking for Data Structure Consistency.
VMCAI 2005: 430-447 |
| 21 | | Viktor Kuncak,
Patrick Lam,
Karen Zee,
Martin C. Rinard:
Implications of a Data Structure Consistency Checking System.
VSTTE 2005: 214-226 |
| 20 | | Bruno Marnette,
Viktor Kuncak,
Martin C. Rinard:
On Algorithms and Complexity for Sets with Cardinality Constraints
CoRR abs/cs/0508123: (2005) |
| 19 | | Viktor Kuncak,
Martin C. Rinard:
Decision Procedures for Set-Valued Fields.
Electr. Notes Theor. Comput. Sci. 131: 51-62 (2005) |
| 2004 |
|---|
| 18 | | Konstantine Arkoudas,
Karen Zee,
Viktor Kuncak,
Martin C. Rinard:
Verifying a File System Implementation.
ICFEM 2004: 373-390 |
| 17 | | Viktor Kuncak,
Martin C. Rinard:
Generalized Records and Spatial Conjunction in Role Logic.
SAS 2004: 361-376 |
| 16 | | Viktor Kuncak,
Martin C. Rinard:
Boolean Algebra of Shape Analysis Constraints.
VMCAI 2004: 59-72 |
| 15 | | Viktor Kuncak,
Martin C. Rinard:
The First-Order Theory of Sets with Cardinality Constraints is Decidable
CoRR cs.LO/0407045: (2004) |
| 14 | | Viktor Kuncak,
Martin C. Rinard:
On the Theory of Structural Subtyping
CoRR cs.LO/0408015: (2004) |
| 13 | | Viktor Kuncak,
Martin C. Rinard:
On Spatial Conjunction as Second-Order Logic
CoRR cs.LO/0410073: (2004) |
| 12 | | Viktor Kuncak,
Patrick Lam,
Martin C. Rinard:
Roles Are Really Great!
CoRR cs.PL/0408013: (2004) |
| 11 | | Viktor Kuncak,
Martin C. Rinard:
Typestate Checking and Regular Graph Constraints
CoRR cs.PL/0408014: (2004) |
| 10 | | Viktor Kuncak,
Martin C. Rinard:
On Role Logic
CoRR cs.PL/0408018: (2004) |
| 9 | | Viktor Kuncak,
Martin C. Rinard:
On Generalized Records and Spatial Conjunction in Role Logic
CoRR cs.PL/0408019: (2004) |
| 8 | | Viktor Kuncak,
K. Rustan M. Leino:
On computing the fixpoint of a set of boolean equations
CoRR cs.PL/0408045: (2004) |
| 7 | | Patrick Lam,
Viktor Kuncak,
Martin C. Rinard:
Generalized typestate checking using set interfaces and pluggable analyses.
SIGPLAN Notices 39(3): 46-55 (2004) |
| 2003 |
|---|
| 6 | | Viktor Kuncak,
Martin C. Rinard:
Structural Subtyping of Non-Recursive Types is Decidable.
LICS 2003: 96-107 |
| 5 | | Viktor Kuncak,
Martin C. Rinard:
Existential Heap Abstraction Entailment Is Undecidable.
SAS 2003: 418-438 |
| 2002 |
|---|
| 4 | | Viktor Kuncak,
Patrick Lam,
Martin C. Rinard:
Role analysis.
POPL 2002: 17-32 |
| 3 | | Mirjana Ivanovic,
Viktor Kuncak:
Numerical Representations as Purely Functional Data Structures: a New Approach.
Informatica, Lith. Acad. Sci. 13(2): 163-176 (2002) |
| 2001 |
|---|
| 2 | | Silvia Ghilezan,
Viktor Kuncak:
Confluence of Untyped Lambda Calculus via Simple Types.
ICTCS 2001: 38-49 |
| 1 | | Viktor Kuncak,
Patrick Lam,
Martin C. Rinard:
A Language for Role Specifications.
LCPC 2001: 366-382 |
