Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Viktor Kuncak
@article{DBLP:journals/jlap/RayaK24,
author = {Rodrigo Raya and
Viktor Kuncak},
title = {On algebraic array theories},
journal = {J. Log. Algebraic Methods Program.},
volume = {136},
pages = {100906},
year = {2024},
url = {https://doi.org/10.1016/j.jlamp.2023.100906},
doi = {10.1016/J.JLAMP.2023.100906},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/RayaK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GuilloudK24,
author = {Simon Guilloud and
Viktor Kuncak},
title = {Orthologic with Axioms},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {1150--1178},
year = {2024},
url = {https://doi.org/10.1145/3632881},
doi = {10.1145/3632881},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GuilloudK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GuilloudGK24,
author = {Simon Guilloud and
Sankalp Gambhir and
Viktor Kuncak},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Interpolation and Quantifiers in Ortholattices},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {235--257},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_11},
doi = {10.1007/978-3-031-50524-9\_11},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/GuilloudGK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-13403,
author = {Simon Guilloud and
Sankalp Gambhir and
Andrea Gilot and
Viktor Kuncak},
title = {Mechanized {HOL} Reasoning in Set Theory},
journal = {CoRR},
volume = {abs/2403.13403},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.13403},
doi = {10.48550/ARXIV.2403.13403},
eprinttype = {arXiv},
eprint = {2403.13403},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-13403.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MilovancevicK23,
author = {Dragana Milovancevic and
Viktor Kuncak},
title = {Proving and Disproving Equivalence of Functional Programming Assignments},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {928--951},
year = {2023},
url = {https://doi.org/10.1145/3591258},
doi = {10.1145/3591258},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/MilovancevicK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GuilloudBMK23,
author = {Simon Guilloud and
Mario Bucev and
Dragana Milovancevic and
Viktor Kuncak},
editor = {Constantin Enea and
Akash Lal},
title = {Formula Normalizations in Verification},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13966},
pages = {398--422},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37709-9\_19},
doi = {10.1007/978-3-031-37709-9\_19},
timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},
biburl = {https://dblp.org/rec/conf/cav/GuilloudBMK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/GuilloudGK23,
author = {Simon Guilloud and
Sankalp Gambhir and
Viktor Kuncak},
editor = {Adam Naumowicz and
Ren{\'{e}} Thiemann},
title = {{LISA} - {A} Modern Proof System},
booktitle = {14th International Conference on Interactive Theorem Proving, {ITP}
2023, July 31 to August 4, 2023, Bia{\l}ystok, Poland},
series = {LIPIcs},
volume = {268},
pages = {17:1--17:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ITP.2023.17},
doi = {10.4230/LIPICS.ITP.2023.17},
timestamp = {Wed, 26 Jul 2023 16:07:09 +0200},
biburl = {https://dblp.org/rec/conf/itp/GuilloudGK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/RayaHK23,
author = {Rodrigo Raya and
Jad Hamza and
Viktor Kuncak},
editor = {Ruzica Piskac and
Andrei Voronkov},
title = {On the Complexity of Convex and Reverse Convex Prequadratic Constraints},
booktitle = {{LPAR} 2023: Proceedings of 24th International Conference on Logic
for Programming, Artificial Intelligence and Reasoning, Manizales,
Colombia, 4-9th June 2023},
series = {EPiC Series in Computing},
volume = {94},
pages = {350--368},
publisher = {EasyChair},
year = {2023},
url = {https://doi.org/10.29007/wdd7},
doi = {10.29007/WDD7},
timestamp = {Wed, 12 Jul 2023 16:50:32 +0200},
biburl = {https://dblp.org/rec/conf/lpar/RayaHK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-07569,
author = {Simon Guilloud and
Viktor Kuncak},
title = {Orthologic with Axioms},
journal = {CoRR},
volume = {abs/2307.07569},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.07569},
doi = {10.48550/ARXIV.2307.07569},
eprinttype = {arXiv},
eprint = {2307.07569},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-07569.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BucevK22,
author = {Mario Bucev and
Viktor Kuncak},
editor = {Alberto Griggio and
Neha Rungta},
title = {Formally Verified Quite {OK} Image Format},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {343--348},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_41},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_41},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BucevK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/HamzaFKNS22,
author = {Jad Hamza and
Simon Felix and
Viktor Kuncak and
Ivo Nussbaumer and
Filip Schramka},
editor = {Jyotirmoy V. Deshmukh and
Klaus Havelund and
Ivan Perez},
title = {From Verified Scala to {STIX} File System Embedded Code Using Stainless},
booktitle = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022,
Pasadena, CA, USA, May 24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13260},
pages = {393--410},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06773-0\_21},
doi = {10.1007/978-3-031-06773-0\_21},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/HamzaFKNS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GuilloudK22,
author = {Simon Guilloud and
Viktor Kuncak},
editor = {Dana Fisman and
Grigore Rosu},
title = {Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear
Time},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13244},
pages = {196--214},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99527-0\_11},
doi = {10.1007/978-3-030-99527-0\_11},
timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GuilloudK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/RayaK22,
author = {Rodrigo Raya and
Viktor Kuncak},
editor = {Bernd Finkbeiner and
Thomas Wies},
title = {{NP} Satisfiability for Arrays as Powers},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 23rd International
Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13182},
pages = {301--318},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-94583-1\_15},
doi = {10.1007/978-3-030-94583-1\_15},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/RayaK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SchmidK22,
author = {Georg Stefan Schmid and
Viktor Kuncak},
editor = {Bernd Finkbeiner and
Thomas Wies},
title = {Generalized Arrays for Stainless Frames},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 23rd International
Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13182},
pages = {332--354},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-94583-1\_17},
doi = {10.1007/978-3-030-94583-1\_17},
timestamp = {Wed, 19 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/SchmidK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-02713,
author = {Rodrigo Raya and
Jad Hamza and
Viktor Kuncak},
title = {{NP} Decision Procedure for Monomial and Linear Integer Constraints},
journal = {CoRR},
volume = {abs/2208.02713},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.02713},
doi = {10.48550/ARXIV.2208.02713},
eprinttype = {arXiv},
eprint = {2208.02713},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-02713.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KuncakH21,
author = {Viktor Kuncak and
Jad Hamza},
title = {Stainless Verification System Tutorial},
booktitle = {Formal Methods in Computer Aided Design, {FMCAD} 2021, New Haven,
CT, USA, October 19-22, 2021},
pages = {2--7},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4\_2},
doi = {10.34727/2021/ISBN.978-3-85448-046-4\_2},
timestamp = {Tue, 07 Dec 2021 17:02:16 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/KuncakH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-07699,
author = {Georg Stefan Schmid and
Viktor Kuncak},
title = {Proving and Disproving Programs with Shared Mutable Data},
journal = {CoRR},
volume = {abs/2103.07699},
year = {2021},
url = {https://arxiv.org/abs/2103.07699},
eprinttype = {arXiv},
eprint = {2103.07699},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-07699.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-08824,
author = {Samuel Chassot and
Viktor Kuncak},
title = {Verified Mutable Data Structures},
journal = {CoRR},
volume = {abs/2107.08824},
year = {2021},
url = {https://arxiv.org/abs/2107.08824},
eprinttype = {arXiv},
eprint = {2107.08824},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-08824.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-05363,
author = {Rodrigo Raya and
Viktor Kuncak},
title = {{NP} Satisfiability for Arrays as Powers},
journal = {CoRR},
volume = {abs/2109.05363},
year = {2021},
url = {https://arxiv.org/abs/2109.05363},
eprinttype = {arXiv},
eprint = {2109.05363},
timestamp = {Tue, 21 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-05363.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-03315,
author = {Simon Guilloud and
Viktor Kuncak},
title = {On Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear
Time},
journal = {CoRR},
volume = {abs/2110.03315},
year = {2021},
url = {https://arxiv.org/abs/2110.03315},
eprinttype = {arXiv},
eprint = {2110.03315},
timestamp = {Thu, 21 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-03315.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/EdelmannHK20,
author = {Romain Edelmann and
Jad Hamza and
Viktor Kuncak},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Zippy {LL(1)} parsing with derivatives},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {1036--1051},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385992},
doi = {10.1145/3385412.3385992},
timestamp = {Tue, 09 Jun 2020 13:45:15 +0200},
biburl = {https://dblp.org/rec/conf/pldi/EdelmannHK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-07653,
author = {Georg Stefan Schmid and
Olivier Blanvillain and
Jad Hamza and
Viktor Kuncak},
title = {Coming to Terms with Your Choices: An Existential Take on Dependent
Types},
journal = {CoRR},
volume = {abs/2011.07653},
year = {2020},
url = {https://arxiv.org/abs/2011.07653},
eprinttype = {arXiv},
eprint = {2011.07653},
timestamp = {Wed, 18 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-07653.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ReynoldsKTBD19,
author = {Andrew Reynolds and
Viktor Kuncak and
Cesare Tinelli and
Clark W. Barrett and
Morgan Deters},
title = {Refutation-based synthesis in {SMT}},
journal = {Formal Methods Syst. Des.},
volume = {55},
number = {2},
pages = {73--102},
year = {2019},
url = {https://doi.org/10.1007/s10703-017-0270-2},
doi = {10.1007/S10703-017-0270-2},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/ReynoldsKTBD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/HamzaVK19,
author = {Jad Hamza and
Nicolas Voirol and
Viktor Kuncak},
title = {System {FR:} formalized foundations for the stainless verifier},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {166:1--166:30},
year = {2019},
url = {https://doi.org/10.1145/3360592},
doi = {10.1145/3360592},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/HamzaVK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HamzaK19,
author = {Jad Hamza and
Viktor Kuncak},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Minimal Synthesis of String to String Functions from Examples},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {48--69},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_3},
doi = {10.1007/978-3-030-11245-5\_3},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/HamzaK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-02194,
author = {Romain Edelmann and
Viktor Kuncak},
title = {Neural-Network Guided Expression Transformation},
journal = {CoRR},
volume = {abs/1902.02194},
year = {2019},
url = {http://arxiv.org/abs/1902.02194},
eprinttype = {arXiv},
eprint = {1902.02194},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-02194.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-08571,
author = {Slobodan Mitrovic and
Ruzica Piskac and
Viktor Kuncak},
title = {Identifying Maximal Non-Redundant Integer Cone Generators},
journal = {CoRR},
volume = {abs/1903.08571},
year = {2019},
url = {http://arxiv.org/abs/1903.08571},
eprinttype = {arXiv},
eprint = {1903.08571},
timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-08571.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-03482,
author = {Jad Hamza and
Nicolas Voirol and
Viktor Kuncak},
title = {System {FR} as Foundations for Stainless},
journal = {CoRR},
volume = {abs/1904.03482},
year = {2019},
url = {http://arxiv.org/abs/1904.03482},
eprinttype = {arXiv},
eprint = {1904.03482},
timestamp = {Wed, 24 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-03482.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-12737,
author = {Romain Edelmann and
Jad Hamza and
Viktor Kuncak},
title = {{LL(1)} Parsing with Derivatives and Zippers},
journal = {CoRR},
volume = {abs/1911.12737},
year = {2019},
url = {http://arxiv.org/abs/1911.12737},
eprinttype = {arXiv},
eprint = {1911.12737},
timestamp = {Wed, 08 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-12737.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MayerKC18,
author = {Mika{\"{e}}l Mayer and
Viktor Kuncak and
Ravi Chugh},
title = {Bidirectional evaluation with direct manipulation},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {127:1--127:28},
year = {2018},
url = {https://doi.org/10.1145/3276497},
doi = {10.1145/3276497},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MayerKC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-04209,
author = {Mika{\"{e}}l Mayer and
Viktor Kuncak and
Ravi Chugh},
title = {Bidirectional Evaluation with Direct Manipulation},
journal = {CoRR},
volume = {abs/1809.04209},
year = {2018},
url = {http://arxiv.org/abs/1809.04209},
eprinttype = {arXiv},
eprint = {1809.04209},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-04209.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MayerHK17,
author = {Mika{\"{e}}l Mayer and
Jad Hamza and
Viktor Kuncak},
title = {Proactive Synthesis of Recursive Tree-to-String Functions from Examples
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {16:1--16:2},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.16},
doi = {10.4230/DARTS.3.2.16},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/MayerHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ReynoldsKK17,
author = {Andrew Reynolds and
Tim King and
Viktor Kuncak},
title = {Solving quantified linear arithmetic by counterexample-guided instantiation},
journal = {Formal Methods Syst. Des.},
volume = {51},
number = {3},
pages = {500--532},
year = {2017},
url = {https://doi.org/10.1007/s10703-017-0290-y},
doi = {10.1007/S10703-017-0290-Y},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/ReynoldsKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DarulovaK17,
author = {Eva Darulova and
Viktor Kuncak},
title = {Towards a Compiler for Reals},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {39},
number = {2},
pages = {8:1--8:28},
year = {2017},
url = {https://doi.org/10.1145/3014426},
doi = {10.1145/3014426},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/DarulovaK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MayerHK17,
author = {Mika{\"{e}}l Mayer and
Jad Hamza and
Viktor Kuncak},
editor = {Peter M{\"{u}}ller},
title = {Proactive Synthesis of Recursive Tree-to-String Functions from Examples},
booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
June 19-23, 2017, Barcelona, Spain},
series = {LIPIcs},
volume = {74},
pages = {19:1--19:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.19},
doi = {10.4230/LIPICS.ECOOP.2017.19},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/MayerHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MadhavanKK17,
author = {Ravichandhran Madhavan and
Sumith Kulal and
Viktor Kuncak},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Contract-based resource verification for higher-order functions with
memoization},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {330--343},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009874},
doi = {10.1145/3009837.3009874},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/MadhavanKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2017-1,
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10426},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63387-9},
doi = {10.1007/978-3-319-63387-9},
isbn = {978-3-319-63386-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2017-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2017-2,
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10427},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63390-9},
doi = {10.1007/978-3-319-63390-9},
isbn = {978-3-319-63389-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2017-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MayerHK17,
author = {Mika{\"{e}}l Mayer and
Jad Hamza and
Viktor Kuncak},
title = {Polynomial-Time Proactive Synthesis of Tree-to-String Functions from
Examples},
journal = {CoRR},
volume = {abs/1701.04288},
year = {2017},
url = {http://arxiv.org/abs/1701.04288},
eprinttype = {arXiv},
eprint = {1701.04288},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MayerHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KoukoutosRKK17,
author = {Manos Koukoutos and
Mukund Raghothaman and
Etienne Kneuss and
Viktor Kuncak},
title = {On Repair with Probabilistic Attribute Grammars},
journal = {CoRR},
volume = {abs/1707.04148},
year = {2017},
url = {http://arxiv.org/abs/1707.04148},
eprinttype = {arXiv},
eprint = {1707.04148},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KoukoutosRKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-09208,
author = {Jad Hamza and
Viktor Kuncak},
title = {Minimal Synthesis of String To String Functions From Examples},
journal = {CoRR},
volume = {abs/1710.09208},
year = {2017},
url = {http://arxiv.org/abs/1710.09208},
eprinttype = {arXiv},
eprint = {1710.09208},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-09208.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HupelK16,
author = {Lars Hupel and
Viktor Kuncak},
editor = {Nicola Olivetti and
Ashish Tiwari},
title = {Translating Scala Programs to Isabelle/HOL - System Description},
booktitle = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9706},
pages = {568--577},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40229-1\_38},
doi = {10.1007/978-3-319-40229-1\_38},
timestamp = {Mon, 26 Jun 2023 20:45:22 +0200},
biburl = {https://dblp.org/rec/conf/cade/HupelK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/SchmidK16,
author = {Georg Stefan Schmid and
Viktor Kuncak},
editor = {Aggelos Biboudis and
Manohar Jonnalagedda and
Sandro Stucki and
Vlad Ureche},
title = {SMT-based checking of predicate-qualified types for Scala},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
pages = {31--40},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2998392.2998398},
doi = {10.1145/2998392.2998398},
timestamp = {Tue, 06 Nov 2018 16:59:26 +0100},
biburl = {https://dblp.org/rec/conf/scala/SchmidK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KoukoutosKK16,
author = {Manos Koukoutos and
Etienne Kneuss and
Viktor Kuncak},
editor = {Ruzica Piskac and
Rayna Dimitrova},
title = {An Update on Deductive Synthesis and Repair in the Leon Tool},
booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,
July 17-18, 2016},
series = {{EPTCS}},
volume = {229},
pages = {100--111},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.229.9},
doi = {10.4204/EPTCS.229.9},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/KoukoutosKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/CernyKM16,
editor = {Pavol Cern{\'{y}} and
Viktor Kuncak and
Parthasarathy Madhusudan},
title = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
CA, USA, 18th July 2015},
series = {{EPTCS}},
volume = {202},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.202},
doi = {10.4204/EPTCS.202},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CernyKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HupelK16,
author = {Lars Hupel and
Viktor Kuncak},
title = {Translating Scala Programs to Isabelle/HOL},
journal = {CoRR},
volume = {abs/1607.01539},
year = {2016},
url = {http://arxiv.org/abs/1607.01539},
eprinttype = {arXiv},
eprint = {1607.01539},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HupelK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/RummerHK15,
author = {Philipp R{\"{u}}mmer and
Hossein Hojjat and
Viktor Kuncak},
title = {On recursion-free Horn clauses and Craig interpolation},
journal = {Formal Methods Syst. Des.},
volume = {47},
number = {1},
pages = {1--25},
year = {2015},
url = {https://doi.org/10.1007/s10703-014-0219-7},
doi = {10.1007/S10703-014-0219-7},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/RummerHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ReynoldsDKTB15,
author = {Andrew Reynolds and
Morgan Deters and
Viktor Kuncak and
Cesare Tinelli and
Clark W. Barrett},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Counterexample-Guided Quantifier Instantiation for Synthesis in {SMT}},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {9207},
pages = {198--216},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21668-3\_12},
doi = {10.1007/978-3-319-21668-3\_12},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ReynoldsDKTB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KneussKK15,
author = {Etienne Kneuss and
Manos Koukoutos and
Viktor Kuncak},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Deductive Program Repair},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {9207},
pages = {217--233},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21668-3\_13},
doi = {10.1007/978-3-319-21668-3\_13},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KneussKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GveroK15,
author = {Tihomir Gvero and
Viktor Kuncak},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Interactive Synthesis Using Free-Form Queries},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {689--692},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.224},
doi = {10.1109/ICSE.2015.224},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GveroK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/Kuncak15,
author = {Viktor Kuncak},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Developing Verified Software Using Leon},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
pages = {12--15},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_2},
doi = {10.1007/978-3-319-17524-9\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/Kuncak15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KurajKJ15,
author = {Ivan Kuraj and
Viktor Kuncak and
Daniel Jackson},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Programming with enumerable sets of structures},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {37--56},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814323},
doi = {10.1145/2814270.2814323},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KurajKJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MadhavanMGK15,
author = {Ravichandhran Madhavan and
Mika{\"{e}}l Mayer and
Sumit Gulwani and
Viktor Kuncak},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Automating grammar comparison},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {183--200},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814304},
doi = {10.1145/2814270.2814304},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MadhavanMGK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GveroK15,
author = {Tihomir Gvero and
Viktor Kuncak},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Synthesizing Java expressions from free-form queries},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {416--432},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814295},
doi = {10.1145/2814270.2814295},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/GveroK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/VoirolKK15,
author = {Nicolas Voirol and
Etienne Kneuss and
Viktor Kuncak},
editor = {Philipp Haller and
Heather Miller},
title = {Counter-example complete verification for higher-order functions},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} Symposium on Scala, Scala@PLDI
2015, Portland, OR, USA, June 15-17, 2015},
pages = {18--29},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774975.2774978},
doi = {10.1145/2774975.2774978},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/pldi/VoirolKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BlancK15,
author = {R{\'{e}}gis Blanc and
Viktor Kuncak},
editor = {Philipp Haller and
Heather Miller},
title = {Sound reasoning about integral data types with a reusable {SMT} solver
interface},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} Symposium on Scala, Scala@PLDI
2015, Portland, OR, USA, June 15-17, 2015},
pages = {35--40},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774975.2774980},
doi = {10.1145/2774975.2774980},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/BlancK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/GveroKKP15,
author = {Tihomir Gvero and
Viktor Kuncak and
Ivan Kuraj and
Ruzica Piskac},
editor = {Uwe A{\ss}mann and
Birgit Demuth and
Thorsten Spitta and
Georg P{\"{u}}schel and
Ronny Kaiser},
title = {InSynth: {A} System for Code Completion using Types and Weights},
booktitle = {Software Engineering {\&} Management 2015, Multikonferenz der
GI-Fachbereiche Softwaretechnik {(SWT)} und Wirtschaftsinformatik
(WI), {FA} WI-MAW, 17. M{\"{a}}rz - 20. M{\"{a}}rz 2015,
Dresden, Germany},
series = {{LNI}},
volume = {{P-239}},
pages = {39--40},
publisher = {{GI}},
year = {2015},
timestamp = {Thu, 14 Nov 2019 16:35:28 +0100},
biburl = {https://dblp.org/rec/conf/se/GveroKKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ReynoldsK15,
author = {Andrew Reynolds and
Viktor Kuncak},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Induction for {SMT} Solvers},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {80--98},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_5},
doi = {10.1007/978-3-662-46081-8\_5},
timestamp = {Tue, 07 May 2024 20:11:13 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ReynoldsK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ReynoldsDKBT15,
author = {Andrew Reynolds and
Morgan Deters and
Viktor Kuncak and
Clark W. Barrett and
Cesare Tinelli},
title = {On Counterexample Guided Quantifier Instantiation for Synthesis in
{CVC4}},
journal = {CoRR},
volume = {abs/1502.04464},
year = {2015},
url = {http://arxiv.org/abs/1502.04464},
eprinttype = {arXiv},
eprint = {1502.04464},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ReynoldsDKBT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Reynolds0K15,
author = {Andrew Reynolds and
Tim King and
Viktor Kuncak},
title = {An Instantiation-Based Approach for Solving Quantified Linear Arithmetic},
journal = {CoRR},
volume = {abs/1510.02642},
year = {2015},
url = {http://arxiv.org/abs/1510.02642},
eprinttype = {arXiv},
eprint = {1510.02642},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Reynolds0K15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MadhavanK14,
author = {Ravichandhran Madhavan and
Viktor Kuncak},
editor = {Armin Biere and
Roderick Bloem},
title = {Symbolic Resource Bound Inference for Functional Programs},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {762--778},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_51},
doi = {10.1007/978-3-319-08867-9\_51},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/MadhavanK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KurajK14,
author = {Ivan Kuraj and
Viktor Kuncak},
editor = {Philipp Haller and
Heather Miller},
title = {SciFe: Scala framework for efficient enumeration of data structures
with invariants},
booktitle = {Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014,
Uppsala, Sweden, July 28-29, 2014},
pages = {45--49},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637647.2637655},
doi = {10.1145/2637647.2637655},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/KurajK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Kuncak14,
author = {Viktor Kuncak},
editor = {Javier Esparza and
Pierre Fraigniaud and
Thore Husfeldt and
Elias Koutsoupias},
title = {Verifying and Synthesizing Software with Recursive Functions - (Invited
Contribution)},
booktitle = {Automata, Languages, and Programming - 41st International Colloquium,
{ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8572},
pages = {11--25},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43948-7\_2},
doi = {10.1007/978-3-662-43948-7\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Kuncak14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DarulovaK14,
author = {Eva Darulova and
Viktor Kuncak},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {Sound compilation of reals},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {235--248},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535874},
doi = {10.1145/2535838.2535874},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/DarulovaK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KoukoutosK14,
author = {Emmanouil Koukoutos and
Viktor Kuncak},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Checking Data Structure Properties Orders of Magnitude Faster},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {263--268},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_22},
doi = {10.1007/978-3-319-11164-3\_22},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/KoukoutosK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DarulovaK14,
author = {Eva Darulova and
Viktor Kuncak},
title = {On Numerical Error Propagation with Sensitivity},
journal = {CoRR},
volume = {abs/1410.0198},
year = {2014},
url = {http://arxiv.org/abs/1410.0198},
eprinttype = {arXiv},
eprint = {1410.0198},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DarulovaK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Vujosevic-JanicicNTK13,
author = {Milena Vujosevic{-}Janicic and
Mladen Nikolic and
Dusan Tosic and
Viktor Kuncak},
title = {Software verification and graph similarity for automated evaluation
of students' assignments},
journal = {Inf. Softw. Technol.},
volume = {55},
number = {6},
pages = {1004--1016},
year = {2013},
url = {https://doi.org/10.1016/j.infsof.2012.12.005},
doi = {10.1016/J.INFSOF.2012.12.005},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/Vujosevic-JanicicNTK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KuncakMPS13,
author = {Viktor Kuncak and
Mika{\"{e}}l Mayer and
Ruzica Piskac and
Philippe Suter},
title = {Functional synthesis for linear arithmetic and sets},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {15},
number = {5-6},
pages = {455--474},
year = {2013},
url = {https://doi.org/10.1007/s10009-011-0217-7},
doi = {10.1007/S10009-011-0217-7},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KuncakMPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RummerHK13,
author = {Philipp R{\"{u}}mmer and
Hossein Hojjat and
Viktor Kuncak},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Disjunctive Interpolants for Horn-Clause Verification},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {347--363},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_24},
doi = {10.1007/978-3-642-39799-8\_24},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/RummerHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BlancKKS13,
author = {R{\'{e}}gis Blanc and
Viktor Kuncak and
Etienne Kneuss and
Philippe Suter},
title = {An overview of the Leon verification system: verification by translation
to recursive functions},
booktitle = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier,
France, July 2, 2013},
pages = {1:1--1:10},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489837.2489838},
doi = {10.1145/2489837.2489838},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BlancKKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/DarulovaKMS13,
author = {Eva Darulova and
Viktor Kuncak and
Rupak Majumdar and
Indranil Saha},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Synthesis of fixed-point programs},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {22:1--22:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658600},
doi = {10.1109/EMSOFT.2013.6658600},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/DarulovaKMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KuncakB13,
author = {Viktor Kuncak and
R{\'{e}}gis Blanc},
title = {Interpolation for synthesis on unbounded domains},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {93--96},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679396/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/KuncakB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MayerK13,
author = {Mika{\"{e}}l Mayer and
Viktor Kuncak},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Robert Hirschfeld},
title = {Game programming by demonstration},
booktitle = {{ACM} Symposium on New Ideas in Programming and Reflections on Software,
Onward! 2013, part of {SPLASH} '13, Indianapolis, IN, USA, October
26-31, 2013},
pages = {75--90},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509578.2509583},
doi = {10.1145/2509578.2509583},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MayerK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KneussKKS13,
author = {Etienne Kneuss and
Ivan Kuraj and
Viktor Kuncak and
Philippe Suter},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Synthesis modulo recursive functions},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
Object Oriented Programming Systems Languages {\&} Applications,
{OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
26-31, 2013},
pages = {407--426},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509555},
doi = {10.1145/2509136.2509555},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KneussKKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GveroKKP13,
author = {Tihomir Gvero and
Viktor Kuncak and
Ivan Kuraj and
Ruzica Piskac},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Complete completion using types and weights},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {27--38},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462192},
doi = {10.1145/2491956.2462192},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GveroKKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KuncakKS13,
author = {Viktor Kuncak and
Etienne Kneuss and
Philippe Suter},
editor = {Axel Legay and
Saddek Bensalem},
title = {Executing Specifications Using Synthesis and Constraint Solving},
booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8174},
pages = {1--20},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40787-1\_1},
doi = {10.1007/978-3-642-40787-1\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/KuncakKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/KlonatosNSKK13,
author = {Yannis Klonatos and
Andres N{\"{o}}tzli and
Andrej Spielmann and
Christoph Koch and
Viktor Kuncak},
editor = {Kenneth A. Ross and
Divesh Srivastava and
Dimitris Papadias},
title = {Automatic synthesis of out-of-core algorithms},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, {SIGMOD} 2013, New York, NY, USA, June 22-27, 2013},
pages = {133--144},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2463676.2465334},
doi = {10.1145/2463676.2465334},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/KlonatosNSKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/JacobsKS13,
author = {Swen Jacobs and
Viktor Kuncak and
Philippe Suter},
editor = {Roberto Giacobazzi and
Josh Berdine and
Isabella Mastroeni},
title = {Reductions for Synthesis Procedures},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International
Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7737},
pages = {88--107},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35873-9\_8},
doi = {10.1007/978-3-642-35873-9\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/JacobsKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/RummerHK13,
author = {Philipp R{\"{u}}mmer and
Hossein Hojjat and
Viktor Kuncak},
editor = {Ernie Cohen and
Andrey Rybalchenko},
title = {Classifying and Solving Horn Clauses for Verification},
booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8164},
pages = {1--21},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54108-7\_1},
doi = {10.1007/978-3-642-54108-7\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/RummerHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/KneussKS13,
author = {Etienne Kneuss and
Viktor Kuncak and
Philippe Suter},
editor = {Ernie Cohen and
Andrey Rybalchenko},
title = {Effect Analysis for Programs with Callbacks},
booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8164},
pages = {48--67},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54108-7\_3},
doi = {10.1007/978-3-642-54108-7\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/KneussKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-4973,
author = {Philipp R{\"{u}}mmer and
Hossein Hojjat and
Viktor Kuncak},
title = {Disjunctive Interpolants for Horn-Clause Verification (Extended Technical
Report)},
journal = {CoRR},
volume = {abs/1301.4973},
year = {2013},
url = {http://arxiv.org/abs/1301.4973},
eprinttype = {arXiv},
eprint = {1301.4973},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-4973.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-4187,
author = {Philipp R{\"{u}}mmer and
Hossein Hojjat and
Viktor Kuncak},
title = {The Relationship between Craig Interpolation and Recursion-Free Horn
Clauses},
journal = {CoRR},
volume = {abs/1302.4187},
year = {2013},
url = {http://arxiv.org/abs/1302.4187},
eprinttype = {arXiv},
eprint = {1302.4187},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-4187.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-5661,
author = {Etienne Kneuss and
Viktor Kuncak and
Ivan Kuraj and
Philippe Suter},
title = {On Integrating Deductive Synthesis and Verification Systems},
journal = {CoRR},
volume = {abs/1304.5661},
year = {2013},
url = {http://arxiv.org/abs/1304.5661},
eprinttype = {arXiv},
eprint = {1304.5661},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-5661.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DarulovaK13,
author = {Eva Darulova and
Viktor Kuncak},
title = {On Sound Compilation of Reals},
journal = {CoRR},
volume = {abs/1309.2511},
year = {2013},
url = {http://arxiv.org/abs/1309.2511},
eprinttype = {arXiv},
eprint = {1309.2511},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DarulovaK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/GuerraouiKL12,
author = {Rachid Guerraoui and
Viktor Kuncak and
Giuliano Losa},
title = {Abortable Linearizable Modules},
journal = {Arch. Formal Proofs},
volume = {2012},
year = {2012},
url = {https://www.isa-afp.org/entries/Abortable\_Linearizable\_Modules.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/GuerraouiKL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KuncakMPS12,
author = {Viktor Kuncak and
Mika{\"{e}}l Mayer and
Ruzica Piskac and
Philippe Suter},
title = {Software synthesis procedures},
journal = {Commun. {ACM}},
volume = {55},
number = {2},
pages = {103--111},
year = {2012},
url = {https://doi.org/10.1145/2076450.2076472},
doi = {10.1145/2076450.2076472},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/KuncakMPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HojjatIKKR12,
author = {Hossein Hojjat and
Radu Iosif and
Filip Konecn{\'{y}} and
Viktor Kuncak and
Philipp R{\"{u}}mmer},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {Accelerating Interpolants},
booktitle = {Automated Technology for Verification and Analysis - 10th International
Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7561},
pages = {187--202},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_16},
doi = {10.1007/978-3-642-33386-6\_16},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/HojjatIKKR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SpielmannK12,
author = {Andrej Spielmann and
Viktor Kuncak},
editor = {Bernhard Gramlich and
Dale Miller and
Uli Sattler},
title = {Synthesis for Unbounded Bit-Vector Arithmetic},
booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
2012, Manchester, UK, June 26-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7364},
pages = {499--513},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31365-3\_39},
doi = {10.1007/978-3-642-31365-3\_39},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/SpielmannK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HojjatKGIKR12,
author = {Hossein Hojjat and
Filip Konecn{\'{y}} and
Florent Garnier and
Radu Iosif and
Viktor Kuncak and
Philipp R{\"{u}}mmer},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {A Verification Toolkit for Numerical Transition Systems - Tool Paper},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {247--251},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_21},
doi = {10.1007/978-3-642-32759-9\_21},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/HojjatKGIKR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GuerraouiKL12,
author = {Rachid Guerraoui and
Viktor Kuncak and
Giuliano Losa},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Speculative linearizability},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {55--66},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254072},
doi = {10.1145/2254064.2254072},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/GuerraouiKL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KoksalKS12,
author = {Ali Sinan K{\"{o}}ksal and
Viktor Kuncak and
Philippe Suter},
editor = {John Field and
Michael Hicks},
title = {Constraints as control},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {151--164},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103675},
doi = {10.1145/2103656.2103675},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/KoksalKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/DarulovaK12,
author = {Eva Darulova and
Viktor Kuncak},
editor = {Shaz Qadeer and
Serdar Tasiran},
title = {Certifying Solutions for Numerical Constraints},
booktitle = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul,
Turkey, September 25-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7687},
pages = {277--291},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35632-2\_27},
doi = {10.1007/978-3-642-35632-2\_27},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/DarulovaK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/WiesMK12,
author = {Thomas Wies and
Marco Mu{\~{n}}iz and
Viktor Kuncak},
editor = {Rajeev Joshi and
Peter M{\"{u}}ller and
Andreas Podelski},
title = {Deciding Functional Lists with Sublist Sets},
booktitle = {Verified Software: Theories, Tools, Experiments - 4th International
Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7152},
pages = {66--81},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27705-4\_6},
doi = {10.1007/978-3-642-27705-4\_6},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/WiesMK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Vujosevic-JanicicK12,
author = {Milena Vujosevic{-}Janicic and
Viktor Kuncak},
editor = {Rajeev Joshi and
Peter M{\"{u}}ller and
Andreas Podelski},
title = {Development and Evaluation of {LAV:} An SMT-Based Error Finding Platform
- System Description},
booktitle = {Verified Software: Theories, Tools, Experiments - 4th International
Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7152},
pages = {98--113},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27705-4\_9},
doi = {10.1007/978-3-642-27705-4\_9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/Vujosevic-JanicicK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2012,
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9},
doi = {10.1007/978-3-642-27940-9},
isbn = {978-3-642-27939-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Vujosevic-Janicic12,
author = {Milena Vujosevic{-}Janicic and
Mladen Nikolic and
Dusan Tosic and
Viktor Kuncak},
title = {Software Verification and Graph Similarity for Automated Evaluation
of Students' Assignments},
journal = {CoRR},
volume = {abs/1206.7064},
year = {2012},
url = {http://arxiv.org/abs/1206.7064},
eprinttype = {arXiv},
eprint = {1206.7064},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Vujosevic-Janicic12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KoksalKS11,
author = {Ali Sinan K{\"{o}}ksal and
Viktor Kuncak and
Philippe Suter},
editor = {Nikolaj S. Bj{\o}rner and
Viorica Sofronie{-}Stokkermans},
title = {Scala to the Power of {Z3:} Integrating {SMT} and Programming},
booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6803},
pages = {400--406},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_30},
doi = {10.1007/978-3-642-22438-6\_30},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/KoksalKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WiesMK11,
author = {Thomas Wies and
Marco Mu{\~{n}}iz and
Viktor Kuncak},
editor = {Nikolaj S. Bj{\o}rner and
Viorica Sofronie{-}Stokkermans},
title = {An Efficient Decision Procedure for Imperative Tree Data Structures},
booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6803},
pages = {476--491},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_36},
doi = {10.1007/978-3-642-22438-6\_36},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/WiesMK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GveroKP11,
author = {Tihomir Gvero and
Viktor Kuncak and
Ruzica Piskac},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Interactive Synthesis of Code Snippets},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {418--423},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_33},
doi = {10.1007/978-3-642-22110-1\_33},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GveroKP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DarulovaK11,
author = {Eva Darulova and
Viktor Kuncak},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Trustworthy numerical computation in Scala},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {325--344},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048094},
doi = {10.1145/2048066.2048094},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/DarulovaK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SuterKK11,
author = {Philippe Suter and
Ali Sinan K{\"{o}}ksal and
Viktor Kuncak},
editor = {Eran Yahav},
title = {Satisfiability Modulo Recursive Programs},
booktitle = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
Italy, September 14-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6887},
pages = {298--315},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23702-7\_23},
doi = {10.1007/978-3-642-23702-7\_23},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/SuterKK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/JacobsK11,
author = {Swen Jacobs and
Viktor Kuncak},
editor = {Ranjit Jhala and
David A. Schmidt},
title = {Towards Complete Reasoning about Axiomatic Specifications},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International
Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6538},
pages = {278--293},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18275-4\_20},
doi = {10.1007/978-3-642-18275-4\_20},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/JacobsK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SuterSK11,
author = {Philippe Suter and
Robin Steiger and
Viktor Kuncak},
editor = {Ranjit Jhala and
David A. Schmidt},
title = {Sets with Cardinality Constraints in Satisfiability Modulo Theories},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International
Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6538},
pages = {403--418},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18275-4\_28},
doi = {10.1007/978-3-642-18275-4\_28},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/SuterSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/YabandehKKK10,
author = {Maysam Yabandeh and
Nikola Knezevic and
Dejan Kostic and
Viktor Kuncak},
title = {Predicting and preventing inconsistencies in deployed distributed
systems},
journal = {{ACM} Trans. Comput. Syst.},
volume = {28},
number = {1},
pages = {2:1--2:49},
year = {2010},
url = {https://doi.org/10.1145/1731060.1731062},
doi = {10.1145/1731060.1731062},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocs/YabandehKKK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PiskacK10,
author = {Ruzica Piskac and
Viktor Kuncak},
editor = {J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle},
title = {{MUNCH} - Automated Reasoner for Sets and Multisets},
booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
Edinburgh, UK, July 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {149--155},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14203-1\_13},
doi = {10.1007/978-3-642-14203-1\_13},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/PiskacK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KuncakMPS10,
author = {Viktor Kuncak and
Mika{\"{e}}l Mayer and
Ruzica Piskac and
Philippe Suter},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Comfusy: {A} Tool for Complete Functional Synthesis},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {430--433},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_38},
doi = {10.1007/978-3-642-14295-6\_38},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KuncakMPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KuncakPS10,
author = {Viktor Kuncak and
Ruzica Piskac and
Philippe Suter},
editor = {Anuj Dawar and
Helmut Veith},
title = {Ordered Sets in the Calculus of Data Structures},
booktitle = {Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th
Annual Conference of the EACSL, Brno, Czech Republic, August 23-27,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6247},
pages = {34--48},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15205-4\_5},
doi = {10.1007/978-3-642-15205-4\_5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/KuncakPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HamzaJK10,
author = {Jad Hamza and
Barbara Jobstmann and
Viktor Kuncak},
editor = {Roderick Bloem and
Natasha Sharygina},
title = {Synthesis for regular specifications over unbounded domains},
booktitle = {Proceedings of 10th International Conference on Formal Methods in
Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
20-23},
pages = {101--109},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/document/5770938/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/HamzaJK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GligoricGJKKM10,
author = {Milos Gligoric and
Tihomir Gvero and
Vilas Jagannath and
Sarfraz Khurshid and
Viktor Kuncak and
Darko Marinov},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {Test generation through programming in {UDITA}},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
pages = {225--234},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806799.1806835},
doi = {10.1145/1806799.1806835},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GligoricGJKKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KuncakMPS10,
author = {Viktor Kuncak and
Mika{\"{e}}l Mayer and
Ruzica Piskac and
Philippe Suter},
editor = {Benjamin G. Zorn and
Alexander Aiken},
title = {Complete functional synthesis},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2010, Toronto, Ontario,
Canada, June 5-10, 2010},
pages = {316--329},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806596.1806632},
doi = {10.1145/1806596.1806632},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KuncakMPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SuterDK10,
author = {Philippe Suter and
Mirco Dotta and
Viktor Kuncak},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Decision procedures for algebraic data types with abstractions},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {199--210},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706325},
doi = {10.1145/1706299.1706325},
timestamp = {Tue, 22 Jun 2021 17:10:57 +0200},
biburl = {https://dblp.org/rec/conf/popl/SuterDK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KneussSK10,
author = {Etienne Kneuss and
Philippe Suter and
Viktor Kuncak},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Runtime Instrumentation for Precise Flow-Sensitive Type Analysis},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {300--314},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_23},
doi = {10.1007/978-3-642-16612-9\_23},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/conf/rv/KneussSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KneussSK10,
author = {Etienne Kneuss and
Philippe Suter and
Viktor Kuncak},
editor = {Gruia{-}Catalin Roman and
Andr{\'{e}} van der Hoek},
title = {Phantm: {PHP} analyzer for type mismatch},
booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {373--374},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882291.1882355},
doi = {10.1145/1882291.1882355},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KneussSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KuncakPSW10,
author = {Viktor Kuncak and
Ruzica Piskac and
Philippe Suter and
Thomas Wies},
editor = {Gilles Barthe and
Manuel V. Hermenegildo},
title = {Building a Calculus of Data Structures},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International
Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5944},
pages = {26--44},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11319-2\_6},
doi = {10.1007/978-3-642-11319-2\_6},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KuncakPSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/YessenovPK10,
author = {Kuat Yessenov and
Ruzica Piskac and
Viktor Kuncak},
editor = {Gilles Barthe and
Manuel V. Hermenegildo},
title = {Collections, Cardinalities, and Relations},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International
Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5944},
pages = {380--395},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11319-2\_27},
doi = {10.1007/978-3-642-11319-2\_27},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/YessenovPK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/WiesPK09,
author = {Thomas Wies and
Ruzica Piskac and
Viktor Kuncak},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Combining Theories with Shared Set Operations},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {366--382},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_23},
doi = {10.1007/978-3-642-04222-5\_23},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/frocos/WiesPK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/YabandehVKK09,
author = {Maysam Yabandeh and
Nedeljko Vasic and
Dejan Kostic and
Viktor Kuncak},
editor = {Armando Fox},
title = {Simplifying Distributed System Development},
booktitle = {Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating
Systems, May 18-20, 2009, Monte Verit{\`{a}}, Switzerland},
publisher = {{USENIX} Association},
year = {2009},
url = {http://www.usenix.org/events/hotos09/tech/full\_papers/yabandeh/yabandeh.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/YabandehVKK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/YabandehKKK09,
author = {Maysam Yabandeh and
Nikola Knezevic and
Dejan Kostic and
Viktor Kuncak},
editor = {Jennifer Rexford and
Emin G{\"{u}}n Sirer},
title = {CrystalBall: Predicting and Preventing Inconsistencies in Deployed
Distributed Systems},
booktitle = {Proceedings of the 6th {USENIX} Symposium on Networked Systems Design
and Implementation, {NSDI} 2009, April 22-24, 2009, Boston, MA, {USA}},
pages = {229--244},
publisher = {{USENIX} Association},
year = {2009},
url = {http://www.usenix.org/events/nsdi09/tech/full\_papers/yabandeh/yabandeh.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/YabandehKKK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZeeKR09,
author = {Karen Zee and
Viktor Kuncak and
Martin C. Rinard},
editor = {Michael Hind and
Amer Diwan},
title = {An integrated proof language for imperative programs},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
June 15-21, 2009},
pages = {338--351},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542476.1542514},
doi = {10.1145/1542476.1542514},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZeeKR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/DagandKK09,
author = {Pierre{-}{\'{E}}variste Dagand and
Dejan Kostic and
Viktor Kuncak},
editor = {Andrew Kennedy and
Amal Ahmed},
title = {Opis: reliable distributed systems in OCaml},
booktitle = {Proceedings of TLDI'09: 2009 {ACM} {SIGPLAN} International Workshop
on Types in Languages Design and Implementation, Savannah, GA, USA,
January 24, 2009},
pages = {65--78},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1481861.1481870},
doi = {10.1145/1481861.1481870},
timestamp = {Tue, 05 Jul 2022 08:30:25 +0200},
biburl = {https://dblp.org/rec/conf/tldi/DagandKK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PiskacK08,
author = {Ruzica Piskac and
Viktor Kuncak},
editor = {Aarti Gupta and
Sharad Malik},
title = {Linear Arithmetic with Stars},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {268--280},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_25},
doi = {10.1007/978-3-540-70545-1\_25},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/PiskacK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/PiskacK08,
author = {Ruzica Piskac and
Viktor Kuncak},
editor = {Michael Kaminski and
Simone Martini},
title = {Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic
with Stars},
booktitle = {Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th
Annual Conference of the EACSL, Bertinoro, Italy, September 16-19,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5213},
pages = {124--138},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87531-4\_11},
doi = {10.1007/978-3-540-87531-4\_11},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/PiskacK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/ZeeKR08,
author = {Karen Zee and
Viktor Kuncak and
Martin C. Rinard},
title = {Verifying linked data structure implementations},
booktitle = {22nd {IEEE} International Symposium on Parallel and Distributed Processing,
{IPDPS} 2008, Miami, Florida USA, April 14-18, 2008},
pages = {1--5},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/IPDPS.2008.4536430},
doi = {10.1109/IPDPS.2008.4536430},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/ZeeKR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZeeKR08,
author = {Karen Zee and
Viktor Kuncak and
Martin C. Rinard},
editor = {Rajiv Gupta and
Saman P. Amarasinghe},
title = {Full functional verification of linked data structures},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
pages = {349--361},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375581.1375624},
doi = {10.1145/1375581.1375624},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZeeKR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/NguyenKC08,
author = {Huu Hai Nguyen and
Viktor Kuncak and
Wei{-}Ngan Chin},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Runtime Checking for Separation Logic},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {203--217},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_19},
doi = {10.1007/978-3-540-78163-9\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/NguyenKC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/PiskacK08,
author = {Ruzica Piskac and
Viktor Kuncak},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Decision Procedures for Multisets with Cardinality Constraints},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {218--232},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_20},
doi = {10.1007/978-3-540-78163-9\_20},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/PiskacK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ndltd/Kuncak07,
author = {Viktor Kuncak},
title = {Modular data structure verification},
school = {Massachusetts Institute of Technology, Cambridge, MA, {USA}},
year = {2007},
url = {https://hdl.handle.net/1721.1/38533},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ndltd/Kuncak07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KuncakR07,
author = {Viktor Kuncak and
Martin C. Rinard},
editor = {Frank Pfenning},
title = {Towards Efficient Satisfiability Checking for Boolean Algebra with
Presburger Arithmetic},
booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4603},
pages = {215--230},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_15},
doi = {10.1007/978-3-540-73595-3\_15},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/KuncakR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MarnetteKR07,
author = {Bruno Marnette and
Viktor Kuncak and
Martin C. Rinard},
editor = {Helmut Seidl},
title = {Polynomial Constraints for Sets with Cardinality Bounds},
booktitle = {Foundations of Software Science and Computational Structures, 10th
International Conference, {FOSSACS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007,
Braga, Portugal, March 24-April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4423},
pages = {258--273},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71389-0\_19},
doi = {10.1007/978-3-540-71389-0\_19},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/MarnetteKR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ZeeKTR07,
author = {Karen Zee and
Viktor Kuncak and
Michael B. Taylor and
Martin C. Rinard},
editor = {Oleg Sokolsky and
Serdar Tasiran},
title = {Runtime Checking for Program Verification},
booktitle = {Runtime Verification, 7th International Workshop, {RV} 2007, Vancouver,
Canada, March 13, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4839},
pages = {202--213},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77395-5\_17},
doi = {10.1007/978-3-540-77395-5\_17},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ZeeKTR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BouillaguetKWZR07,
author = {Charles Bouillaguet and
Viktor Kuncak and
Thomas Wies and
Karen Zee and
Martin C. Rinard},
editor = {Byron Cook and
Andreas Podelski},
title = {Using First-Order Theorem Provers in the Jahob Data Structure Verification
System},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International
Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4349},
pages = {74--88},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69738-1\_5},
doi = {10.1007/978-3-540-69738-1\_5},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BouillaguetKWZR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KuncakNR06,
author = {Viktor Kuncak and
Huu Hai Nguyen and
Martin C. Rinard},
title = {Deciding Boolean Algebra with Presburger Arithmetic},
journal = {J. Autom. Reason.},
volume = {36},
number = {3},
pages = {213--239},
year = {2006},
url = {https://doi.org/10.1007/s10817-006-9042-1},
doi = {10.1007/S10817-006-9042-1},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KuncakNR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KuncakLZR06,
author = {Viktor Kuncak and
Patrick Lam and
Karen Zee and
Martin C. Rinard},
title = {Modular Pluggable Analyses for Data Structure Consistency},
journal = {{IEEE} Trans. Software Eng.},
volume = {32},
number = {12},
pages = {988--1005},
year = {2006},
url = {https://doi.org/10.1109/TSE.2006.125},
doi = {10.1109/TSE.2006.125},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KuncakLZR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/KuncakR06,
author = {Viktor Kuncak and
Martin C. Rinard},
title = {An overview of the Jahob analysis system: project goals and current
status},
booktitle = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IPDPS.2006.1639580},
doi = {10.1109/IPDPS.2006.1639580},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/KuncakR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/WiesKLPR06,
author = {Thomas Wies and
Viktor Kuncak and
Patrick Lam and
Andreas Podelski and
Martin C. Rinard},
editor = {E. Allen Emerson and
Kedar S. Namjoshi},
title = {Field Constraint Analysis},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International
Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3855},
pages = {157--173},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11609773\_11},
doi = {10.1007/11609773\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/WiesKLPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0609104,
author = {Thomas Wies and
Viktor Kuncak and
Karen Zee and
Andreas Podelski and
Martin C. Rinard},
title = {On Verifying Complex Properties using Symbolic Shape Analysis},
journal = {CoRR},
volume = {abs/cs/0609104},
year = {2006},
url = {http://arxiv.org/abs/cs/0609104},
eprinttype = {arXiv},
eprint = {cs/0609104},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0609104.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/LamKR05,
author = {Patrick Lam and
Viktor Kuncak and
Martin C. Rinard},
editor = {Mira Mezini and
Peri L. Tarr},
title = {Crosscutting techniques in program specification and analysis},
booktitle = {Proceedings of the 4th International Conference on Aspect-Oriented
Software Development, {AOSD} 2005, Chicago, Illinois, USA, March 14-18,
2005},
pages = {169--180},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1052898.1052913},
doi = {10.1145/1052898.1052913},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/LamKR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KuncakNR05,
author = {Viktor Kuncak and
Huu Hai Nguyen and
Martin C. Rinard},
editor = {Robert Nieuwenhuis},
title = {An Algorithm for Deciding {BAPA:} Boolean Algebra with Presburger
Arithmetic},
booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated
Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3632},
pages = {260--277},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11532231\_20},
doi = {10.1007/11532231\_20},
timestamp = {Sun, 02 Oct 2022 15:55:55 +0200},
biburl = {https://dblp.org/rec/conf/cade/KuncakNR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/LamKR05,
author = {Patrick Lam and
Viktor Kuncak and
Martin C. Rinard},
editor = {Rastislav Bod{\'{\i}}k},
title = {Hob: {A} Tool for Verifying Data Structure Consistency},
booktitle = {Compiler Construction, 14th International Conference, {CC} 2005, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3443},
pages = {237--241},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31985-6\_16},
doi = {10.1007/978-3-540-31985-6\_16},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/LamKR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KuncakJ05,
author = {Viktor Kuncak and
Daniel Jackson},
editor = {Michel Wermelinger and
Harald C. Gall},
title = {Relational analysis of algebraic datatypes},
booktitle = {Proceedings of the 10th European Software Engineering Conference held
jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
pages = {207--216},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081706.1081740},
doi = {10.1145/1081706.1081740},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KuncakJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/LamKR05,
author = {Patrick Lam and
Viktor Kuncak and
Martin C. Rinard},
editor = {Radhia Cousot},
title = {Generalized Typestate Checking for Data Structure Consistency},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {430--447},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_28},
doi = {10.1007/978-3-540-30579-8\_28},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/LamKR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/KuncakLZR05,
author = {Viktor Kuncak and
Patrick Lam and
Karen Zee and
Martin C. Rinard},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {Implications of a Data Structure Consistency Checking System},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {214--226},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_23},
doi = {10.1007/978-3-540-69149-5\_23},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/KuncakLZR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KuncakR05,
author = {Viktor Kuncak and
Martin C. Rinard},
editor = {Agostino Cortesi and
Francesco Logozzo},
title = {Decision Procedures for Set-Valued Fields},
booktitle = {Proceedings of the First International Workshop on Abstract Interpretation
of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
21, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {131},
pages = {51--62},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.01.022},
doi = {10.1016/J.ENTCS.2005.01.022},
timestamp = {Tue, 13 Dec 2022 15:04:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KuncakR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KuncakRM05,
author = {Viktor Kuncak and
Martin C. Rinard and
Bruno Marnette},
editor = {Franz Baader and
Peter Baumgartner and
Robert Nieuwenhuis and
Andrei Voronkov},
title = {On Algorithms and Complexity for Sets with Cardinality Constraints},
booktitle = {Deduction and Applications, 23.-28. October 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05431},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/512},
timestamp = {Sun, 02 Oct 2022 15:58:47 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/KuncakRM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0508123,
author = {Bruno Marnette and
Viktor Kuncak and
Martin C. Rinard},
title = {On Algorithms and Complexity for Sets with Cardinality Constraints},
journal = {CoRR},
volume = {abs/cs/0508123},
year = {2005},
url = {http://arxiv.org/abs/cs/0508123},
eprinttype = {arXiv},
eprint = {cs/0508123},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0508123.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Kuncak04,
author = {Viktor Kuncak},
title = {Binary Search Trees},
journal = {Arch. Formal Proofs},
volume = {2004},
year = {2004},
url = {https://www.isa-afp.org/entries/BinarySearchTree.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/Kuncak04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/ZeeK04,
author = {Karen Zee and
Viktor Kuncak},
title = {File Refinement},
journal = {Arch. Formal Proofs},
volume = {2004},
year = {2004},
url = {https://www.isa-afp.org/entries/FileRefinement.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/ZeeK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/LamKR04,
author = {Patrick Lam and
Viktor Kuncak and
Martin C. Rinard},
title = {Generalized typestate checking using set interfaces and pluggable
analyses},
journal = {{ACM} {SIGPLAN} Notices},
volume = {39},
number = {3},
pages = {46--55},
year = {2004},
url = {https://doi.org/10.1145/981009.981016},
doi = {10.1145/981009.981016},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/LamKR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ArkoudasZKR04,
author = {Konstantine Arkoudas and
Karen Zee and
Viktor Kuncak and
Martin C. Rinard},
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {Verifying a File System Implementation},
booktitle = {Formal Methods and Software Engineering, 6th International Conference
on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3308},
pages = {373--390},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30482-1\_32},
doi = {10.1007/978-3-540-30482-1\_32},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ArkoudasZKR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/KuncakR04,
author = {Viktor Kuncak and
Martin C. Rinard},
editor = {Roberto Giacobazzi},
title = {Generalized Records and Spatial Conjunction in Role Logic},
booktitle = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
Italy, August 26-28, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3148},
pages = {361--376},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27864-1\_26},
doi = {10.1007/978-3-540-27864-1\_26},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/KuncakR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KuncakR04,
author = {Viktor Kuncak and
Martin C. Rinard},
editor = {Bernhard Steffen and
Giorgio Levi},
title = {Boolean Algebra of Shape Analysis Constraints},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International
Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2937},
pages = {59--72},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24622-0\_7},
doi = {10.1007/978-3-540-24622-0\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KuncakR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0407045,
author = {Viktor Kuncak and
Martin C. Rinard},
title = {The First-Order Theory of Sets with Cardinality Constraints is Decidable},
journal = {CoRR},
volume = {cs.LO/0407045},
year = {2004},
url = {http://arxiv.org/abs/cs.LO/0407045},
doi = {10.48550/ARXIV.CS/0407045},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0407045.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0408015,
author = {Viktor Kuncak and
Martin C. Rinard},
title = {On the Theory of Structural Subtyping},
journal = {CoRR},
volume = {cs.LO/0408015},
year = {2004},
url = {http://arxiv.org/abs/cs.LO/0408015},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0408015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0410073,
author = {Viktor Kuncak and
Martin C. Rinard},
title = {On Spatial Conjunction as Second-Order Logic},
journal = {CoRR},
volume = {cs.LO/0410073},
year = {2004},
url = {http://arxiv.org/abs/cs.LO/0410073},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0410073.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0408013,
author = {Viktor Kuncak and
Patrick Lam and
Martin C. Rinard},
title = {Roles Are Really Great!},
journal = {CoRR},
volume = {cs.PL/0408013},
year = {2004},
url = {http://arxiv.org/abs/cs.PL/0408013},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0408013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0408014,
author = {Viktor Kuncak and
Martin C. Rinard},
title = {Typestate Checking and Regular Graph Constraints},
journal = {CoRR},
volume = {cs.PL/0408014},
year = {2004},
url = {http://arxiv.org/abs/cs.PL/0408014},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0408014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0408018,
author = {Viktor Kuncak and
Martin C. Rinard},
title = {On Role Logic},
journal = {CoRR},
volume = {cs.PL/0408018},
year = {2004},
url = {http://arxiv.org/abs/cs.PL/0408018},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0408018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0408019,
author = {Viktor Kuncak and
Martin C. Rinard},
title = {On Generalized Records and Spatial Conjunction in Role Logic},
journal = {CoRR},
volume = {cs.PL/0408019},
year = {2004},
url = {http://arxiv.org/abs/cs.PL/0408019},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0408019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0408045,
author = {Viktor Kuncak and
K. Rustan M. Leino},
title = {On computing the fixpoint of a set of boolean equations},
journal = {CoRR},
volume = {cs.PL/0408045},
year = {2004},
url = {http://arxiv.org/abs/cs.PL/0408045},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0408045.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KuncakR03,
author = {Viktor Kuncak and
Martin C. Rinard},
title = {Structural Subtyping of Non-Recursive Types is Decidable},
booktitle = {18th {IEEE} Symposium on Logic in Computer Science {(LICS} 2003),
22-25 June 2003, Ottawa, Canada, Proceedings},
pages = {96--107},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/LICS.2003.1210049},
doi = {10.1109/LICS.2003.1210049},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KuncakR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/KuncakR03,
author = {Viktor Kuncak and
Martin C. Rinard},
editor = {Radhia Cousot},
title = {Existential Heap Abstraction Entailment Is Undecidable},
booktitle = {Static Analysis, 10th International Symposium, {SAS} 2003, San Diego,
CA, USA, June 11-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2694},
pages = {418--438},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44898-5\_24},
doi = {10.1007/3-540-44898-5\_24},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/KuncakR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaLT/IvanovicK02,
author = {Mirjana Ivanovic and
Viktor Kuncak},
title = {Numerical Representations as Purely Functional Data Structures: a
New Approach},
journal = {Informatica},
volume = {13},
number = {2},
pages = {163--176},
year = {2002},
url = {https://doi.org/10.3233/INF-2002-13203},
doi = {10.3233/INF-2002-13203},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/informaticaLT/IvanovicK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KuncakLR02,
author = {Viktor Kuncak and
Patrick Lam and
Martin C. Rinard},
editor = {John Launchbury and
John C. Mitchell},
title = {Role analysis},
booktitle = {Conference Record of {POPL} 2002: The 29th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, OR, USA, January
16-18, 2002},
pages = {17--32},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/503272.503276},
doi = {10.1145/503272.503276},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/popl/KuncakLR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/GhilezanK01,
author = {Silvia Ghilezan and
Viktor Kuncak},
editor = {Antonio Restivo and
Simona Ronchi Della Rocca and
Luca Roversi},
title = {Confluence of Untyped Lambda Calculus via Simple Types},
booktitle = {Theoretical Computer Science, 7th Italian Conference, {ICTCS} 2001,
Torino, Italy, October 4-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2202},
pages = {38--49},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45446-2\_3},
doi = {10.1007/3-540-45446-2\_3},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/GhilezanK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/KuncakLR01,
author = {Viktor Kuncak and
Patrick Lam and
Martin C. Rinard},
editor = {Henry G. Dietz},
title = {A Language for Role Specifications},
booktitle = {Languages and Compilers for Parallel Computing, 14th International
Workshop, {LCPC} 2001, Cumberland Falls, KY, USA, August 1-3, 2001.
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2624},
pages = {366--382},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-35767-X\_24},
doi = {10.1007/3-540-35767-X\_24},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/KuncakLR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-04-25 05:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
