dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Viktor Kuncak Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Andrey Rybalchenko: Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings Springer 2012
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli Sinan Köksal, Viktor Kuncak, Philippe Suter: Constraints as control. POPL 2012: 151-164
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wies, Marco Muñiz, Viktor Kuncak: Deciding Functional Lists with Sublist Sets. VSTTE 2012: 66-81
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMilena Vujosevic-Janicic, Viktor Kuncak: Development and Evaluation of LAV: An SMT-Based Error Finding Platform - System Description. VSTTE 2012: 98-113
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRachid Guerraoui, Viktor Kuncak, Giuliano Losa: Abortable Linearizable Modules. Archive of Formal Proofs 2012: (2012)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter: Software synthesis procedures. Commun. ACM 55(2): 103-111 (2012)
2011
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli Sinan Köksal, Viktor Kuncak, Philippe Suter: Scala to the Power of Z3: Integrating SMT and Programming. CADE 2011: 400-406
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wies, Marco Muñiz, Viktor Kuncak: An Efficient Decision Procedure for Imperative Tree Data Structures. CADE 2011: 476-491
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTihomir Gvero, Viktor Kuncak, Ruzica Piskac: Interactive Synthesis of Code Snippets. CAV 2011: 418-423
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEva Darulova, Viktor Kuncak: Trustworthy numerical computation in Scala. OOPSLA 2011: 325-344
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Suter, Ali Sinan Köksal, Viktor Kuncak: Satisfiability Modulo Recursive Programs. SAS 2011: 298-315
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSwen Jacobs, Viktor Kuncak: Towards Complete Reasoning about Axiomatic Specifications. VMCAI 2011: 278-293
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Suter, Robin Steiger, Viktor Kuncak: Sets with Cardinality Constraints in Satisfiability Modulo Theories. VMCAI 2011: 403-418
2010
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter: Comfusy: A Tool for Complete Functional Synthesis. CAV 2010: 430-433
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Ruzica Piskac, Philippe Suter: Ordered Sets in the Calculus of Data Structures. CSL 2010: 34-48
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJad Hamza, Barbara Jobstmann, Viktor Kuncak: Synthesis for regular specifications over unbounded domains. FMCAD 2010: 101-109
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMilos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov: Test generation through programming in UDITA. ICSE (1) 2010: 225-234
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuzica Piskac, Viktor Kuncak: MUNCH - Automated Reasoner for Sets and Multisets. IJCAR 2010: 149-155
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter: Complete functional synthesis. PLDI 2010: 316-329
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Suter, Mirco Dotta, Viktor Kuncak: Decision procedures for algebraic data types with abstractions. POPL 2010: 199-210
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEtienne Kneuss, Philippe Suter, Viktor Kuncak: Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. RV 2010: 300-314
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEtienne Kneuss, Philippe Suter, Viktor Kuncak: Phantm: PHP analyzer for type mismatch. SIGSOFT FSE 2010: 373-374
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies: Building a Calculus of Data Structures. VMCAI 2010: 26-44
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKuat Yessenov, Ruzica Piskac, Viktor Kuncak: Collections, Cardinalities, and Relations. VMCAI 2010: 380-395
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaysam Yabandeh, Nikola Knezevic, Dejan Kostic, Viktor Kuncak: Predicting and preventing inconsistencies in deployed distributed systems. ACM Trans. Comput. Syst. 28(1): (2010)
2009
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wies, Ruzica Piskac, Viktor Kuncak: Combining Theories with Shared Set Operations. FroCos 2009: 366-382
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaysam Yabandeh, Nedeljko Vasic, Dejan Kostic, Viktor Kuncak: Simplifying Distributed System Development. HotOS 2009
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaysam Yabandeh, Nikola Knezevic, Dejan Kostic, Viktor Kuncak: CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems. NSDI 2009: 229-244
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaren Zee, Viktor Kuncak, Martin C. Rinard: An integrated proof language for imperative programs. PLDI 2009: 338-351
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak: Opis: reliable distributed systems in OCaml. TLDI 2009: 65-78
2008
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuzica Piskac, Viktor Kuncak: Linear Arithmetic with Stars. CAV 2008: 268-280
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuzica Piskac, Viktor Kuncak: Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars. CSL 2008: 124-138
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaren Zee, Viktor Kuncak, Martin C. Rinard: Verifying linked data structure implementations. IPDPS 2008: 1-5
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaren Zee, Viktor Kuncak, Martin C. Rinard: Full functional verification of linked data structures. PLDI 2008: 349-361
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin: Runtime Checking for Separation Logic. VMCAI 2008: 203-217
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuzica Piskac, Viktor Kuncak: Decision Procedures for Multisets with Cardinality Constraints. VMCAI 2008: 218-232
2007
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Martin C. Rinard: Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic. CADE 2007: 215-230
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Marnette, Viktor Kuncak, Martin C. Rinard: Polynomial Constraints for Sets with Cardinality Bounds. FoSSaCS 2007: 258-273
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaren Zee, Viktor Kuncak, Michael Taylor, Martin C. Rinard: Runtime Checking for Program Verification. RV 2007: 202-213
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Martin C. Rinard: An overview of the Jahob analysis system: project goals and current status. IPDPS 2006
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard: Field Constraint Analysis. VMCAI 2006: 157-173
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C. Rinard: On Verifying Complex Properties using Symbolic Shape Analysis CoRR abs/cs/0609104: (2006)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard: Modular Pluggable Analyses for Data Structure Consistency. IEEE Trans. Software Eng. 32(12): 988-1005 (2006)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Huu Hai Nguyen, Martin C. Rinard: Deciding Boolean Algebra with Presburger Arithmetic. J. Autom. Reasoning 36(3): 213-239 (2006)
2005
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Lam, Viktor Kuncak, Martin C. Rinard: Crosscutting techniques in program specification and analysis. AOSD 2005: 169-180
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Huu Hai Nguyen, Martin C. Rinard: An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic. CADE 2005: 260-277
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Lam, Viktor Kuncak, Martin C. Rinard: Hob: A Tool for Verifying Data Structure Consistency. CC 2005: 237-241
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Martin C. Rinard, Bruno Marnette: On Algorithms and Complexity for Sets with Cardinality Constraints. Deduction and Applications 2005
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Daniel Jackson: Relational analysis of algebraic datatypes. ESEC/SIGSOFT FSE 2005: 207-216
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Lam, Viktor Kuncak, Martin C. Rinard: Generalized Typestate Checking for Data Structure Consistency. VMCAI 2005: 430-447
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard: Implications of a Data Structure Consistency Checking System. VSTTE 2005: 214-226
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Marnette, Viktor Kuncak, Martin C. Rinard: On Algorithms and Complexity for Sets with Cardinality Constraints CoRR abs/cs/0508123: (2005)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Martin C. Rinard: Decision Procedures for Set-Valued Fields. Electr. Notes Theor. Comput. Sci. 131: 51-62 (2005)
2004
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard: Verifying a File System Implementation. ICFEM 2004: 373-390
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Martin C. Rinard: Generalized Records and Spatial Conjunction in Role Logic. SAS 2004: 361-376
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Martin C. Rinard: Boolean Algebra of Shape Analysis Constraints. VMCAI 2004: 59-72
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak: Binary Search Trees. Archive of Formal Proofs 2004: (2004)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaren Zee, Viktor Kuncak: File Refinement. Archive of Formal Proofs 2004: (2004)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Martin C. Rinard: The First-Order Theory of Sets with Cardinality Constraints is Decidable CoRR cs.LO/0407045: (2004)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Martin C. Rinard: On the Theory of Structural Subtyping CoRR cs.LO/0408015: (2004)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Martin C. Rinard: On Spatial Conjunction as Second-Order Logic CoRR cs.LO/0410073: (2004)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Patrick Lam, Martin C. Rinard: Roles Are Really Great! CoRR cs.PL/0408013: (2004)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Martin C. Rinard: Typestate Checking and Regular Graph Constraints CoRR cs.PL/0408014: (2004)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Martin C. Rinard: On Role Logic CoRR cs.PL/0408018: (2004)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Martin C. Rinard: On Generalized Records and Spatial Conjunction in Role Logic CoRR cs.PL/0408019: (2004)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, K. Rustan M. Leino: On computing the fixpoint of a set of boolean equations CoRR cs.PL/0408045: (2004)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Lam, Viktor Kuncak, Martin C. Rinard: Generalized typestate checking using set interfaces and pluggable analyses. SIGPLAN Notices 39(3): 46-55 (2004)
2003
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Martin C. Rinard: Structural Subtyping of Non-Recursive Types is Decidable. LICS 2003: 96-107
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Martin C. Rinard: Existential Heap Abstraction Entailment Is Undecidable. SAS 2003: 418-438
2002
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Patrick Lam, Martin C. Rinard: Role analysis. POPL 2002: 17-32
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMirjana Ivanovic, Viktor Kuncak: Numerical Representations as Purely Functional Data Structures: a New Approach. Informatica, Lith. Acad. Sci. 13(2): 163-176 (2002)
2001
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSilvia Ghilezan, Viktor Kuncak: Confluence of Untyped Lambda Calculus via Simple Types. ICTCS 2001: 38-49
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Patrick Lam, Martin C. Rinard: A Language for Role Specifications. LCPC 2001: 366-382

Coauthor Index

1Konstantine Arkoudas [20]
2Charles Bouillaguet [35]
3Wei-Ngan Chin [40]
4Pierre-Évariste Dagand [45]
5Eva Darulova [65]
6Mirco Dotta [55]
7Silvia Ghilezan [2]
8Milos Gligoric [58]
9Rachid Guerraoui [70]
10Tihomir Gvero [58] [66]
11Jad Hamza [59]
12Mirjana Ivanovic [3]
13Daniel Jackson [25]
14Swen Jacobs [63]
15Vilas Jagannath [58]
16Barbara Jobstmann [59]
17Sarfraz Khurshid [58]
18Etienne Kneuss [53] [54]
19Nikola Knezevic [47] [50]
20Ali Sinan Köksal [64] [68] [73]
21Dejan Kostic [45] [47] [48] [50]
22Patrick Lam [1] [4] [7] [12] [23] [24] [27] [29] [31] [33]
23K. Rustan M. Leino [8]
24Giuliano Losa [70]
25Darko Marinov [58]
26Bruno Marnette [22] [26] [37]
27Mikaël Mayer [56] [61] [69]
28Marco Muñiz [67] [72]
29Huu Hai Nguyen [28] [30] [40]
30Ruzica Piskac [39] [43] [44] [49] [51] [52] [56] [57] [60] [61] [66] [69]
31Andreas Podelski [32] [33]
32Martin C. Rinard [1] [4] [5] [6] [7] [9] [10] [11] [12] [13] [14] [15] [18] [19] [20] [21] [22] [23] [24] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [41] [42] [46]
33Andrey Rybalchenko [74]
34Robin Steiger [62]
35Philippe Suter [52] [53] [54] [55] [56] [60] [61] [62] [64] [68] [69] [73]
36Michael Taylor [36]
37Nedeljko Vasic [48]
38Milena Vujosevic-Janicic [71]
39Thomas Wies [32] [33] [35] [49] [52] [67] [72]
40Maysam Yabandeh [47] [48] [50]
41Kuat Yessenov [51]
42Karen Zee [16] [20] [23] [31] [32] [35] [36] [41] [42] [46]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page