Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Viktor Kuncak

Viktor Kunčak

> Home > Persons

Person information

affiliation: EPFL, Switzerland
unicode name: Viktor Kunčak

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2007
[b1]
- view
  - electronic edition via handle.net
  - no references & citations available
- export record
  dblp key:
  - phd/ndltd/Kuncak07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ndltd/Kuncak07
Viktor Kuncak:
Modular data structure verification. Massachusetts Institute of Technology, Cambridge, MA, USA, 2007

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/RayaK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/RayaK24
Rodrigo Raya, Viktor Kuncak:
On algebraic array theories. J. Log. Algebraic Methods Program. 136: 100906 (2024)
[j20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/GuilloudK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/GuilloudK24
Simon Guilloud, Viktor Kuncak:
Orthologic with Axioms. Proc. ACM Program. Lang. 8(POPL): 1150-1178 (2024)
2023
[j19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/MilovancevicK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/MilovancevicK23
Dragana Milovancevic, Viktor Kuncak:
Proving and Disproving Equivalence of Functional Programming Assignments. Proc. ACM Program. Lang. 7(PLDI): 928-951 (2023)
2019
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ReynoldsKTBD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ReynoldsKTBD19
Andrew Reynolds, Viktor Kuncak, Cesare Tinelli, Clark W. Barrett, Morgan Deters:
Refutation-based synthesis in SMT. Formal Methods Syst. Des. 55(2): 73-102 (2019)
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/HamzaVK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/HamzaVK19
Jad Hamza, Nicolas Voirol, Viktor Kuncak:
System FR: formalized foundations for the stainless verifier. Proc. ACM Program. Lang. 3(OOPSLA): 166:1-166:30 (2019)
2018
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/MayerKC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/MayerKC18
Mikaël Mayer, Viktor Kuncak, Ravi Chugh:
Bidirectional evaluation with direct manipulation. Proc. ACM Program. Lang. 2(OOPSLA): 127:1-127:28 (2018)
2017
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/darts/MayerHK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/MayerHK17
Mikaël Mayer, Jad Hamza, Viktor Kuncak:
Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact). Dagstuhl Artifacts Ser. 3(2): 16:1-16:2 (2017)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ReynoldsKK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ReynoldsKK17
Andrew Reynolds, Tim King, Viktor Kuncak:
Solving quantified linear arithmetic by counterexample-guided instantiation. Formal Methods Syst. Des. 51(3): 500-532 (2017)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/DarulovaK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/DarulovaK17
Eva Darulova, Viktor Kuncak:
Towards a Compiler for Reals. ACM Trans. Program. Lang. Syst. 39(2): 8:1-8:28 (2017)
2015
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/RummerHK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/RummerHK15
Philipp Rümmer, Hossein Hojjat, Viktor Kuncak:
On recursion-free Horn clauses and Craig interpolation. Formal Methods Syst. Des. 47(1): 1-25 (2015)
2013
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/Vujosevic-JanicicNTK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/Vujosevic-JanicicNTK13
Milena Vujosevic-Janicic, Mladen Nikolic, Dusan Tosic, Viktor Kuncak:
Software verification and graph similarity for automated evaluation of students' assignments. Inf. Softw. Technol. 55(6): 1004-1016 (2013)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/KuncakMPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/KuncakMPS13
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter:
Functional synthesis for linear arithmetic and sets. Int. J. Softw. Tools Technol. Transf. 15(5-6): 455-474 (2013)
2012
[j9]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/GuerraouiKL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/GuerraouiKL12
Rachid Guerraoui, Viktor Kuncak, Giuliano Losa:
Abortable Linearizable Modules. Arch. Formal Proofs 2012 (2012)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/KuncakMPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/KuncakMPS12
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter:
Software synthesis procedures. Commun. ACM 55(2): 103-111 (2012)
2010
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tocs/YabandehKKK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocs/YabandehKKK10
Maysam Yabandeh, Nikola Knezevic, Dejan Kostic, Viktor Kuncak:
Predicting and preventing inconsistencies in deployed distributed systems. ACM Trans. Comput. Syst. 28(1): 2:1-2:49 (2010)
2006
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KuncakNR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KuncakNR06
Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard:
Deciding Boolean Algebra with Presburger Arithmetic. J. Autom. Reason. 36(3): 213-239 (2006)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/KuncakLZR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/KuncakLZR06
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)
2004
[j4]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/Kuncak04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/Kuncak04
Viktor Kuncak:
Binary Search Trees. Arch. Formal Proofs 2004 (2004)
[j3]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/ZeeK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/ZeeK04
Karen Zee, Viktor Kuncak:
File Refinement. Arch. Formal Proofs 2004 (2004)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/LamKR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/LamKR04
Patrick Lam, Viktor Kuncak, Martin C. Rinard:
Generalized typestate checking using set interfaces and pluggable analyses. ACM SIGPLAN Notices 39(3): 46-55 (2004)
2002
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/informaticaLT/IvanovicK02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/informaticaLT/IvanovicK02
Mirjana Ivanovic, Viktor Kuncak:
Numerical Representations as Purely Functional Data Structures: a New Approach. Informatica 13(2): 163-176 (2002)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/GuilloudGK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/GuilloudGK24
Simon Guilloud, Sankalp Gambhir, Viktor Kuncak:
Interpolation and Quantifiers in Ortholattices. VMCAI (1) 2024: 235-257
2023
[c102]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GuilloudBMK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GuilloudBMK23
Simon Guilloud, Mario Bucev, Dragana Milovancevic, Viktor Kuncak:
Formula Normalizations in Verification. CAV (3) 2023: 398-422
[c101]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/itp/GuilloudGK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/GuilloudGK23
Simon Guilloud, Sankalp Gambhir, Viktor Kuncak:
LISA - A Modern Proof System. ITP 2023: 17:1-17:19
[c100]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/RayaHK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/RayaHK23
Rodrigo Raya, Jad Hamza, Viktor Kuncak:
On the Complexity of Convex and Reverse Convex Prequadratic Constraints. LPAR 2023: 350-368
2022
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/BucevK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/BucevK22
Mario Bucev, Viktor Kuncak:
Formally Verified Quite OK Image Format. FMCAD 2022: 343-348
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/HamzaFKNS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/HamzaFKNS22
Jad Hamza, Simon Felix, Viktor Kuncak, Ivo Nussbaumer, Filip Schramka:
From Verified Scala to STIX File System Embedded Code Using Stainless. NFM 2022: 393-410
[c97]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/GuilloudK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/GuilloudK22
Simon Guilloud, Viktor Kuncak:
Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time. TACAS (2) 2022: 196-214
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/RayaK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/RayaK22
Rodrigo Raya, Viktor Kuncak:
NP Satisfiability for Arrays as Powers. VMCAI 2022: 301-318
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/SchmidK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/SchmidK22
Georg Stefan Schmid, Viktor Kuncak:
Generalized Arrays for Stainless Frames. VMCAI 2022: 332-354
2021
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/KuncakH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/KuncakH21
Viktor Kuncak, Jad Hamza:
Stainless Verification System Tutorial. FMCAD 2021: 2-7
2020
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/EdelmannHK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/EdelmannHK20
Romain Edelmann, Jad Hamza, Viktor Kuncak:
Zippy LL(1) parsing with derivatives. PLDI 2020: 1036-1051
2019
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/HamzaK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/HamzaK19
Jad Hamza, Viktor Kuncak:
Minimal Synthesis of String to String Functions from Examples. VMCAI 2019: 48-69
2017
[c91]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/MayerHK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/MayerHK17
Mikaël Mayer, Jad Hamza, Viktor Kuncak:
Proactive Synthesis of Recursive Tree-to-String Functions from Examples. ECOOP 2017: 19:1-19:30
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/MadhavanKK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/MadhavanKK17
Ravichandhran Madhavan, Sumith Kulal, Viktor Kuncak:
Contract-based resource verification for higher-order functions with memoization. POPL 2017: 330-343
2016
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HupelK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HupelK16
Lars Hupel, Viktor Kuncak:
Translating Scala Programs to Isabelle/HOL - System Description. IJCAR 2016: 568-577
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/scala/SchmidK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scala/SchmidK16
Georg Stefan Schmid, Viktor Kuncak:
SMT-based checking of predicate-qualified types for Scala. SCALA@SPLASH 2016: 31-40
[c87]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KoukoutosKK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KoukoutosKK16
Manos Koukoutos, Etienne Kneuss, Viktor Kuncak:
An Update on Deductive Synthesis and Repair in the Leon Tool. SYNT@CAV 2016: 100-111
2015
[c86]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ReynoldsDKTB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ReynoldsDKTB15
Andrew Reynolds, Morgan Deters, Viktor Kuncak, Cesare Tinelli, Clark W. Barrett:
Counterexample-Guided Quantifier Instantiation for Synthesis in SMT. CAV (2) 2015: 198-216
[c85]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KneussKK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KneussKK15
Etienne Kneuss, Manos Koukoutos, Viktor Kuncak:
Deductive Program Repair. CAV (2) 2015: 217-233
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GveroK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GveroK15
Tihomir Gvero, Viktor Kuncak:
Interactive Synthesis Using Free-Form Queries. ICSE (2) 2015: 689-692
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/Kuncak15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/Kuncak15
Viktor Kuncak:
Developing Verified Software Using Leon. NFM 2015: 12-15
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/KurajKJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/KurajKJ15
Ivan Kuraj, Viktor Kuncak, Daniel Jackson:
Programming with enumerable sets of structures. OOPSLA 2015: 37-56
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/MadhavanMGK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/MadhavanMGK15
Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, Viktor Kuncak:
Automating grammar comparison. OOPSLA 2015: 183-200
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/GveroK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/GveroK15
Tihomir Gvero, Viktor Kuncak:
Synthesizing Java expressions from free-form queries. OOPSLA 2015: 416-432
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/VoirolKK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/VoirolKK15
Nicolas Voirol, Etienne Kneuss, Viktor Kuncak:
Counter-example complete verification for higher-order functions. Scala@PLDI 2015: 18-29
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BlancK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BlancK15
Régis Blanc, Viktor Kuncak:
Sound reasoning about integral data types with a reusable SMT solver interface. Scala@PLDI 2015: 35-40
[c77]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/GveroKKP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/GveroKKP15
Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac:
InSynth: A System for Code Completion using Types and Weights. Software Engineering & Management 2015: 39-40
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/ReynoldsK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/ReynoldsK15
Andrew Reynolds, Viktor Kuncak:
Induction for SMT Solvers. VMCAI 2015: 80-98
2014
[c75]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/MadhavanK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/MadhavanK14
Ravichandhran Madhavan, Viktor Kuncak:
Symbolic Resource Bound Inference for Functional Programs. CAV 2014: 762-778
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/KurajK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/KurajK14
Ivan Kuraj, Viktor Kuncak:
SciFe: Scala framework for efficient enumeration of data structures with invariants. SCALA@ECOOP 2014: 45-49
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/Kuncak14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Kuncak14
Viktor Kuncak:
Verifying and Synthesizing Software with Recursive Functions - (Invited Contribution). ICALP (1) 2014: 11-25
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/DarulovaK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/DarulovaK14
Eva Darulova, Viktor Kuncak:
Sound compilation of reals. POPL 2014: 235-248
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/KoukoutosK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/KoukoutosK14
Emmanouil Koukoutos, Viktor Kuncak:
Checking Data Structure Properties Orders of Magnitude Faster. RV 2014: 263-268
2013
[c70]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/RummerHK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/RummerHK13
Philipp Rümmer, Hossein Hojjat, Viktor Kuncak:
Disjunctive Interpolants for Horn-Clause Verification. CAV 2013: 347-363
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/BlancKKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/BlancKKS13
Régis Blanc, Viktor Kuncak, Etienne Kneuss, Philippe Suter:
An overview of the Leon verification system: verification by translation to recursive functions. SCALA@ECOOP 2013: 1:1-1:10
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/DarulovaKMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/DarulovaKMS13
Eva Darulova, Viktor Kuncak, Rupak Majumdar, Indranil Saha:
Synthesis of fixed-point programs. EMSOFT 2013: 22:1-22:10
[c67]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/KuncakB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/KuncakB13
Viktor Kuncak, Régis Blanc:
Interpolation for synthesis on unbounded domains. FMCAD 2013: 93-96
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/MayerK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/MayerK13
Mikaël Mayer, Viktor Kuncak:
Game programming by demonstration. Onward! 2013: 75-90
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/KneussKKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/KneussKKS13
Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter:
Synthesis modulo recursive functions. OOPSLA 2013: 407-426
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/GveroKKP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/GveroKKP13
Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac:
Complete completion using types and weights. PLDI 2013: 27-38
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/KuncakKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/KuncakKS13
Viktor Kuncak, Etienne Kneuss, Philippe Suter:
Executing Specifications Using Synthesis and Constraint Solving. RV 2013: 1-20
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmod/KlonatosNSKK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmod/KlonatosNSKK13
Yannis Klonatos, Andres Nötzli, Andrej Spielmann, Christoph Koch, Viktor Kuncak:
Automatic synthesis of out-of-core algorithms. SIGMOD Conference 2013: 133-144
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/JacobsKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/JacobsKS13
Swen Jacobs, Viktor Kuncak, Philippe Suter:
Reductions for Synthesis Procedures. VMCAI 2013: 88-107
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/RummerHK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/RummerHK13
Philipp Rümmer, Hossein Hojjat, Viktor Kuncak:
Classifying and Solving Horn Clauses for Verification. VSTTE 2013: 1-21
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/KneussKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/KneussKS13
Etienne Kneuss, Viktor Kuncak, Philippe Suter:
Effect Analysis for Programs with Callbacks. VSTTE 2013: 48-67
2012
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/HojjatIKKR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/HojjatIKKR12
Hossein Hojjat, Radu Iosif, Filip Konecný, Viktor Kuncak, Philipp Rümmer:
Accelerating Interpolants. ATVA 2012: 187-202
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/SpielmannK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/SpielmannK12
Andrej Spielmann, Viktor Kuncak:
Synthesis for Unbounded Bit-Vector Arithmetic. IJCAR 2012: 499-513
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/HojjatKGIKR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/HojjatKGIKR12
Hossein Hojjat, Filip Konecný, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rümmer:
A Verification Toolkit for Numerical Transition Systems - Tool Paper. FM 2012: 247-251
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/GuerraouiKL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/GuerraouiKL12
Rachid Guerraoui, Viktor Kuncak, Giuliano Losa:
Speculative linearizability. PLDI 2012: 55-66
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/KoksalKS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/KoksalKS12
Ali Sinan Köksal, Viktor Kuncak, Philippe Suter:
Constraints as control. POPL 2012: 151-164
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/DarulovaK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/DarulovaK12
Eva Darulova, Viktor Kuncak:
Certifying Solutions for Numerical Constraints. RV 2012: 277-291
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/WiesMK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/WiesMK12
Thomas Wies, Marco Muñiz, Viktor Kuncak:
Deciding Functional Lists with Sublist Sets. VSTTE 2012: 66-81
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/Vujosevic-JanicicK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/Vujosevic-JanicicK12
Milena Vujosevic-Janicic, Viktor Kuncak:
Development and Evaluation of LAV: An SMT-Based Error Finding Platform - System Description. VSTTE 2012: 98-113
2011
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/KoksalKS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/KoksalKS11
Ali Sinan Köksal, Viktor Kuncak, Philippe Suter:
Scala to the Power of Z3: Integrating SMT and Programming. CADE 2011: 400-406
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/WiesMK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/WiesMK11
Thomas Wies, Marco Muñiz, Viktor Kuncak:
An Efficient Decision Procedure for Imperative Tree Data Structures. CADE 2011: 476-491
[c48]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GveroKP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GveroKP11
Tihomir Gvero, Viktor Kuncak, Ruzica Piskac:
Interactive Synthesis of Code Snippets. CAV 2011: 418-423
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/DarulovaK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/DarulovaK11
Eva Darulova, Viktor Kuncak:
Trustworthy numerical computation in Scala. OOPSLA 2011: 325-344
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/SuterKK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/SuterKK11
Philippe Suter, Ali Sinan Köksal, Viktor Kuncak:
Satisfiability Modulo Recursive Programs. SAS 2011: 298-315
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/JacobsK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/JacobsK11
Swen Jacobs, Viktor Kuncak:
Towards Complete Reasoning about Axiomatic Specifications. VMCAI 2011: 278-293
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/SuterSK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/SuterSK11
Philippe Suter, Robin Steiger, Viktor Kuncak:
Sets with Cardinality Constraints in Satisfiability Modulo Theories. VMCAI 2011: 403-418
2010
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/PiskacK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/PiskacK10
Ruzica Piskac, Viktor Kuncak:
MUNCH - Automated Reasoner for Sets and Multisets. IJCAR 2010: 149-155
[c42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KuncakMPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KuncakMPS10
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter:
Comfusy: A Tool for Complete Functional Synthesis. CAV 2010: 430-433
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/KuncakPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/KuncakPS10
Viktor Kuncak, Ruzica Piskac, Philippe Suter:
Ordered Sets in the Calculus of Data Structures. CSL 2010: 34-48
[c40]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/HamzaJK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/HamzaJK10
Jad Hamza, Barbara Jobstmann, Viktor Kuncak:
Synthesis for regular specifications over unbounded domains. FMCAD 2010: 101-109
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GligoricGJKKM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GligoricGJKKM10
Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov:
Test generation through programming in UDITA. ICSE (1) 2010: 225-234
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/KuncakMPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/KuncakMPS10
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter:
Complete functional synthesis. PLDI 2010: 316-329
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/SuterDK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/SuterDK10
Philippe Suter, Mirco Dotta, Viktor Kuncak:
Decision procedures for algebraic data types with abstractions. POPL 2010: 199-210
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/KneussSK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/KneussSK10
Etienne Kneuss, Philippe Suter, Viktor Kuncak:
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. RV 2010: 300-314
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/KneussSK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/KneussSK10
Etienne Kneuss, Philippe Suter, Viktor Kuncak:
Phantm: PHP analyzer for type mismatch. SIGSOFT FSE 2010: 373-374
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/KuncakPSW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/KuncakPSW10
Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies:
Building a Calculus of Data Structures. VMCAI 2010: 26-44
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/YessenovPK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/YessenovPK10
Kuat Yessenov, Ruzica Piskac, Viktor Kuncak:
Collections, Cardinalities, and Relations. VMCAI 2010: 380-395
2009
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/WiesPK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/WiesPK09
Thomas Wies, Ruzica Piskac, Viktor Kuncak:
Combining Theories with Shared Set Operations. FroCoS 2009: 366-382
[c31]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/hotos/YabandehVKK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotos/YabandehVKK09
Maysam Yabandeh, Nedeljko Vasic, Dejan Kostic, Viktor Kuncak:
Simplifying Distributed System Development. HotOS 2009
[c30]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nsdi/YabandehKKK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsdi/YabandehKKK09
Maysam Yabandeh, Nikola Knezevic, Dejan Kostic, Viktor Kuncak:
CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems. NSDI 2009: 229-244
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ZeeKR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ZeeKR09
Karen Zee, Viktor Kuncak, Martin C. Rinard:
An integrated proof language for imperative programs. PLDI 2009: 338-351
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/tldi/DagandKK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/DagandKK09
Pierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak:
Opis: reliable distributed systems in OCaml. TLDI 2009: 65-78
2008
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/PiskacK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/PiskacK08
Ruzica Piskac, Viktor Kuncak:
Linear Arithmetic with Stars. CAV 2008: 268-280
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/PiskacK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/PiskacK08
Ruzica Piskac, Viktor Kuncak:
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars. CSL 2008: 124-138
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/ZeeKR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/ZeeKR08
Karen Zee, Viktor Kuncak, Martin C. Rinard:
Verifying linked data structure implementations. IPDPS 2008: 1-5
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ZeeKR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ZeeKR08
Karen Zee, Viktor Kuncak, Martin C. Rinard:
Full functional verification of linked data structures. PLDI 2008: 349-361
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/NguyenKC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/NguyenKC08
Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin:
Runtime Checking for Separation Logic. VMCAI 2008: 203-217
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/PiskacK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/PiskacK08
Ruzica Piskac, Viktor Kuncak:
Decision Procedures for Multisets with Cardinality Constraints. VMCAI 2008: 218-232
2007
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/KuncakR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/KuncakR07
Viktor Kuncak, Martin C. Rinard:
Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic. CADE 2007: 215-230
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/MarnetteKR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/MarnetteKR07
Bruno Marnette, Viktor Kuncak, Martin C. Rinard:
Polynomial Constraints for Sets with Cardinality Bounds. FoSSaCS 2007: 258-273
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ZeeKTR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ZeeKTR07
Karen Zee, Viktor Kuncak, Michael B. Taylor, Martin C. Rinard:
Runtime Checking for Program Verification. RV 2007: 202-213
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/BouillaguetKWZR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/BouillaguetKWZR07
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
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/KuncakR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/KuncakR06
Viktor Kuncak, Martin C. Rinard:
An overview of the Jahob analysis system: project goals and current status. IPDPS 2006
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/WiesKLPR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/WiesKLPR06
Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard:
Field Constraint Analysis. VMCAI 2006: 157-173
2005
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/aosd/LamKR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aosd/LamKR05
Patrick Lam, Viktor Kuncak, Martin C. Rinard:
Crosscutting techniques in program specification and analysis. AOSD 2005: 169-180
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/KuncakNR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/KuncakNR05
Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard:
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic. CADE 2005: 260-277
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cc/LamKR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cc/LamKR05
Patrick Lam, Viktor Kuncak, Martin C. Rinard:
Hob: A Tool for Verifying Data Structure Consistency. CC 2005: 237-241
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/KuncakJ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/KuncakJ05
Viktor Kuncak, Daniel Jackson:
Relational analysis of algebraic datatypes. ESEC/SIGSOFT FSE 2005: 207-216
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/LamKR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/LamKR05
Patrick Lam, Viktor Kuncak, Martin C. Rinard:
Generalized Typestate Checking for Data Structure Consistency. VMCAI 2005: 430-447
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/vstte/KuncakLZR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/KuncakLZR05
Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard:
Implications of a Data Structure Consistency Checking System. VSTTE 2005: 214-226
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KuncakR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KuncakR05
Viktor Kuncak, Martin C. Rinard:
Decision Procedures for Set-Valued Fields. AIOOL@VMCAI 2005: 51-62
2004
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ArkoudasZKR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ArkoudasZKR04
Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard:
Verifying a File System Implementation. ICFEM 2004: 373-390
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/KuncakR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/KuncakR04
Viktor Kuncak, Martin C. Rinard:
Generalized Records and Spatial Conjunction in Role Logic. SAS 2004: 361-376
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/KuncakR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/KuncakR04
Viktor Kuncak, Martin C. Rinard:
Boolean Algebra of Shape Analysis Constraints. VMCAI 2004: 59-72
2003
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/KuncakR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/KuncakR03
Viktor Kuncak, Martin C. Rinard:
Structural Subtyping of Non-Recursive Types is Decidable. LICS 2003: 96-107
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/KuncakR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/KuncakR03
Viktor Kuncak, Martin C. Rinard:
Existential Heap Abstraction Entailment Is Undecidable. SAS 2003: 418-438
2002
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/KuncakLR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/KuncakLR02
Viktor Kuncak, Patrick Lam, Martin C. Rinard:
Role analysis. POPL 2002: 17-32
2001
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ictcs/GhilezanK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/GhilezanK01
Silvia Ghilezan, Viktor Kuncak:
Confluence of Untyped Lambda Calculus via Simple Types. ICTCS 2001: 38-49
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lcpc/KuncakLR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lcpc/KuncakLR01
Viktor Kuncak, Patrick Lam, Martin C. Rinard:
A Language for Role Specifications. LCPC 2001: 366-382

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2017
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/2017-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2017-1
Rupak Majumdar, Viktor Kuncak:
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I. Lecture Notes in Computer Science 10426, Springer 2017, ISBN 978-3-319-63386-2 [contents]
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/2017-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2017-2
Rupak Majumdar, Viktor Kuncak:
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II. Lecture Notes in Computer Science 10427, Springer 2017, ISBN 978-3-319-63389-3 [contents]
2016
[e2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CernyKM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CernyKM16
Pavol Cerný, Viktor Kuncak, Parthasarathy Madhusudan:
Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015. EPTCS 202, 2016 [contents]
2012
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/2012
Viktor Kuncak, Andrey Rybalchenko:
Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings. Lecture Notes in Computer Science 7148, Springer 2012, ISBN 978-3-642-27939-3 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-13403
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-13403
Simon Guilloud, Sankalp Gambhir, Andrea Gilot, Viktor Kuncak:
Mechanized HOL Reasoning in Set Theory. CoRR abs/2403.13403 (2024)
2023
[i35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-07569
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-07569
Simon Guilloud, Viktor Kuncak:
Orthologic with Axioms. CoRR abs/2307.07569 (2023)
2022
[i34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-02713
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-02713
Rodrigo Raya, Jad Hamza, Viktor Kuncak:
NP Decision Procedure for Monomial and Linear Integer Constraints. CoRR abs/2208.02713 (2022)
2021
[i33]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-07699
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-07699
Georg Stefan Schmid, Viktor Kuncak:
Proving and Disproving Programs with Shared Mutable Data. CoRR abs/2103.07699 (2021)
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-08824
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-08824
Samuel Chassot, Viktor Kuncak:
Verified Mutable Data Structures. CoRR abs/2107.08824 (2021)
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-05363
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-05363
Rodrigo Raya, Viktor Kuncak:
NP Satisfiability for Arrays as Powers. CoRR abs/2109.05363 (2021)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-03315
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-03315
Simon Guilloud, Viktor Kuncak:
On Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time. CoRR abs/2110.03315 (2021)
2020
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-07653
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-07653
Georg Stefan Schmid, Olivier Blanvillain, Jad Hamza, Viktor Kuncak:
Coming to Terms with Your Choices: An Existential Take on Dependent Types. CoRR abs/2011.07653 (2020)
2019
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1902-02194
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-02194
Romain Edelmann, Viktor Kuncak:
Neural-Network Guided Expression Transformation. CoRR abs/1902.02194 (2019)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-08571
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-08571
Slobodan Mitrovic, Ruzica Piskac, Viktor Kuncak:
Identifying Maximal Non-Redundant Integer Cone Generators. CoRR abs/1903.08571 (2019)
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-03482
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-03482
Jad Hamza, Nicolas Voirol, Viktor Kuncak:
System FR as Foundations for Stainless. CoRR abs/1904.03482 (2019)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-12737
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-12737
Romain Edelmann, Jad Hamza, Viktor Kuncak:
LL(1) Parsing with Derivatives and Zippers. CoRR abs/1911.12737 (2019)
2018
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1809-04209
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-04209
Mikaël Mayer, Viktor Kuncak, Ravi Chugh:
Bidirectional Evaluation with Direct Manipulation. CoRR abs/1809.04209 (2018)
2017
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/MayerHK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MayerHK17
Mikaël Mayer, Jad Hamza, Viktor Kuncak:
Polynomial-Time Proactive Synthesis of Tree-to-String Functions from Examples. CoRR abs/1701.04288 (2017)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KoukoutosRKK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KoukoutosRKK17
Manos Koukoutos, Mukund Raghothaman, Etienne Kneuss, Viktor Kuncak:
On Repair with Probabilistic Attribute Grammars. CoRR abs/1707.04148 (2017)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-09208
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-09208
Jad Hamza, Viktor Kuncak:
Minimal Synthesis of String To String Functions From Examples. CoRR abs/1710.09208 (2017)
2016
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HupelK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HupelK16
Lars Hupel, Viktor Kuncak:
Translating Scala Programs to Isabelle/HOL. CoRR abs/1607.01539 (2016)
2015
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ReynoldsDKBT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ReynoldsDKBT15
Andrew Reynolds, Morgan Deters, Viktor Kuncak, Clark W. Barrett, Cesare Tinelli:
On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4. CoRR abs/1502.04464 (2015)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Reynolds0K15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Reynolds0K15
Andrew Reynolds, Tim King, Viktor Kuncak:
An Instantiation-Based Approach for Solving Quantified Linear Arithmetic. CoRR abs/1510.02642 (2015)
2014
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DarulovaK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DarulovaK14
Eva Darulova, Viktor Kuncak:
On Numerical Error Propagation with Sensitivity. CoRR abs/1410.0198 (2014)
2013
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1301-4973
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1301-4973
Philipp Rümmer, Hossein Hojjat, Viktor Kuncak:
Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report). CoRR abs/1301.4973 (2013)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1302-4187
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-4187
Philipp Rümmer, Hossein Hojjat, Viktor Kuncak:
The Relationship between Craig Interpolation and Recursion-Free Horn Clauses. CoRR abs/1302.4187 (2013)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1304-5661
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-5661
Etienne Kneuss, Viktor Kuncak, Ivan Kuraj, Philippe Suter:
On Integrating Deductive Synthesis and Verification Systems. CoRR abs/1304.5661 (2013)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DarulovaK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DarulovaK13
Eva Darulova, Viktor Kuncak:
On Sound Compilation of Reals. CoRR abs/1309.2511 (2013)
2012
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Vujosevic-Janicic12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Vujosevic-Janicic12
Milena Vujosevic-Janicic, Mladen Nikolic, Dusan Tosic, Viktor Kuncak:
Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments. CoRR abs/1206.7064 (2012)
2006
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0609104
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0609104
Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C. Rinard:
On Verifying Complex Properties using Symbolic Shape Analysis. CoRR abs/cs/0609104 (2006)
2005
[i10]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/KuncakRM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/KuncakRM05
Viktor Kuncak, Martin C. Rinard, Bruno Marnette:
On Algorithms and Complexity for Sets with Cardinality Constraints. Deduction and Applications 2005
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0508123
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0508123
Bruno Marnette, Viktor Kuncak, Martin C. Rinard:
On Algorithms and Complexity for Sets with Cardinality Constraints. CoRR abs/cs/0508123 (2005)
2004
[i8]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/cs-LO-0407045
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-0407045
Viktor Kuncak, Martin C. Rinard:
The First-Order Theory of Sets with Cardinality Constraints is Decidable. CoRR cs.LO/0407045 (2004)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-LO-0408015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-0408015
Viktor Kuncak, Martin C. Rinard:
On the Theory of Structural Subtyping. CoRR cs.LO/0408015 (2004)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-LO-0410073
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-0410073
Viktor Kuncak, Martin C. Rinard:
On Spatial Conjunction as Second-Order Logic. CoRR cs.LO/0410073 (2004)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-PL-0408013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-PL-0408013
Viktor Kuncak, Patrick Lam, Martin C. Rinard:
Roles Are Really Great! CoRR cs.PL/0408013 (2004)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-PL-0408014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-PL-0408014
Viktor Kuncak, Martin C. Rinard:
Typestate Checking and Regular Graph Constraints. CoRR cs.PL/0408014 (2004)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-PL-0408018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-PL-0408018
Viktor Kuncak, Martin C. Rinard:
On Role Logic. CoRR cs.PL/0408018 (2004)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-PL-0408019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-PL-0408019
Viktor Kuncak, Martin C. Rinard:
On Generalized Records and Spatial Conjunction in Role Logic. CoRR cs.PL/0408019 (2004)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-PL-0408045
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-PL-0408045
Viktor Kuncak, K. Rustan M. Leino:
On computing the fixpoint of a set of boolean equations. CoRR cs.PL/0408045 (2004)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.