Thomas Wies - RankMe

113 papers A* 12A 10B 19C 2Misc 2Journal 43Unranked 20

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