Thomas Wies

According to our database, Thomas Wies authored at least 74 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Deciding Subtyping for Asynchronous Multiparty Sessions.

Elaine Li, Felix Stutz, Thomas Wies

Proceedings of the Programming Languages and Systems, 2024

2023

Embedding Hindsight Reasoning in Separation Logic.

Roland Meyer, Thomas Wies, Sebastian Wolff

Proc. ACM Program. Lang., 2023

Context-Aware Separation Logic.

Roland Meyer, Thomas Wies, Sebastian Wolff

CoRR, 2023

Make Flows Small Again: Revisiting the Flow Framework.

Roland Meyer, Thomas Wies, Sebastian Wolff

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

nekton: A Linearizability Proof Checker.

Roland Meyer, Anton Opaterny, Thomas Wies, Sebastian Wolff

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Complete Multiparty Session Type Projection with Automata.

Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

A concurrent program logic with a future and history.

Roland Meyer, Thomas Wies, Sebastian Wolff

Proc. ACM Program. Lang., 2022

Less is more: refinement proofs for probabilistic proofs.

Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, Thomas Wies

IACR Cryptol. ePrint Arch., 2022

Needles in a Haystack: Using PORT to Catch Bad Behaviors within Application Recordings.

Preston Moore, Thomas Wies, Marc Waldman, Phyllis G. Frankl, Justin Cappos

Proceedings of the 17th International Conference on Software Technologies, 2022

2021

Automated Verification of Concurrent Search Structures

Siddharth Krishna, Nisarg Patel, Dennis E. Shasha, Thomas Wies

Synthesis Lectures on Computer Science, Morgan & Claypool Publishers, ISBN: 978-3-031-01806-0, 2021

Data flow refinement type inference.

Zvonimir Pavlinovic, Yusen Su, Thomas Wies

Proc. ACM Program. Lang., 2021

Verifying concurrent multicopy search structures.

Nisarg Patel, Siddharth Krishna, Dennis E. Shasha, Thomas Wies

Proc. ACM Program. Lang., 2021

Automated repair for timed systems.

Martin Kölbl, Stefan Leue, Thomas Wies

Formal Methods Syst. Des., 2021

Inverse-Weighted Survival Games.

Xintian Han, Mark Goldstein, Aahlad Manas Puli, Thomas Wies, Adler J. Perotte, Rajesh Ranganath

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

2020

Beyond The Text: Analysis of Privacy Statements through Syntactic and Semantic Role Labeling.

Yan Shvartzshnaider, Ananth Balashankar, Vikas Patidar, Thomas Wies, Lakshminarayanan Subramanian

CoRR, 2020

Verifying concurrent search structure templates.

Siddharth Krishna, Nisarg Patel, Dennis E. Shasha, Thomas Wies

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Local Reasoning for Global Graph Properties.

Siddharth Krishna, Alexander J. Summers, Thomas Wies

Proceedings of the Programming Languages and Systems, 2020

TarTar: A Timed Automata Repair Tool.

Martin Kölbl, Stefan Leue, Thomas Wies

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

VACCINE: Using Contextual Integrity For Data Leakage Detection.

Yan Shvartzshnaider, Zvonimir Pavlinovic, Ananth Balashankar, Thomas Wies, Lakshminarayanan Subramanian, Helen Nissenbaum, Prateek Mittal

Proceedings of the World Wide Web Conference, 2019

Charting a Course Through Uncertain Environments: SEA Uses Past Problems to Avoid Future Failures.

Preston Moore, Justin Cappos, Phyllis G. Frankl, Thomas Wies

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Clock Bound Repair for Timed Systems.

Martin Kölbl, Stefan Leue, Thomas Wies

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Go with the flow: compositional abstractions for concurrent data structures.

Siddharth Krishna, Dennis E. Shasha, Thomas Wies

Proc. ACM Program. Lang., 2018

RECIPE: Applying Open Domain Question Answering to Privacy Policies.

Yan Shvartzshanider, Ananth Balashankar, Thomas Wies, Lakshminarayanan Subramanian

Proceedings of the Workshop on Machine Reading for Question Answering@ACL 2018, 2018

2017

Full accounting for verifiable outsourcing.

Riad S. Wahby, Ye Ji, Andrew J. Blumberg, Abhi Shelat, Justin Thaler, Michael Walfish, Thomas Wies

IACR Cryptol. ePrint Arch., 2017

Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version).

Siddharth Krishna, Dennis E. Shasha, Thomas Wies

CoRR, 2017

The VACCINE Framework for Building DLP Systems.

Yan Shvartzshnaider, Zvonimir Pavlinovic, Thomas Wies, Lakshminarayanan Subramanian, Prateek Mittal, Helen Nissenbaum

CoRR, 2017

Partitioned Memory Models for Program Analysis.

Wei Wang, Clark W. Barrett, Thomas Wies

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2016

Complete Instantiation-Based Interpolation.

Nishant Totla, Thomas Wies

J. Autom. Reason., 2016

Crowdsourcing Verifiable Contextual Integrity Norms.

Yan Shvartzshnaider, Schrasing Tong, Thomas Wies, Paula Kift, Helen Nissenbaum, Lakshminarayanan Subramanian, Prateek Mittal

CoRR, 2016

Classifying Bugs with Interpolants.

Andreas Podelski, Martin Schäf, Thomas Wies

Proceedings of the Tests and Proofs - 10th International Conference, 2016

Learning Privacy Expectations by Crowdsourcing Contextual Informational Norms.

Yan Shvartzshnaider, Schrasing Tong, Thomas Wies, Paula Kift, Helen Nissenbaum, Lakshminarayanan Subramanian, Prateek Mittal

Proceedings of the Fourth AAAI Conference on Human Computation and Crowdsourcing, 2016

Error Invariants for Concurrent Traces.

Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies

Proceedings of the FM 2016: Formal Methods, 2016

2015

Learning Invariants using Decision Trees.

Siddharth Krishna, Christian Puhrsch, Thomas Wies

CoRR, 2015

Conflict-Directed Graph Coverage.

Daniel Schwartz-Narbonne, Martin Schäf, Dejan Jovanovic, Philipp Rümmer, Thomas Wies

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

VERMEER: A Tool for Tracing and Explaining Faulty C Programs.

Daniel Schwartz-Narbonne, Chanseok Oh, Martin Schäf, Thomas Wies

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Practical SMT-based type error localization.

Zvonimir Pavlinovic, Tim King, Thomas Wies

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Deciding Local Theory Extensions via E-matching.

Kshitij Bansal, Andrew Reynolds, Tim King, Clark W. Barrett, Thomas Wies

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Preface - Invariant Generation.

Gudmund Grov, Thomas Wies

Sci. Comput. Program., 2014

Cascade 2.0.

Wei Wang, Clark W. Barrett, Thomas Wies

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

GRASShopper - Complete Heap Verification with Mixed Specifications.

Ruzica Piskac, Thomas Wies, Damien Zufferey

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Concolic Fault Localization.

Chanseok Oh, Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies

Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014

Finding minimum type error sources.

Zvonimir Pavlinovic, Tim King, Thomas Wies

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Dynamic Package Interfaces.

Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey

Proceedings of the Fundamental Approaches to Software Engineering, 2014

Automating Separation Logic with Trees and Data.

Ruzica Piskac, Thomas Wies, Damien Zufferey

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Dynamic Package Interfaces - Extended Version.

Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey

CoRR, 2013

A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages.

Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey

CoRR, 2013

Flow-Sensitive Fault Localization.

Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies

Proceedings of the Verification, 2013

Structural Counter Abstraction.

Kshitij Bansal, Eric Koskinen, Thomas Wies, Damien Zufferey

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Explaining inconsistent code.

Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Automating Separation Logic Using SMT.

Ruzica Piskac, Thomas Wies, Damien Zufferey

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Deciding Functional Lists with Sublist Sets.

Thomas Wies, Marco Muñiz, Viktor Kuncak

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Ideal Abstractions for Well-Structured Transition Systems.

Damien Zufferey, Thomas Wies, Thomas A. Henzinger

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Error Invariants.

Evren Ermis, Martin Schäf, Thomas Wies

Proceedings of the FM 2012: Formal Methods, 2012

2011

Decision Procedures for Automating Termination Proofs.

Ruzica Piskac, Thomas Wies

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Static Scheduling in Clouds.

Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey

Proceedings of the 3rd USENIX Workshop on Hot Topics in Cloud Computing, 2011

Scheduling large jobs by abstraction refinement.

Thomas A. Henzinger, Vasu Singh, Thomas Wies, Damien Zufferey

Proceedings of the European Conference on Computer Systems, 2011

An Efficient Decision Procedure for Imperative Tree Data Structures.

Thomas Wies, Marco Muñiz, Viktor Kuncak

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010

Doomed program points.

Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies

Formal Methods Syst. Des., 2010

Building a Calculus of Data Structures.

Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies

Proceedings of the Verification, 2010

Counterexample-guided focus.

Andreas Podelski, Thomas Wies

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Forward Analysis of Depth-Bounded Processes.

Thomas Wies, Damien Zufferey, Thomas A. Henzinger

Proceedings of the Foundations of Software Science and Computational Structures, 2010

A marketplace for cloud resources.

Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey

Proceedings of the 10th International conference on Embedded software, 2010

FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment.

Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey

Proceedings of the IEEE International Conference on Cloud Computing, 2010

2009

Symbolic shape analysis.

Thomas Wies

PhD thesis, 2009

Abstraction Refinement for Quantified Array Assertions.

Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies

Proceedings of the Static Analysis, 16th International Symposium, 2009

Combining Theories with Shared Set Operations.

Thomas Wies, Ruzica Piskac, Viktor Kuncak

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

It's Doomed; We Can Prove It.

Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies

Proceedings of the FM 2009: Formal Methods, 2009

Intra-module Inference.

Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Heap Assumptions on Demand.

Andreas Podelski, Andrey Rybalchenko, Thomas Wies

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Using First-Order Theorem Provers in the Jahob Data Structure Verification System.

Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard

Proceedings of the Verification, 2007

Shape Analysis for Composite Data Structures.

Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

On Verifying Complex Properties using Symbolic Shape Analysis

Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C. Rinard

CoRR, 2006

Field Constraint Analysis.

Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard

Proceedings of the Verification, 2006

2005

Boolean Heaps.

Andreas Podelski, Thomas Wies

Proceedings of the Static Analysis, 12th International Symposium, 2005