Thomas Wies

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 54

Top Venues

CoRR

Proc. ACM Program. Lang.

CAV (1)

VMCAI

University of Freiburg (PHD)

Education History

University of Freiburg

PHD

Publications

Thomas Wies
Verifying Concurrent Search Structures (Invited Talk). CONCUR (2024)
Elaine Li, Felix Stutz, Thomas Wies
Deciding Subtyping for Asynchronous Multiparty Sessions. ESOP (1) (2024)
Elaine Li, Felix Stutz, Thomas Wies
Deciding Subtyping for Asynchronous Multiparty Sessions. CoRR (2024)
Nisarg Patel, Dennis Shasha, Thomas Wies
Verifying Lock-free Search Structure Templates. CoRR (2024)
Roland Meyer, Thomas Wies, Sebastian Wolff
Context-Aware Separation Logic. CoRR (2023)
Roland Meyer, Anton Opaterny, Thomas Wies, Sebastian Wolff
nekton: A Linearizability Proof Checker. CAV (1) (2023)
Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
Complete Multiparty Session Type Projection with Automata. CAV (3) (2023)
Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, Thomas Wies
Less is more: refinement proofs for probabilistic proofs. SP (2023)
Roland Meyer, Thomas Wies, Sebastian Wolff
Embedding Hindsight Reasoning in Separation Logic. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Roland Meyer, Thomas Wies, Sebastian Wolff
Make flows small again: revisiting the flow framework. CoRR (2023)
Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
Complete Multiparty Session Type Projection with Automata. CoRR (2023)
Roland Meyer, Thomas Wies, Sebastian Wolff
Make Flows Small Again: Revisiting the Flow Framework. TACAS (1) (2023)
Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, Thomas Wies
Less is more: refinement proofs for probabilistic proofs. IACR Cryptol. ePrint Arch. 2022 (2022)
Roland Meyer, Thomas Wies, Sebastian Wolff
A Concurrent Program Logic with a Future and History. CoRR (2022)
Roland Meyer, Thomas Wies, Sebastian Wolff
Embedding Hindsight Reasoning in Separation Logic. CoRR (2022)
Roland Meyer, Thomas Wies, Sebastian Wolff
A concurrent program logic with a future and history. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Preston Moore, Thomas Wies, Marc Waldman, Phyllis G. Frankl, Justin Cappos
Needles in a Haystack: Using PORT to Catch Bad Behaviors within Application Recordings. ICSOFT (2022)
Nisarg Patel, Siddharth Krishna, Dennis E. Shasha, Thomas Wies
Verifying concurrent multicopy search structures. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Zvonimir Pavlinovic, Yusen Su, Thomas Wies
Data flow refinement type inference. Proc. ACM Program. Lang. 5 (POPL) (2021)
Nisarg Patel, Siddharth Krishna, Dennis E. Shasha, Thomas Wies
Verifying Concurrent Multicopy Search Structures. CoRR (2021)
Martin Kölbl, Stefan Leue, Thomas Wies
Automated repair for timed systems. Formal Methods Syst. Des. 59 (1) (2021)
Xintian Han, Mark Goldstein, Aahlad Manas Puli, Thomas Wies, Adler J. Perotte, Rajesh Ranganath
Inverse-Weighted Survival Games. NeurIPS (2021)
Xintian Han, Mark Goldstein, Aahlad Manas Puli, Thomas Wies, Adler J. Perotte, Rajesh Ranganath
Inverse-Weighted Survival Games. CoRR (2021)
Siddharth Krishna, Alexander J. Summers, Thomas Wies
Local Reasoning for Global Graph Properties. ESOP (2020)
Martin Kölbl, Stefan Leue, Thomas Wies
TarTar: A Timed Automata Repair Tool. CoRR (2020)
Yan Shvartzshnaider, Ananth Balashankar, Vikas Patidar, Thomas Wies, Lakshminarayanan Subramanian
Beyond The Text: Analysis of Privacy Statements through Syntactic and Semantic Role Labeling. CoRR (2020)
Siddharth Krishna, Nisarg Patel, Dennis E. Shasha, Thomas Wies
Verifying concurrent search structure templates. PLDI (2020)
Martin Kölbl, Stefan Leue, Thomas Wies
TarTar: A Timed Automata Repair Tool. CAV (1) (2020)
Zvonimir Pavlinovic, Yusen Su, Thomas Wies
Data Flow Refinement Type Inference. CoRR (2020)
Yan Shvartzshnaider, Zvonimir Pavlinovic, Ananth Balashankar, Thomas Wies, Lakshminarayanan Subramanian, Helen Nissenbaum, Prateek Mittal
VACCINE: Using Contextual Integrity For Data Leakage Detection. WWW (2019)
Martin Kölbl, Stefan Leue, Thomas Wies
Clock Bound Repair for Timed Systems. CAV (1) (2019)
Siddharth Krishna, Alexander J. Summers, Thomas Wies
Local Reasoning for Global Graph Properties. CoRR (2019)
Preston Moore, Justin Cappos, Phyllis G. Frankl, Thomas Wies
Charting a Course Through Uncertain Environments: SEA Uses Past Problems to Avoid Future Failures. ISSRE (2019)
Siddharth Krishna, Dennis E. Shasha, Thomas Wies
Go with the flow: compositional abstractions for concurrent data structures. Proc. ACM Program. Lang. 2 (POPL) (2018)
Yan Shvartzshanider, Ananth Balashankar, Thomas Wies, Lakshminarayanan Subramanian
RECIPE: Applying Open Domain Question Answering to Privacy Policies. QA@ACL (2018)
Wei Wang, Clark W. Barrett, Thomas Wies
Partitioned Memory Models for Program Analysis. VMCAI (2017)
Riad S. Wahby, Ye Ji, Andrew J. Blumberg, Abhi Shelat, Justin Thaler, Michael Walfish, Thomas Wies
Full Accounting for Verifiable Outsourcing. CCS (2017)
Riad S. Wahby, Ye Ji, Andrew J. Blumberg, Abhi Shelat, Justin Thaler, Michael Walfish, Thomas Wies
Full accounting for verifiable outsourcing. IACR Cryptol. ePrint Arch. 2017 (2017)
Siddharth Krishna, Dennis E. Shasha, Thomas Wies
Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version). CoRR (2017)
Yan Shvartzshnaider, Zvonimir Pavlinovic, Thomas Wies, Lakshminarayanan Subramanian, Prateek Mittal, Helen Nissenbaum
The VACCINE Framework for Building DLP Systems. CoRR (2017)
Nishant Totla, Thomas Wies
Complete Instantiation-Based Interpolation. J. Autom. Reason. 57 (1) (2016)
Andreas Podelski, Martin Schäf, Thomas Wies
Classifying Bugs with Interpolants. TAP@STAF (2016)
Yan Shvartzshnaider, Schrasing Tong, Thomas Wies, Paula Kift, Helen Nissenbaum, Lakshminarayanan Subramanian, Prateek Mittal
Crowdsourcing Verifiable Contextual Integrity Norms. CoRR (2016)
Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies
Error Invariants for Concurrent Traces. CoRR (2016)
Yan Shvartzshnaider, Schrasing Tong, Thomas Wies, Paula Kift, Helen Nissenbaum, Lakshminarayanan Subramanian, Prateek Mittal
Learning Privacy Expectations by Crowdsourcing Contextual Informational Norms. HCOMP (2016)
Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies
Error Invariants for Concurrent Traces. FM (2016)
Zvonimir Pavlinovic, Tim King, Thomas Wies
Finding Minimum Type Error Sources. Software Engineering & Management (2015)
Zvonimir Pavlinovic, Tim King, Thomas Wies
Practical SMT-based type error localization. ICFP (2015)
Zvonimir Pavlinovic, Tim King, Thomas Wies
On Practical SMT-Based Type Error Localization. CoRR (2015)
Siddharth Krishna, Christian Puhrsch, Thomas Wies
Learning Invariants using Decision Trees. CoRR (2015)
Daniel Schwartz-Narbonne, Chanseok Oh, Martin Schäf, Thomas Wies
VERMEER: A Tool for Tracing and Explaining Faulty C Programs. ICSE (2) (2015)
Kshitij Bansal, Andrew Reynolds, Tim King, Clark W. Barrett, Thomas Wies
On Deciding Local Theory Extensions via E-matching. CoRR (2015)
Daniel Schwartz-Narbonne, Martin Schäf, Dejan Jovanovic, Philipp Rümmer, Thomas Wies
Conflict-Directed Graph Coverage. NFM (2015)
Kshitij Bansal, Andrew Reynolds, Tim King, Clark W. Barrett, Thomas Wies
Deciding Local Theory Extensions via E-matching. CAV (2) (2015)
Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey
Dynamic Package Interfaces. FASE (2014)
Ruzica Piskac, Thomas Wies, Damien Zufferey
GRASShopper - Complete Heap Verification with Mixed Specifications. TACAS (2014)
Chanseok Oh, Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies
Concolic Fault Localization. SCAM (2014)
Wei Wang, Clark W. Barrett, Thomas Wies
Cascade 2.0. VMCAI (2014)
Gudmund Grov, Thomas Wies
Preface - Invariant Generation. Sci. Comput. Program. 93 (2014)
Zvonimir Pavlinovic, Tim King, Thomas Wies
Finding minimum type error sources. OOPSLA (2014)
Ruzica Piskac, Thomas Wies, Damien Zufferey
Automating Separation Logic with Trees and Data. CAV (2014)
Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey
Dynamic Package Interfaces - Extended Version. CoRR (2013)
Nishant Totla, Thomas Wies
Complete instantiation-based interpolation. POPL (2013)
Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies
Explaining inconsistent code. ESEC/SIGSOFT FSE (2013)
Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey
A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages. CoRR (2013)
Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies
Flow-Sensitive Fault Localization. VMCAI (2013)
Kshitij Bansal, Eric Koskinen, Thomas Wies, Damien Zufferey
Structural Counter Abstraction. TACAS (2013)
Ruzica Piskac, Thomas Wies, Damien Zufferey
Automating Separation Logic Using SMT. CAV (2013)
Evren Ermis, Martin Schäf, Thomas Wies
Error Invariants. FM (2012)
Damien Zufferey, Thomas Wies, Thomas A. Henzinger
Ideal Abstractions for Well-Structured Transition Systems. VMCAI (2012)
Thomas Wies, Marco Muñiz, Viktor Kuncak
Deciding Functional Lists with Sublist Sets. VSTTE (2012)
Thomas A. Henzinger, Vasu Singh, Thomas Wies, Damien Zufferey
Scheduling large jobs by abstraction refinement. EuroSys (2011)
Thomas Wies, Marco Muñiz, Viktor Kuncak
An Efficient Decision Procedure for Imperative Tree Data Structures. CADE (2011)
Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey
Static Scheduling in Clouds. HotCloud (2011)
Ruzica Piskac, Thomas Wies
Decision Procedures for Automating Termination Proofs. VMCAI (2011)
Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey
FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment. IEEE CLOUD (2010)
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies
Doomed program points. Formal Methods Syst. Des. 37 (2-3) (2010)
Thomas Wies, Damien Zufferey, Thomas A. Henzinger
Forward Analysis of Depth-Bounded Processes. FoSSaCS (2010)
Andreas Podelski, Thomas Wies
Counterexample-guided focus. POPL (2010)
Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey
A marketplace for cloud resources. EMSOFT (2010)
Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies
Building a Calculus of Data Structures. VMCAI (2010)
Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies
Abstraction Refinement for Quantified Array Assertions. SAS (2009)
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies
It's Doomed; We Can Prove It. FM (2009)
Thomas Wies, Ruzica Piskac, Viktor Kuncak
Combining Theories with Shared Set Operations. FroCoS (2009)
Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies
Intra-module Inference. CAV (2009)
Andreas Podelski, Andrey Rybalchenko, Thomas Wies
Heap Assumptions on Demand. CAV (2008)
Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard
Using First-Order Theorem Provers in the Jahob Data Structure Verification System. VMCAI (2007)
Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang
Shape Analysis for Composite Data Structures. CAV (2007)
Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard
Field Constraint Analysis. VMCAI (2006)
Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C. Rinard
On Verifying Complex Properties using Symbolic Shape Analysis CoRR (2006)
Andreas Podelski, Thomas Wies
Boolean Heaps. SAS (2005)

Thomas Wies.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Wies