default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Thomas Wies
@article{DBLP:journals/pacmpl/LiSWZ25,
author = {Elaine Li and
Felix Stutz and
Thomas Wies and
Damien Zufferey},
title = {Characterizing Implementability of Global Protocols with Infinite
States and Data},
journal = {Proc. {ACM} Program. Lang.},
volume = {9},
number = {{OOPSLA1}},
pages = {1434--1463},
year = {2025},
url = {https://doi.org/10.1145/3720493},
doi = {10.1145/3720493},
timestamp = {Fri, 09 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/LiSWZ25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/WolffGEHRW25,
author = {Sebastian Wolff and
Ekanshdeep Gupta and
Zafer Esen and
Hossein Hojjat and
Philipp R{\"{u}}mmer and
Thomas Wies},
editor = {Ruzica Piskac and
Zvonimir Rakamaric},
title = {Arithmetizing Shape Analysis},
booktitle = {Computer Aided Verification - 37th International Conference, {CAV}
2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {15931},
pages = {56--80},
publisher = {Springer},
year = {2025},
url = {https://doi.org/10.1007/978-3-031-98668-0\_3},
doi = {10.1007/978-3-031-98668-0\_3},
timestamp = {Sun, 03 Aug 2025 16:56:30 +0200},
biburl = {https://dblp.org/rec/conf/cav/WolffGEHRW25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GuptaPW25,
author = {Ekanshdeep Gupta and
Nisarg Patel and
Thomas Wies},
editor = {Ruzica Piskac and
Zvonimir Rakamaric},
title = {Raven: An SMT-Based Concurrency Verifier},
booktitle = {Computer Aided Verification - 37th International Conference, {CAV}
2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {15931},
pages = {81--106},
publisher = {Springer},
year = {2025},
url = {https://doi.org/10.1007/978-3-031-98668-0\_4},
doi = {10.1007/978-3-031-98668-0\_4},
timestamp = {Sun, 03 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GuptaPW25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LiSWZ25,
author = {Elaine Li and
Felix Stutz and
Thomas Wies and
Damien Zufferey},
editor = {Ruzica Piskac and
Zvonimir Rakamaric},
title = {Sprout: {A} Verifier for Symbolic Multiparty Protocols},
booktitle = {Computer Aided Verification - 37th International Conference, {CAV}
2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {15933},
pages = {304--317},
publisher = {Springer},
year = {2025},
url = {https://doi.org/10.1007/978-3-031-98682-6\_16},
doi = {10.1007/978-3-031-98682-6\_16},
timestamp = {Sat, 09 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LiSWZ25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/PatelSW24,
author = {Nisarg Patel and
Dennis Shasha and
Thomas Wies},
title = {Verifying Lock-Free Search Structure Templates (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {15:1--15:2},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.15},
doi = {10.4230/DARTS.10.2.15},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/PatelSW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Wies24,
author = {Thomas Wies},
editor = {Rupak Majumdar and
Alexandra Silva},
title = {Verifying Concurrent Search Structures (Invited Talk)},
booktitle = {35th International Conference on Concurrency Theory, {CONCUR} 2024,
September 9-13, 2024, Calgary, Canada},
series = {LIPIcs},
volume = {311},
pages = {3:1--3:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2024.3},
doi = {10.4230/LIPICS.CONCUR.2024.3},
timestamp = {Fri, 30 Aug 2024 16:44:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/Wies24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/PatelSW24,
author = {Nisarg Patel and
Dennis Shasha and
Thomas Wies},
editor = {Jonathan Aldrich and
Guido Salvaneschi},
title = {Verifying Lock-Free Search Structure Templates},
booktitle = {38th European Conference on Object-Oriented Programming, {ECOOP} 2024,
September 16-20, 2024, Vienna, Austria},
series = {LIPIcs},
volume = {313},
pages = {30:1--30:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2024.30},
doi = {10.4230/LIPICS.ECOOP.2024.30},
timestamp = {Thu, 12 Sep 2024 13:29:32 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/PatelSW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LiSW24,
author = {Elaine Li and
Felix Stutz and
Thomas Wies},
editor = {Stephanie Weirich},
title = {Deciding Subtyping for Asynchronous Multiparty Sessions},
booktitle = {Programming Languages and Systems - 33rd European Symposium on Programming,
{ESOP} 2024, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg,
April 6-11, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14576},
pages = {176--205},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57262-3\_8},
doi = {10.1007/978-3-031-57262-3\_8},
timestamp = {Sat, 08 Jun 2024 13:13:57 +0200},
biburl = {https://dblp.org/rec/conf/esop/LiSW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-16395,
author = {Elaine Li and
Felix Stutz and
Thomas Wies},
title = {Deciding Subtyping for Asynchronous Multiparty Sessions},
journal = {CoRR},
volume = {abs/2401.16395},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.16395},
doi = {10.48550/ARXIV.2401.16395},
eprinttype = {arXiv},
eprint = {2401.16395},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-16395.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-13271,
author = {Nisarg Patel and
Dennis Shasha and
Thomas Wies},
title = {Verifying Lock-free Search Structure Templates},
journal = {CoRR},
volume = {abs/2405.13271},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.13271},
doi = {10.48550/ARXIV.2405.13271},
eprinttype = {arXiv},
eprint = {2405.13271},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-13271.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2408-02791,
author = {Mihai Nicola and
Chaitanya Agarwal and
Eric Koskinen and
Thomas Wies},
title = {Inferring Accumulative Effects of Higher Order Programs},
journal = {CoRR},
volume = {abs/2408.02791},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2408.02791},
doi = {10.48550/ARXIV.2408.02791},
eprinttype = {arXiv},
eprint = {2408.02791},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2408-02791.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2408-09037,
author = {Sebastian Wolff and
Ekanshdeep Gupta and
Zafer Esen and
Hossein Hojjat and
Philipp R{\"{u}}mmer and
Thomas Wies},
title = {Arithmetizing Shape Analysis},
journal = {CoRR},
volume = {abs/2408.09037},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2408.09037},
doi = {10.48550/ARXIV.2408.09037},
eprinttype = {arXiv},
eprint = {2408.09037},
timestamp = {Tue, 24 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2408-09037.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2411-05722,
author = {Elaine Li and
Felix Stutz and
Thomas Wies and
Damien Zufferey},
title = {Characterizing Implementability of Global Protocols with Infinite
States and Data},
journal = {CoRR},
volume = {abs/2411.05722},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2411.05722},
doi = {10.48550/ARXIV.2411.05722},
eprinttype = {arXiv},
eprint = {2411.05722},
timestamp = {Wed, 01 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2411-05722.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/0001W023,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
title = {Embedding Hindsight Reasoning in Separation Logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {1848--1871},
year = {2023},
url = {https://doi.org/10.1145/3591296},
doi = {10.1145/3591296},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/0001W023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MeyerOWW23,
author = {Roland Meyer and
Anton Opaterny and
Thomas Wies and
Sebastian Wolff},
editor = {Constantin Enea and
Akash Lal},
title = {nekton: {A} Linearizability Proof Checker},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13964},
pages = {170--183},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37706-8\_9},
doi = {10.1007/978-3-031-37706-8\_9},
timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},
biburl = {https://dblp.org/rec/conf/cav/MeyerOWW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LiSWZ23,
author = {Elaine Li and
Felix Stutz and
Thomas Wies and
Damien Zufferey},
editor = {Constantin Enea and
Akash Lal},
title = {Complete Multiparty Session Type Projection with Automata},
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 = {350--373},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37709-9\_17},
doi = {10.1007/978-3-031-37709-9\_17},
timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},
biburl = {https://dblp.org/rec/conf/cav/LiSWZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/JiangCDWW23,
author = {Kunming Jiang and
Devora Chait{-}Roth and
Zachary DeStefano and
Michael Walfish and
Thomas Wies},
title = {Less is more: refinement proofs for probabilistic proofs},
booktitle = {44th {IEEE} Symposium on Security and Privacy, {SP} 2023, San Francisco,
CA, USA, May 21-25, 2023},
pages = {1112--1129},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SP46215.2023.10179393},
doi = {10.1109/SP46215.2023.10179393},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/JiangCDWW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MeyerWW23,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Make Flows Small Again: Revisiting the Flow Framework},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {628--646},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_32},
doi = {10.1007/978-3-031-30823-9\_32},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MeyerWW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2023,
editor = {Thomas Wies},
title = {Programming Languages and Systems - 32nd European Symposium on Programming,
{ESOP} 2023, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13990},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30044-8},
doi = {10.1007/978-3-031-30044-8},
isbn = {978-3-031-30043-1},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/netys/2023,
editor = {David Mohaisen and
Thomas Wies},
title = {Networked Systems - 11th International Conference, {NETYS} 2023, Benguerir,
Morocco, May 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14067},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37765-5},
doi = {10.1007/978-3-031-37765-5},
isbn = {978-3-031-37764-8},
timestamp = {Thu, 13 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-04886,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
title = {Make flows small again: revisiting the flow framework},
journal = {CoRR},
volume = {abs/2304.04886},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.04886},
doi = {10.48550/ARXIV.2304.04886},
eprinttype = {arXiv},
eprint = {2304.04886},
timestamp = {Tue, 18 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-04886.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-17079,
author = {Elaine Li and
Felix Stutz and
Thomas Wies and
Damien Zufferey},
title = {Complete Multiparty Session Type Projection with Automata},
journal = {CoRR},
volume = {abs/2305.17079},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.17079},
doi = {10.48550/ARXIV.2305.17079},
eprinttype = {arXiv},
eprint = {2305.17079},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-17079.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-15549,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
title = {Context-Aware Separation Logic},
journal = {CoRR},
volume = {abs/2307.15549},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.15549},
doi = {10.48550/ARXIV.2307.15549},
eprinttype = {arXiv},
eprint = {2307.15549},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-15549.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MeyerWW22,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
title = {A concurrent program logic with a future and history},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {1378--1407},
year = {2022},
url = {https://doi.org/10.1145/3563337},
doi = {10.1145/3563337},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MeyerWW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/MooreWWFC22,
author = {Preston Moore and
Thomas Wies and
Marc Waldman and
Phyllis G. Frankl and
Justin Cappos},
editor = {Hans{-}Georg Fill and
Marten van Sinderen and
Leszek A. Maciaszek},
title = {Needles in a Haystack: Using {PORT} to Catch Bad Behaviors within
Application Recordings},
booktitle = {Proceedings of the 17th International Conference on Software Technologies,
{ICSOFT} 2022, Lisbon, Portugal, July 11-13, 2022},
pages = {137--145},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0011142300003266},
doi = {10.5220/0011142300003266},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/MooreWWFC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2022,
editor = {Bernd Finkbeiner and
Thomas Wies},
title = {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},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-94583-1},
doi = {10.1007/978-3-030-94583-1},
isbn = {978-3-030-94582-4},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-02355,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
title = {A Concurrent Program Logic with a Future and History},
journal = {CoRR},
volume = {abs/2207.02355},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.02355},
doi = {10.48550/ARXIV.2207.02355},
eprinttype = {arXiv},
eprint = {2207.02355},
timestamp = {Wed, 13 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-02355.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-13692,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
title = {Embedding Hindsight Reasoning in Separation Logic},
journal = {CoRR},
volume = {abs/2209.13692},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.13692},
doi = {10.48550/ARXIV.2209.13692},
eprinttype = {arXiv},
eprint = {2209.13692},
timestamp = {Thu, 06 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-13692.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/JiangCDWW22,
author = {Kunming Jiang and
Devora Chait{-}Roth and
Zachary DeStefano and
Michael Walfish and
Thomas Wies},
title = {Less is more: refinement proofs for probabilistic proofs},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1557},
year = {2022},
url = {https://eprint.iacr.org/2022/1557},
timestamp = {Wed, 23 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/JiangCDWW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/synthesis/2021Krishna,
author = {Siddharth Krishna and
Nisarg Patel and
Dennis E. Shasha and
Thomas Wies},
title = {Automated Verification of Concurrent Search Structures},
series = {Synthesis Lectures on Computer Science},
publisher = {Morgan {\&} Claypool Publishers},
year = {2021},
url = {https://doi.org/10.2200/S01089ED1V01Y202104CSL013},
doi = {10.2200/S01089ED1V01Y202104CSL013},
isbn = {978-3-031-00678-4},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/synthesis/2021Krishna.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KolblLW21,
author = {Martin K{\"{o}}lbl and
Stefan Leue and
Thomas Wies},
title = {Automated repair for timed systems},
journal = {Formal Methods Syst. Des.},
volume = {59},
number = {1},
pages = {136--169},
year = {2021},
url = {https://doi.org/10.1007/s10703-022-00397-5},
doi = {10.1007/S10703-022-00397-5},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/KolblLW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PatelKSW21,
author = {Nisarg Patel and
Siddharth Krishna and
Dennis E. Shasha and
Thomas Wies},
title = {Verifying concurrent multicopy search structures},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--32},
year = {2021},
url = {https://doi.org/10.1145/3485490},
doi = {10.1145/3485490},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PatelKSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PavlinovicSW21,
author = {Zvonimir Pavlinovic and
Yusen Su and
Thomas Wies},
title = {Data flow refinement type inference},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--31},
year = {2021},
url = {https://doi.org/10.1145/3434300},
doi = {10.1145/3434300},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PavlinovicSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/HanGPWPR21,
author = {Xintian Han and
Mark Goldstein and
Aahlad Manas Puli and
Thomas Wies and
Adler J. Perotte and
Rajesh Ranganath},
editor = {Marc'Aurelio Ranzato and
Alina Beygelzimer and
Yann N. Dauphin and
Percy Liang and
Jennifer Wortman Vaughan},
title = {Inverse-Weighted Survival Games},
booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference
on Neural Information Processing Systems 2021, NeurIPS 2021, December
6-14, 2021, virtual},
pages = {2160--2172},
year = {2021},
url = {https://proceedings.neurips.cc/paper/2021/hash/10fb6cfa4c990d2bad5ddef4f70e8ba2-Abstract.html},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/HanGPWPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-05631,
author = {Nisarg Patel and
Siddharth Krishna and
Dennis E. Shasha and
Thomas Wies},
title = {Verifying Concurrent Multicopy Search Structures},
journal = {CoRR},
volume = {abs/2109.05631},
year = {2021},
url = {https://arxiv.org/abs/2109.05631},
eprinttype = {arXiv},
eprint = {2109.05631},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-05631.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-08175,
author = {Xintian Han and
Mark Goldstein and
Aahlad Manas Puli and
Thomas Wies and
Adler J. Perotte and
Rajesh Ranganath},
title = {Inverse-Weighted Survival Games},
journal = {CoRR},
volume = {abs/2111.08175},
year = {2021},
url = {https://arxiv.org/abs/2111.08175},
eprinttype = {arXiv},
eprint = {2111.08175},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-08175.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KolblLW20,
author = {Martin K{\"{o}}lbl and
Stefan Leue and
Thomas Wies},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {TarTar: {A} Timed Automata Repair Tool},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12224},
pages = {529--540},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53288-8\_25},
doi = {10.1007/978-3-030-53288-8\_25},
timestamp = {Wed, 12 Aug 2020 15:15:42 +0200},
biburl = {https://dblp.org/rec/conf/cav/KolblLW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KrishnaSW20,
author = {Siddharth Krishna and
Alexander J. Summers and
Thomas Wies},
editor = {Peter M{\"{u}}ller},
title = {Local Reasoning for Global Graph Properties},
booktitle = {Programming Languages and Systems - 29th European Symposium on Programming,
{ESOP} 2020, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12075},
pages = {308--335},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44914-8\_12},
doi = {10.1007/978-3-030-44914-8\_12},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/KrishnaSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KrishnaPSW20,
author = {Siddharth Krishna and
Nisarg Patel and
Dennis E. Shasha and
Thomas Wies},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Verifying concurrent search structure templates},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {181--196},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386029},
doi = {10.1145/3385412.3386029},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/KrishnaPSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-02760,
author = {Martin K{\"{o}}lbl and
Stefan Leue and
Thomas Wies},
title = {TarTar: {A} Timed Automata Repair Tool},
journal = {CoRR},
volume = {abs/2002.02760},
year = {2020},
url = {https://arxiv.org/abs/2002.02760},
eprinttype = {arXiv},
eprint = {2002.02760},
timestamp = {Mon, 10 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-02760.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-00678,
author = {Yan Shvartzshnaider and
Ananth Balashankar and
Vikas Patidar and
Thomas Wies and
Lakshminarayanan Subramanian},
title = {Beyond The Text: Analysis of Privacy Statements through Syntactic
and Semantic Role Labeling},
journal = {CoRR},
volume = {abs/2010.00678},
year = {2020},
url = {https://arxiv.org/abs/2010.00678},
eprinttype = {arXiv},
eprint = {2010.00678},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-00678.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-04876,
author = {Zvonimir Pavlinovic and
Yusen Su and
Thomas Wies},
title = {Data Flow Refinement Type Inference},
journal = {CoRR},
volume = {abs/2011.04876},
year = {2020},
url = {https://arxiv.org/abs/2011.04876},
eprinttype = {arXiv},
eprint = {2011.04876},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-04876.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KolblLW19,
author = {Martin K{\"{o}}lbl and
Stefan Leue and
Thomas Wies},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Clock Bound Repair for Timed Systems},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {79--96},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_5},
doi = {10.1007/978-3-030-25540-4\_5},
timestamp = {Fri, 31 Jan 2020 21:32:18 +0100},
biburl = {https://dblp.org/rec/conf/cav/KolblLW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MooreCFW19,
author = {Preston Moore and
Justin Cappos and
Phyllis G. Frankl and
Thomas Wies},
editor = {Katinka Wolter and
Ina Schieferdecker and
Barbara Gallina and
Michel Cukier and
Roberto Natella and
Naghmeh Ramezani Ivaki and
Nuno Laranjeiro},
title = {Charting a Course Through Uncertain Environments: {SEA} Uses Past
Problems to Avoid Future Failures},
booktitle = {30th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2019, Berlin, Germany, October 28-31, 2019},
pages = {1--12},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISSRE.2019.00011},
doi = {10.1109/ISSRE.2019.00011},
timestamp = {Mon, 28 Dec 2020 11:31:03 +0100},
biburl = {https://dblp.org/rec/conf/issre/MooreCFW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/Shvartzshnaider19,
author = {Yan Shvartzshnaider and
Zvonimir Pavlinovic and
Ananth Balashankar and
Thomas Wies and
Lakshminarayanan Subramanian and
Helen Nissenbaum and
Prateek Mittal},
editor = {Ling Liu and
Ryen W. White and
Amin Mantrach and
Fabrizio Silvestri and
Julian J. McAuley and
Ricardo Baeza{-}Yates and
Leila Zia},
title = {{VACCINE:} Using Contextual Integrity For Data Leakage Detection},
booktitle = {The World Wide Web Conference, {WWW} 2019, San Francisco, CA, USA,
May 13-17, 2019},
pages = {1702--1712},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3308558.3313655},
doi = {10.1145/3308558.3313655},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/Shvartzshnaider19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-08632,
author = {Siddharth Krishna and
Alexander J. Summers and
Thomas Wies},
title = {Local Reasoning for Global Graph Properties},
journal = {CoRR},
volume = {abs/1911.08632},
year = {2019},
url = {http://arxiv.org/abs/1911.08632},
eprinttype = {arXiv},
eprint = {1911.08632},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-08632.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KrishnaSW18,
author = {Siddharth Krishna and
Dennis E. Shasha and
Thomas Wies},
title = {Go with the flow: compositional abstractions for concurrent data structures},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {37:1--37:31},
year = {2018},
url = {https://doi.org/10.1145/3158125},
doi = {10.1145/3158125},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/KrishnaSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/Shvartzshanider18,
author = {Yan Shvartzshanider and
Ananth Balashankar and
Thomas Wies and
Lakshminarayanan Subramanian},
editor = {Eunsol Choi and
Minjoon Seo and
Danqi Chen and
Robin Jia and
Jonathan Berant},
title = {{RECIPE:} Applying Open Domain Question Answering to Privacy Policies},
booktitle = {Proceedings of the Workshop on Machine Reading for Question Answering@ACL
2018, Melbourne, Australia, July 19, 2018},
pages = {71--77},
publisher = {Association for Computational Linguistics},
year = {2018},
url = {https://aclanthology.org/W18-2608/},
doi = {10.18653/V1/W18-2608},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acl/Shvartzshanider18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/WahbyJBSTWW17,
author = {Riad S. Wahby and
Ye Ji and
Andrew J. Blumberg and
Abhi Shelat and
Justin Thaler and
Michael Walfish and
Thomas Wies},
editor = {Bhavani Thuraisingham and
David Evans and
Tal Malkin and
Dongyan Xu},
title = {Full Accounting for Verifiable Outsourcing},
booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
November 03, 2017},
pages = {2071--2086},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3133956.3133984},
doi = {10.1145/3133956.3133984},
timestamp = {Wed, 29 Jun 2022 15:37:41 +0200},
biburl = {https://dblp.org/rec/conf/ccs/WahbyJBSTWW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/0062BW17,
author = {Wei Wang and
Clark W. Barrett and
Thomas Wies},
editor = {Ahmed Bouajjani and
David Monniaux},
title = {Partitioned Memory Models for Program Analysis},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International
Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10145},
pages = {539--558},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-52234-0\_29},
doi = {10.1007/978-3-319-52234-0\_29},
timestamp = {Sat, 09 Apr 2022 12:46:16 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/0062BW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2017,
editor = {Andrei Paskevich and
Thomas Wies},
title = {Verified Software. Theories, Tools, and Experiments - 9th International
Conference, {VSTTE} 2017, Heidelberg, Germany, July 22-23, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10712},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72308-2},
doi = {10.1007/978-3-319-72308-2},
isbn = {978-3-319-72307-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-02742,
author = {Yan Shvartzshnaider and
Zvonimir Pavlinovic and
Thomas Wies and
Lakshminarayanan Subramanian and
Prateek Mittal and
Helen Nissenbaum},
title = {The {VACCINE} Framework for Building {DLP} Systems},
journal = {CoRR},
volume = {abs/1711.02742},
year = {2017},
url = {http://arxiv.org/abs/1711.02742},
eprinttype = {arXiv},
eprint = {1711.02742},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-02742.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-03272,
author = {Siddharth Krishna and
Dennis E. Shasha and
Thomas Wies},
title = {Go with the Flow: Compositional Abstractions for Concurrent Data Structures
(Extended Version)},
journal = {CoRR},
volume = {abs/1711.03272},
year = {2017},
url = {http://arxiv.org/abs/1711.03272},
eprinttype = {arXiv},
eprint = {1711.03272},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-03272.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/WahbyJBSTWW17,
author = {Riad S. Wahby and
Ye Ji and
Andrew J. Blumberg and
Abhi Shelat and
Justin Thaler and
Michael Walfish and
Thomas Wies},
title = {Full accounting for verifiable outsourcing},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {242},
year = {2017},
url = {http://eprint.iacr.org/2017/242},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/WahbyJBSTWW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/TotlaW16,
author = {Nishant Totla and
Thomas Wies},
title = {Complete Instantiation-Based Interpolation},
journal = {J. Autom. Reason.},
volume = {57},
number = {1},
pages = {37--65},
year = {2016},
url = {https://doi.org/10.1007/s10817-016-9371-7},
doi = {10.1007/S10817-016-9371-7},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/TotlaW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HolzerSBWW16,
author = {Andreas Holzer and
Daniel Schwartz{-}Narbonne and
Mitra Tabaei Befrouei and
Georg Weissenbacher and
Thomas Wies},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Error Invariants for Concurrent Traces},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {370--387},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_23},
doi = {10.1007/978-3-319-48989-6\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HolzerSBWW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcomp/Shvartzshnaider16,
author = {Yan Shvartzshnaider and
Schrasing Tong and
Thomas Wies and
Paula Kift and
Helen Nissenbaum and
Lakshminarayanan Subramanian and
Prateek Mittal},
editor = {Arpita Ghosh and
Matthew Lease},
title = {Learning Privacy Expectations by Crowdsourcing Contextual Informational
Norms},
booktitle = {Proceedings of the Fourth {AAAI} Conference on Human Computation and
Crowdsourcing, {HCOMP} 2016, 30 October - 3 November, 2016, Austin,
Texas, {USA}},
pages = {209--218},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/hcomp.v4i1.13271},
doi = {10.1609/HCOMP.V4I1.13271},
timestamp = {Tue, 05 Sep 2023 11:10:11 +0200},
biburl = {https://dblp.org/rec/conf/hcomp/Shvartzshnaider16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/PodelskiSW16,
author = {Andreas Podelski and
Martin Sch{\"{a}}f and
Thomas Wies},
editor = {Bernhard K. Aichernig and
Carlo A. Furia},
title = {Classifying Bugs with Interpolants},
booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
Austria, July 5-7, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9762},
pages = {151--168},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41135-4\_9},
doi = {10.1007/978-3-319-41135-4\_9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tap/PodelskiSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Shvartzshnaider16,
author = {Yan Shvartzshnaider and
Schrasing Tong and
Thomas Wies and
Paula Kift and
Helen Nissenbaum and
Lakshminarayanan Subramanian and
Prateek Mittal},
title = {Crowdsourcing Verifiable Contextual Integrity Norms},
journal = {CoRR},
volume = {abs/1601.04740},
year = {2016},
url = {http://arxiv.org/abs/1601.04740},
eprinttype = {arXiv},
eprint = {1601.04740},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Shvartzshnaider16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HolzerSBWW16,
author = {Andreas Holzer and
Daniel Schwartz{-}Narbonne and
Mitra Tabaei Befrouei and
Georg Weissenbacher and
Thomas Wies},
title = {Error Invariants for Concurrent Traces},
journal = {CoRR},
volume = {abs/1608.08584},
year = {2016},
url = {http://arxiv.org/abs/1608.08584},
eprinttype = {arXiv},
eprint = {1608.08584},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HolzerSBWW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BansalR0BW15,
author = {Kshitij Bansal and
Andrew Reynolds and
Tim King and
Clark W. Barrett and
Thomas Wies},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Deciding Local Theory Extensions via E-matching},
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 = {87--105},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21668-3\_6},
doi = {10.1007/978-3-319-21668-3\_6},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BansalR0BW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Pavlinovic0W15,
author = {Zvonimir Pavlinovic and
Tim King and
Thomas Wies},
editor = {Kathleen Fisher and
John H. Reppy},
title = {Practical SMT-based type error localization},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
1-3, 2015},
pages = {412--423},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2784731.2784765},
doi = {10.1145/2784731.2784765},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Pavlinovic0W15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Schwartz-Narbonne15,
author = {Daniel Schwartz{-}Narbonne and
Chanseok Oh and
Martin Sch{\"{a}}f and
Thomas Wies},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {{VERMEER:} {A} Tool for Tracing and Explaining Faulty {C} Programs},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {737--740},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.236},
doi = {10.1109/ICSE.2015.236},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/Schwartz-Narbonne15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/Schwartz-Narbonne15,
author = {Daniel Schwartz{-}Narbonne and
Martin Sch{\"{a}}f and
Dejan Jovanovic and
Philipp R{\"{u}}mmer and
Thomas Wies},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Conflict-Directed Graph Coverage},
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 = {327--342},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_23},
doi = {10.1007/978-3-319-17524-9\_23},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/Schwartz-Narbonne15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Pavlinovic0W15,
author = {Zvonimir Pavlinovic and
Tim King and
Thomas Wies},
editor = {Uwe A{\ss}mann and
Birgit Demuth and
Thorsten Spitta and
Georg P{\"{u}}schel and
Ronny Kaiser},
title = {Finding Minimum Type Error Sources},
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 = {43--44},
publisher = {{GI}},
year = {2015},
timestamp = {Mon, 14 Oct 2024 17:07:53 +0200},
biburl = {https://dblp.org/rec/conf/se/Pavlinovic0W15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KrishnaPW15,
author = {Siddharth Krishna and
Christian Puhrsch and
Thomas Wies},
title = {Learning Invariants using Decision Trees},
journal = {CoRR},
volume = {abs/1501.04725},
year = {2015},
url = {http://arxiv.org/abs/1501.04725},
eprinttype = {arXiv},
eprint = {1501.04725},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KrishnaPW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BansalR0BW15,
author = {Kshitij Bansal and
Andrew Reynolds and
Tim King and
Clark W. Barrett and
Thomas Wies},
title = {On Deciding Local Theory Extensions via E-matching},
journal = {CoRR},
volume = {abs/1508.06827},
year = {2015},
url = {http://arxiv.org/abs/1508.06827},
eprinttype = {arXiv},
eprint = {1508.06827},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BansalR0BW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Pavlinovic0W15,
author = {Zvonimir Pavlinovic and
Tim King and
Thomas Wies},
title = {On Practical SMT-Based Type Error Localization},
journal = {CoRR},
volume = {abs/1508.06836},
year = {2015},
url = {http://arxiv.org/abs/1508.06836},
eprinttype = {arXiv},
eprint = {1508.06836},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Pavlinovic0W15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GrovW14,
author = {Gudmund Grov and
Thomas Wies},
title = {Preface - Invariant Generation},
journal = {Sci. Comput. Program.},
volume = {93},
pages = {87--88},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.05.010},
doi = {10.1016/J.SCICO.2014.05.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GrovW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PiskacWZ14,
author = {Ruzica Piskac and
Thomas Wies and
Damien Zufferey},
editor = {Armin Biere and
Roderick Bloem},
title = {Automating Separation Logic with Trees and Data},
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 = {711--728},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_47},
doi = {10.1007/978-3-319-08867-9\_47},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/PiskacWZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/EsmaeilsabzaliMWZ14,
author = {Shahram Esmaeilsabzali and
Rupak Majumdar and
Thomas Wies and
Damien Zufferey},
editor = {Stefania Gnesi and
Arend Rensink},
title = {Dynamic Package Interfaces},
booktitle = {Fundamental Approaches to Software Engineering - 17th International
Conference, {FASE} 2014, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France,
April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8411},
pages = {261--275},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54804-8\_18},
doi = {10.1007/978-3-642-54804-8\_18},
timestamp = {Fri, 04 Jul 2025 22:06:25 +0200},
biburl = {https://dblp.org/rec/conf/fase/EsmaeilsabzaliMWZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PavlinovicKW14,
author = {Zvonimir Pavlinovic and
Tim King and
Thomas Wies},
editor = {Andrew P. Black and
Todd D. Millstein},
title = {Finding minimum type error sources},
booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
pages = {525--542},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660193.2660230},
doi = {10.1145/2660193.2660230},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/PavlinovicKW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/OhSSW14,
author = {Chanseok Oh and
Martin Sch{\"{a}}f and
Daniel Schwartz{-}Narbonne and
Thomas Wies},
title = {Concolic Fault Localization},
booktitle = {14th {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2014, Victoria, BC, Canada, September 28-29,
2014},
pages = {135--144},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SCAM.2014.22},
doi = {10.1109/SCAM.2014.22},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/OhSSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/PiskacWZ14,
author = {Ruzica Piskac and
Thomas Wies and
Damien Zufferey},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {GRASShopper - Complete Heap Verification with Mixed Specifications},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {124--139},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_9},
doi = {10.1007/978-3-642-54862-8\_9},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/PiskacWZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/WangBW14,
author = {Wei Wang and
Clark W. Barrett and
Thomas Wies},
editor = {Kenneth L. McMillan and
Xavier Rival},
title = {Cascade 2.0},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 15th International
Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8318},
pages = {142--160},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54013-4\_9},
doi = {10.1007/978-3-642-54013-4\_9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/WangBW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PiskacWZ13,
author = {Ruzica Piskac and
Thomas Wies and
Damien Zufferey},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Automating Separation Logic Using {SMT}},
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 = {773--789},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_54},
doi = {10.1007/978-3-642-39799-8\_54},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/PiskacWZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/TotlaW13,
author = {Nishant Totla and
Thomas Wies},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {Complete instantiation-based interpolation},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {537--548},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429132},
doi = {10.1145/2429069.2429132},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/TotlaW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SchafSW13,
author = {Martin Sch{\"{a}}f and
Daniel Schwartz{-}Narbonne and
Thomas Wies},
editor = {Bertrand Meyer and
Luciano Baresi and
Mira Mezini},
title = {Explaining inconsistent code},
booktitle = {Joint Meeting of the European Software Engineering Conference and
the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
pages = {521--531},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491411.2491448},
doi = {10.1145/2491411.2491448},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SchafSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BansalKWZ13,
author = {Kshitij Bansal and
Eric Koskinen and
Thomas Wies and
Damien Zufferey},
editor = {Nir Piterman and
Scott A. Smolka},
title = {Structural Counter Abstraction},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {62--77},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_5},
doi = {10.1007/978-3-642-36742-7\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BansalKWZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ChristESW13,
author = {J{\"{u}}rgen Christ and
Evren Ermis and
Martin Sch{\"{a}}f and
Thomas Wies},
editor = {Roberto Giacobazzi and
Josh Berdine and
Isabella Mastroeni},
title = {Flow-Sensitive Fault Localization},
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 = {189--208},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35873-9\_13},
doi = {10.1007/978-3-642-35873-9\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ChristESW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EsmaeilsabzaliMWZ13,
author = {Shahram Esmaeilsabzali and
Rupak Majumdar and
Thomas Wies and
Damien Zufferey},
title = {A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages},
journal = {CoRR},
volume = {abs/1311.4615},
year = {2013},
url = {http://arxiv.org/abs/1311.4615},
eprinttype = {arXiv},
eprint = {1311.4615},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EsmaeilsabzaliMWZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EsmaeilsabzaliMWZ13a,
author = {Shahram Esmaeilsabzali and
Rupak Majumdar and
Thomas Wies and
Damien Zufferey},
title = {Dynamic Package Interfaces - Extended Version},
journal = {CoRR},
volume = {abs/1311.4934},
year = {2013},
url = {http://arxiv.org/abs/1311.4934},
eprinttype = {arXiv},
eprint = {1311.4934},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EsmaeilsabzaliMWZ13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ErmisSW12,
author = {Evren Ermis and
Martin Sch{\"{a}}f and
Thomas Wies},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {Error Invariants},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {187--201},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_17},
doi = {10.1007/978-3-642-32759-9\_17},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/ErmisSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ZuffereyWH12,
author = {Damien Zufferey and
Thomas Wies and
Thomas A. Henzinger},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Ideal Abstractions for Well-Structured Transition Systems},
booktitle = {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},
pages = {445--460},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_29},
doi = {10.1007/978-3-642-27940-9\_29},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ZuffereyWH12.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 = {Thu, 01 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/WiesMK12.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 = {Thu, 01 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/WiesMK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/HenzingerSWZ11,
author = {Thomas A. Henzinger and
Vasu Singh and
Thomas Wies and
Damien Zufferey},
editor = {Christoph M. Kirsch and
Gernot Heiser},
title = {Scheduling large jobs by abstraction refinement},
booktitle = {European Conference on Computer Systems, Proceedings of the Sixth
European conference on Computer systems, EuroSys 2011, Salzburg, Austria,
April 10-13, 2011},
pages = {329--342},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1966445.1966476},
doi = {10.1145/1966445.1966476},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/HenzingerSWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotcloud/HenzingerSSWZ11,
author = {Thomas A. Henzinger and
Anmol V. Singh and
Vasu Singh and
Thomas Wies and
Damien Zufferey},
editor = {Ion Stoica and
John Wilkes},
title = {Static Scheduling in Clouds},
booktitle = {3rd {USENIX} Workshop on Hot Topics in Cloud Computing, HotCloud'11,
Portland, OR, USA, June 14-15, 2011},
publisher = {{USENIX} Association},
year = {2011},
url = {https://www.usenix.org/conference/hotcloud11/static-scheduling-clouds},
timestamp = {Tue, 09 Feb 2021 08:31:35 +0100},
biburl = {https://dblp.org/rec/conf/hotcloud/HenzingerSSWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/PiskacW11,
author = {Ruzica Piskac and
Thomas Wies},
editor = {Ranjit Jhala and
David A. Schmidt},
title = {Decision Procedures for Automating Termination Proofs},
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 = {371--386},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18275-4\_26},
doi = {10.1007/978-3-642-18275-4\_26},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/PiskacW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/HoenickeLPSW10,
author = {Jochen Hoenicke and
K. Rustan M. Leino and
Andreas Podelski and
Martin Sch{\"{a}}f and
Thomas Wies},
title = {Doomed program points},
journal = {Formal Methods Syst. Des.},
volume = {37},
number = {2-3},
pages = {171--199},
year = {2010},
url = {https://doi.org/10.1007/s10703-010-0102-0},
doi = {10.1007/S10703-010-0102-0},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/HoenickeLPSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/HenzingerSSWZ10,
author = {Thomas A. Henzinger and
Anmol V. Singh and
Vasu Singh and
Thomas Wies and
Damien Zufferey},
title = {FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment},
booktitle = {{IEEE} International Conference on Cloud Computing, {CLOUD} 2010,
Miami, FL, USA, 5-10 July, 2010},
pages = {83--90},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/CLOUD.2010.71},
doi = {10.1109/CLOUD.2010.71},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcloud/HenzingerSSWZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/HenzingerSSWZ10,
author = {Thomas A. Henzinger and
Anmol V. Singh and
Vasu Singh and
Thomas Wies and
Damien Zufferey},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {A marketplace for cloud resources},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {1--8},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879022},
doi = {10.1145/1879021.1879022},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/HenzingerSSWZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/WiesZH10,
author = {Thomas Wies and
Damien Zufferey and
Thomas A. Henzinger},
editor = {C.{-}H. Luke Ong},
title = {Forward Analysis of Depth-Bounded Processes},
booktitle = {Foundations of Software Science and Computational Structures, 13th
International Conference, {FOSSACS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6014},
pages = {94--108},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12032-9\_8},
doi = {10.1007/978-3-642-12032-9\_8},
timestamp = {Wed, 16 Mar 2022 23:55:17 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/WiesZH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PodelskiW10,
author = {Andreas Podelski and
Thomas Wies},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Counterexample-guided focus},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {249--260},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706330},
doi = {10.1145/1706299.1706330},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/PodelskiW10.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 = {Thu, 01 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KuncakPSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Wies2009,
author = {Thomas Wies},
title = {Symbolic shape analysis},
school = {University of Freiburg},
year = {2009},
url = {http://www.freidok.uni-freiburg.de/volltexte/6972/},
urn = {urn:nbn:de:bsz:25-opus-69727},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Wies2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LahiriQGVW09,
author = {Shuvendu K. Lahiri and
Shaz Qadeer and
Juan P. Galeotti and
Jan W. Voung and
Thomas Wies},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Intra-module Inference},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {493--508},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_37},
doi = {10.1007/978-3-642-02658-4\_37},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/LahiriQGVW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HoenickeLPSW09,
author = {Jochen Hoenicke and
K. Rustan M. Leino and
Andreas Podelski and
Martin Sch{\"{a}}f and
Thomas Wies},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {It's Doomed; We Can Prove It},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {338--353},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_22},
doi = {10.1007/978-3-642-05089-3\_22},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/HoenickeLPSW09.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 = {Thu, 01 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/WiesPK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SeghirPW09,
author = {Mohamed Nassim Seghir and
Andreas Podelski and
Thomas Wies},
editor = {Jens Palsberg and
Zhendong Su},
title = {Abstraction Refinement for Quantified Array Assertions},
booktitle = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
CA, USA, August 9-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5673},
pages = {3--18},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03237-0\_3},
doi = {10.1007/978-3-642-03237-0\_3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/SeghirPW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PodelskiRW08,
author = {Andreas Podelski and
Andrey Rybalchenko and
Thomas Wies},
editor = {Aarti Gupta and
Sharad Malik},
title = {Heap Assumptions on Demand},
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 = {314--327},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_31},
doi = {10.1007/978-3-540-70545-1\_31},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/PodelskiRW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BerdineCCDOWY07,
author = {Josh Berdine and
Cristiano Calcagno and
Byron Cook and
Dino Distefano and
Peter W. O'Hearn and
Thomas Wies and
Hongseok Yang},
editor = {Werner Damm and
Holger Hermanns},
title = {Shape Analysis for Composite Data Structures},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {178--192},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_22},
doi = {10.1007/978-3-540-73368-3\_22},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/BerdineCCDOWY07.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 = {Thu, 01 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BouillaguetKWZR07.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/sas/PodelskiW05,
author = {Andreas Podelski and
Thomas Wies},
editor = {Chris Hankin and
Igor Siveroni},
title = {Boolean Heaps},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {268--283},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_19},
doi = {10.1007/11547662\_19},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/PodelskiW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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 2025-08-10 21:21 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:
