Thomas Wies
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
55
Venues
29
Active years
2005–2025
Best venue rank
A*
Where they publish
- A*CAV13 papers
- BVMCAI8 papers
- ATACAS3 papers
- BFM3 papers
- AESOP2 papers
- A*POPL2 papers
- BSAS2 papers
- NationalHOTNETS1 paper
- BITP1 paper
- BCONCUR1 paper
- AECOOP1 paper
- A*SP1 paper
- CICSoft1 paper
- A*PLDI1 paper
- AISSRE1 paper
- A*WWW1 paper
- A*ACL1 paper
- A*CCS1 paper
- BHCOMP1 paper
- CTAP1 paper
- AICFP1 paper
- A*ICSE1 paper
- BFASE1 paper
- AOOPSLA1 paper
- CSCAM1 paper
- ACADE1 paper
- AEuroSys1 paper
- Journal PublishedEMSOFT1 paper
- BFOSSACS1 paper
Papers
55 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | Raven: An SMT-Based Concurrency Verifier. | Ekanshdeep Gupta, Nisarg Patel, Thomas Wies |
| 2025 | CAV | Sprout: A Verifier for Symbolic Multiparty Protocols. | Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey |
| 2025 | CAV | Arithmetizing Shape Analysis. | Sebastian Wolff, Ekanshdeep Gupta, Zafer Esen, Hossein Hojjat, Philipp Rmmer, Thomas Wies |
| 2025 | HOTNETS | The Privacy Quagmire: Where Computer Scientists and Lawyers May Disagree. | Yunwei Zhao, Varun Chandrasekaran, Thomas Wies, Lakshminarayanan Subramanian |
| 2025 | ITP | Certified Implementability of Global Multiparty Protocols. | Elaine Li, Thomas Wies |
| 2024 | CONCUR | Verifying Concurrent Search Structures (Invited Talk). | Thomas Wies |
| 2024 | ECOOP | Verifying Lock-Free Search Structure Templates. | Nisarg Patel, Dennis Shasha, Thomas Wies |
| 2024 | ESOP | Deciding Subtyping for Asynchronous Multiparty Sessions. | Elaine Li, Felix Stutz, Thomas Wies |
| 2023 | CAV | Complete Multiparty Session Type Projection with Automata. | Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey |
| 2023 | CAV | nekton: A Linearizability Proof Checker. | Roland Meyer, Anton Opaterny, Thomas Wies, Sebastian Wolff |
| 2023 | SP | Less is more: refinement proofs for probabilistic proofs. | Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, Thomas Wies |
| 2023 | TACAS | Make Flows Small Again: Revisiting the Flow Framework. | Roland Meyer, Thomas Wies, Sebastian Wolff |
| 2022 | ICSoft | Needles in a Haystack: Using PORT to Catch Bad Behaviors within Application Recordings. | Preston Moore, Thomas Wies, Marc Waldman, Phyllis G. Frankl, Justin Cappos |
| 2020 | CAV | TarTar: A Timed Automata Repair Tool. | Martin Klbl, Stefan Leue, Thomas Wies |
| 2020 | ESOP | Local Reasoning for Global Graph Properties. | Siddharth Krishna, Alexander J. Summers, Thomas Wies |
| 2020 | PLDI | Verifying concurrent search structure templates. | Siddharth Krishna, Nisarg Patel, Dennis E. Shasha, Thomas Wies |
| 2019 | CAV | Clock Bound Repair for Timed Systems. | Martin Klbl, Stefan Leue, Thomas Wies |
| 2019 | ISSRE | Charting a Course Through Uncertain Environments: SEA Uses Past Problems to Avoid Future Failures. | Preston Moore, Justin Cappos, Phyllis G. Frankl, Thomas Wies |
| 2019 | WWW | VACCINE: Using Contextual Integrity For Data Leakage Detection. | Yan Shvartzshnaider, Zvonimir Pavlinovic, Ananth Balashankar, Thomas Wies, Lakshminarayanan Subramanian, Helen Nissenbaum, Prateek Mittal |
| 2018 | ACL | RECIPE: Applying Open Domain Question Answering to Privacy Policies. | Yan Shvartzshanider, Ananth Balashankar, Thomas Wies, Lakshminarayanan Subramanian |
| 2017 | CCS | Full Accounting for Verifiable Outsourcing. | Riad S. Wahby, Ye Ji, Andrew J. Blumberg, Abhi Shelat, Justin Thaler, Michael Walfish, Thomas Wies |
| 2017 | VMCAI | Partitioned Memory Models for Program Analysis. | Wei Wang, Clark W. Barrett, Thomas Wies |
| 2016 | FM | Error Invariants for Concurrent Traces. | Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies |
| 2016 | HCOMP | Learning Privacy Expectations by Crowdsourcing Contextual Informational Norms. | Yan Shvartzshnaider, Schrasing Tong, Thomas Wies, Paula Kift, Helen Nissenbaum, Lakshminarayanan Subramanian, Prateek Mittal |
| 2016 | TAP | Classifying Bugs with Interpolants. | Andreas Podelski, Martin Schf, Thomas Wies |
| 2015 | CAV | Deciding Local Theory Extensions via E-matching. | Kshitij Bansal, Andrew Reynolds, Tim King, Clark W. Barrett, Thomas Wies |
| 2015 | ICFP | Practical SMT-based type error localization. | Zvonimir Pavlinovic, Tim King, Thomas Wies |
| 2015 | ICSE | VERMEER: A Tool for Tracing and Explaining Faulty C Programs. | Daniel Schwartz-Narbonne, Chanseok Oh, Martin Schf, Thomas Wies |
| 2014 | CAV | Automating Separation Logic with Trees and Data. | Ruzica Piskac, Thomas Wies, Damien Zufferey |
| 2014 | FASE | Dynamic Package Interfaces. | Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey |
| 2014 | OOPSLA | Finding minimum type error sources. | Zvonimir Pavlinovic, Tim King, Thomas Wies |
| 2014 | SCAM | Concolic Fault Localization. | Chanseok Oh, Martin Schf, Daniel Schwartz-Narbonne, Thomas Wies |
| 2014 | TACAS | GRASShopper - Complete Heap Verification with Mixed Specifications. | Ruzica Piskac, Thomas Wies, Damien Zufferey |
| 2014 | VMCAI | Cascade 2.0. | Wei Wang, Clark W. Barrett, Thomas Wies |
| 2013 | CAV | Automating Separation Logic Using SMT. | Ruzica Piskac, Thomas Wies, Damien Zufferey |
| 2013 | POPL | Complete instantiation-based interpolation. | Nishant Totla, Thomas Wies |
| 2013 | TACAS | Structural Counter Abstraction. | Kshitij Bansal, Eric Koskinen, Thomas Wies, Damien Zufferey |
| 2013 | VMCAI | Flow-Sensitive Fault Localization. | Jrgen Christ, Evren Ermis, Martin Schf, Thomas Wies |
| 2012 | FM | Error Invariants. | Evren Ermis, Martin Schf, Thomas Wies |
| 2012 | VMCAI | Ideal Abstractions for Well-Structured Transition Systems. | Damien Zufferey, Thomas Wies, Thomas A. Henzinger |
| 2011 | CADE | An Efficient Decision Procedure for Imperative Tree Data Structures. | Thomas Wies, Marco Muiz, Viktor Kuncak |
| 2011 | EuroSys | Scheduling large jobs by abstraction refinement. | Thomas A. Henzinger, Vasu Singh, Thomas Wies, Damien Zufferey |
| 2011 | VMCAI | Decision Procedures for Automating Termination Proofs. | Ruzica Piskac, Thomas Wies |
| 2010 | EMSOFT | A marketplace for cloud resources. | Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey |
| 2010 | FOSSACS | Forward Analysis of Depth-Bounded Processes. | Thomas Wies, Damien Zufferey, Thomas A. Henzinger |
| 2010 | POPL | Counterexample-guided focus. | Andreas Podelski, Thomas Wies |
| 2010 | VMCAI | Building a Calculus of Data Structures. | Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies |
| 2009 | CAV | Intra-module Inference. | Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies |
| 2009 | FM | It's Doomed; We Can Prove It. | Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schf, Thomas Wies |
| 2009 | SAS | Abstraction Refinement for Quantified Array Assertions. | Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies |
| 2008 | CAV | Heap Assumptions on Demand. | Andreas Podelski, Andrey Rybalchenko, Thomas Wies |
| 2007 | CAV | Shape Analysis for Composite Data Structures. | Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang |
| 2007 | VMCAI | Using First-Order Theorem Provers in the Jahob Data Structure Verification System. | Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard |
| 2006 | VMCAI | Field Constraint Analysis. | Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard |
| 2005 | SAS | Boolean Heaps. | Andreas Podelski, Thomas Wies |