Thomas Wies

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Characterizing Implementability of Global Protocols with Infinite States and Data	2024	Elaine Li Felix Stutz Thomas Wies Damien Zufferey
+ PDF Chat	Arithmetizing Shape Analysis	2024	Sebastian Wolff Ekanshdeep Gupta Zafer Esen Hossein Hojjat Philipp Rümmer Thomas Wies
+ PDF Chat	Inferring Accumulative Effects of Higher Order Programs	2024	Mihai Nicola Chaitanya Agarwal Eric Koskinen Thomas Wies
+ PDF Chat	Verifying Lock-free Search Structure Templates	2024	Nisarg Patel Dennis Shasha Thomas Wies
+ PDF Chat	Deciding Subtyping for Asynchronous Multiparty Sessions	2024	Elaine Li Felix Stutz Thomas Wies
+ PDF Chat	Embedding Hindsight Reasoning in Separation Logic	2023	Roland Meyer Thomas Wies Sebastian Wolff
+	Beyond The Text: Analysis of Privacy Statements through Syntactic and Semantic Role Labeling	2023	Yan Shvartzshanider Ananth Balashankar Thomas Wies Lakshminarayanan Subramanian
+	Make flows small again: revisiting the flow framework	2023	Roland Meyer Thomas Wies Sebastian Wolff
+	Complete Multiparty Session Type Projection with Automata	2023	Elaine Li Felix Stutz Thomas Wies Damien Zufferey
+	Context-Aware Separation Logic	2023	Roland Meyer Thomas Wies Sebastian Wolff
+ PDF Chat	A concurrent program logic with a future and history	2022	Roland Meyer Thomas Wies Sebastian Wolff
+ PDF Chat	A Concurrent Program Logic with a Future and History	2022	Roland Meyer Thomas Wies Sebastian Wolff
+	Embedding Hindsight Reasoning in Separation Logic	2022	Roland Meyer Thomas Wies Sebastian Wolff
+	Inverse-Weighted Survival Games.	2021	Xintian Han Mark Goldstein Aahlad Puli Thomas Wies Adler Perotte Rajesh Ranganath
+ PDF Chat	Verifying concurrent multicopy search structures	2021	Nisarg Patel Siddharth Krishna Dennis Shasha Thomas Wies
+	Verifying Concurrent Multicopy Search Structures	2021	Nisarg Patel Siddharth Krishna Dennis Shasha Thomas Wies
+ PDF Chat	Data flow refinement type inference	2021	Zvonimir Pavlinovic Yusen Su Thomas Wies
+	Inverse-Weighted Survival Games	2021	Xintian Han Mark Goldstein Aahlad Puli Thomas Wies Rimma Perotte Rajesh Ranganath
+	Verifying Concurrent Multicopy Search Structures	2021	Nisarg Patel Siddharth Krishna Dennis Shasha Thomas Wies
+	TarTar: A Timed Automata Repair Tool	2020	Martin Koelbl Stefan Leue Thomas Wies
+	Data Flow Refinement Type Inference	2020	Zvonimir Pavlinovic Yusen Su Thomas Wies
+	TarTar: A Timed Automata Repair Tool	2020	Martin Koelbl Stefan Leue Thomas Wies
+	Beyond The Text: Analysis of Privacy Statements through Syntactic and Semantic Role Labeling	2020	Yan Shvartzshnaider Ananth Balashankar Vikas Patidar Thomas Wies Lakshminarayanan Subramanian
+	Local Reasoning for Global Graph Properties	2019	Siddharth Krishna Alexander J. Summers Thomas Wies
+	Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version)	2017	Siddharth Krishna Dennis Shasha Thomas Wies
+	The VACCINE Framework for Building DLP Systems	2017	Yan Shvartzshnaider Zvonimir Pavlinovic Thomas Wies Lakshminarayanan Subramanian Prateek Mittal Helen Nissenbaum
+	Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version)	2017	Siddharth Krishna Dennis Shasha Thomas Wies
+	Error Invariants for Concurrent Traces	2016	Andreas Holzer Daniel Schwartz‐Narbonne Mitra Tabaei Befrouei Georg Weißenbacher Thomas Wies
+	Crowdsourcing Verifiable Contextual Integrity Norms.	2016	Yan Shvartzshnaider Schrasing Tong Thomas Wies Paula Kift Helen Nissenbaum Lakshminarayanan Subramanian Prateek Mittal
+	Crowdsourced, Actionable and Verifiable Contextual Informational Norms	2016	Yan Shvartzshnaider Schrasing Tong Thomas Wies Paula Kift Helen Nissenbaum Lakshminarayanan Subramanian Prateek Mittal
+ PDF Chat	Error Invariants for Concurrent Traces	2016	Andreas Holzer Daniel Schwartz‐Narbonne Mitra Tabaei Befrouei Georg Weißenbacher Thomas Wies
+	Error Invariants for Concurrent Traces	2016	Andreas Holzer Daniel Schwartz‐Narbonne Mitra Tabaei Befrouei Georg Weißenbacher Thomas Wies
+	Crowdsourced, Actionable and Verifiable Contextual Informational Norms	2016	Yan Shvartzshnaider Schrasing Tong Thomas Wies Paula Kift Helen Nissenbaum Lakshminarayanan Subramanian Prateek Mittal
+ PDF Chat	Practical SMT-based type error localization	2015	Zvonimir Pavlinovic Tim L. King Thomas Wies
+ PDF Chat	Practical SMT-based type error localization	2015	Zvonimir Pavlinovic Tim L. King Thomas Wies
+	Learning Invariants using Decision Trees	2015	Siddharth Krishna Christian Puhrsch Thomas Wies
+ PDF Chat	Deciding Local Theory Extensions via E-matching	2015	Kshitij Bansal Andrew Reynolds Tim L. King Clark Barrett Thomas Wies
+	Learning Invariants using Decision Trees	2015	Siddharth Krishna Christian Puhrsch Thomas Wies
+	On Practical SMT-Based Type Error Localization	2015	Zvonimir Pavlinovic Tim L. King Thomas Wies
+	Dynamic Package Interfaces - Extended Version	2013	Shahram Esmaeilsabzal Rupak Majumdar Thomas Wies Damien Zufferey
+	A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages	2013	Shahram Esmaeilsabzali Rupak Majumdar Thomas Wies Damien Zufferey
+	Symbolic shape analysis	2009	Thomas Wies
+	Ph.D. thesis: Symbolic shape analysis	2009	Thomas Wies
+	On Verifying Complex Properties using Symbolic Shape Analysis	2006	Thomas Wies Viktor Kunčak Karen Zee Andreas Podelski Martin Rinard
+	On Verifying Complex Properties using Symbolic Shape Analysis	2006	Thomas Wies Viktor Kunčak Karen Zee Andreas Podelski Martin Rinard

Common Coauthors

Coauthor	Papers Together
Siddharth Krishna	8
Lakshminarayanan Subramanian	6
Dennis Shasha	6
Zvonimir Pavlinovic	6
Yan Shvartzshnaider	5
Tim L. King	4
Nisarg Patel	4
Helen Nissenbaum	4
Damien Zufferey	4
Prateek Mittal	4
Sebastian Wolff	4
Andreas Holzer	3
Daniel Schwartz‐Narbonne	3
Roland Meyer	3
Felix Stutz	3
Elaine Li	3
Mitra Tabaei Befrouei	3
Paula Kift	3
Roland Meyer	3
Georg Weißenbacher	3
Andreas Podelski	2
Aahlad Puli	2
Rupak Majumdar	2
Ananth Balashankar	2
Karen Zee	2
Viktor Kunčak	2
Xintian Han	2
Martin Koelbl	2
Yusen Su	2
Mark Goldstein	2
Schrasing Tong	2
Christian Puhrsch	2
Sebastian Wolff	2
Martin Rinard	2
Stefan Leue	2
Rajesh Ranganath	2
Vikas Patidar	1
Shahram Esmaeilsabzali	1
Hossein Hojjat	1
Adler Perotte	1
Philipp Rümmer	1
Eric Koskinen	1
Clark Barrett	1
Kshitij Bansal	1
Schrasing Tong	1
Shahram Esmaeilsabzal	1
Rimma Perotte	1
Alexander J. Summers	1
Zafer Esen	1
Yan Shvartzshanider	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Proving highly-concurrent traversals correct	2020	Yotam M. Y. Feldman Artem Khyzha Constantin Enea Adam Morrison Aleksandar Nanevski Noam Rinetzky Sharon Shoham	4
+ PDF Chat	Proving Linearizability Using Forward Simulations	2017	Ahmed Bouajjani Michael Emmi Constantin Enea Suha Orhun Mutluergil	4
+ PDF Chat	Logical characterizations of heap abstractions	2007	Greta Yorsh Thomas Reps Mooly Sagiv Reinhard Wilhelm	3
+ PDF Chat	Verifying concurrent multicopy search structures	2021	Nisarg Patel Siddharth Krishna Dennis Shasha Thomas Wies	3
+ PDF Chat	LSM-based storage techniques: a survey	2019	Chen Luo Michael J. Carey	2
+ PDF Chat	A Logic of Reachable Patterns in Linked Data-Structures	2006	Greta Yorsh Alexander Rabinovich Mooly Sagiv Antoine Meyer Ahmed Bouajjani	2
+	X-CAL: Explicit Calibration for Survival Analysis	2021	Mark Goldstein Xintian Han Aahlad Puli Adler Perotte Rajesh Ranganath	2
+	Review and comparison of ROC curve estimators for a time‐dependent outcome with marker‐dependent censoring	2013	Paul Blanche Jean‐François Dartigues Hélène Jacqmin‐Gadda	2
+	Estimating a time‐dependent concordance index for survival prediction models with covariate dependent censoring	2012	Thomas A. Gerds Michael W. Kattan Martin Schumacher Changhong Yu	2
+ PDF Chat	Deep learning for survival outcomes	2020	Jon A. Steingrimsson Samantha Morrison	2
+ PDF Chat	Implicit Contextual Integrity in Online Social Networks	2015	Natalia Criado José M. Such	2
+	Assessment and comparison of prognostic classification schemes for survival data	1999	Erika Graf Claudia Schmoor Willi Sauerbrei M. Schumacher	2
+ PDF Chat	Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures	2005	Tal Lev-Ami Neil Immerman Thomas Reps Mooly Sagiv Saurabh Srivastava G. Yorsh	2
+	Consistent Estimation of the Expected Brier Score in General Survival Models with Right‐Censored Event Times	2006	Thomas A. Gerds Martin Schumacher	2
+ PDF Chat	DeepSurv: personalized treatment recommender system using a Cox proportional hazards deep neural network	2018	Jared Katzman Uri Shaham Alexander Cloninger Jonathan Bates Tingting Jiang Yuval Kluger	2
+	MULTIVARIABLE PROGNOSTIC MODELS: ISSUES IN DEVELOPING MODELS, EVALUATING ASSUMPTIONS AND ADEQUACY, AND MEASURING AND REDUCING ERRORS	1996	Frank E. Harrell Kerry L. Lee Daniel B. Mark	2
+ PDF Chat	Tests of calibration and goodness‐of‐fit in the survival setting	2015	Olga Demler Nina P. Paynter Nancy R. Cook	2
+	The Classical Decision Problem	1997	Egon Börger Erich Grädel Yuri Gurevich	2
+	Doubly Robust Estimation in Missing Data and Causal Inference Models	2005	Heejung Bang James M. Robins	2
+ PDF Chat	A Doubly Robust Censoring Unbiased Transformation	2007	Daniel B. Rubin Mark J. van der Laan	2
+	Evaluating Random Forests for Survival Analysis Using Prediction Error Curves	2012	Ulla B. Mogensen Hemant Ishwaran Thomas A. Gerds	2
+ PDF Chat	A scalable discrete-time survival model for neural networks	2019	Michael F. Gensheimer Balasubramanian Narasimhan	2
+ PDF Chat	On Reducing Linearizability to State Reachability	2015	Ahmed Bouajjani Michael Emmi Constantin Enea Jad Hamza	2
+ PDF Chat	Aspect-Oriented Linearizability Proofs	2013	Thomas A. Henzinger Ali Sezgin Viktor Vafeiadis	2
+ PDF Chat	Concordance for prognostic models with competing risks	2014	Marcel Wolbers Paul Blanche Michael Koller J. C. M. Witteman Thomas A. Gerds	2
+ PDF Chat	The c-index is not proper for the evaluation of $t$-year predicted risks	2018	Paul Blanche Michael W. Kattan Thomas A. Gerds	1
+	AllenNLP: A Deep Semantic Natural Language Processing Platform	2018	Matt Gardner Joël Grus Mark E Neumann Oyvind Tafjord Pradeep Dasigi Nelson Liu Matthew E. Peters Michael Schmitz Luke Zettlemoyer	1
+	BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding	2018	Jacob Devlin Ming‐Wei Chang Kenton Lee Kristina Toutanova	1
+ PDF Chat	Decoupling lock-free data structures from memory reclamation for static analysis	2019	Roland Meyer Sebastian Wolff	1
+	Deep Survival Analysis: Nonparametrics and Missingness.	2018	Xenia Miscouridou Rimma Perotte Noémie Elhadad Rajesh Ranganath	1
+	Orthogonal Statistical Learning.	2019	Dylan J. Foster Vasilis Syrgkanis	1
+	Temporal Quilting for Survival Analysis	2019	Chang‐Hee Lee William R. Zame Ahmed M. Alaa Mihaela van der Schaar	1
+	Replication-Aware Linearizability	2019	Constantin Enea Suha Orhun Mutluergil Gustavo Petri Chao Wang	1
+ PDF Chat	BERT Rediscovers the Classical NLP Pipeline	2019	Ian Tenney Dipanjan Das Ellie Pavlick	1
+ PDF Chat	Practical SMT-based type error localization	2015	Zvonimir Pavlinovic Tim L. King Thomas Wies	1
+	The Octagon Abstract Domain	2007	Antoine Miné	1
+	Introduction to the CoNLL-2002 Shared Task: Language-Independent Named Entity Recognition	2002	Erik F. Tjong Kim Sang	1
+ PDF Chat	CFA2: a Context-Free Approach to Control-Flow Analysis	2011	Dimitris Vardoulakis Olin Shivers	1
+	On Reducing Linearizability to State Reachability	2015	Ahmed Bouajjani Michael Emmi Constantin Enea Jad Hamza	1
+ PDF Chat	Deep Recurrent Survival Analysis	2019	Kan Ren Jiarui Qin Lei Zheng Zhengyu Yang Weinan Zhang Lin Qiu Yong Yu	1
+ PDF Chat	Replication-aware linearizability	2019	Chao Wang Constantin Enea Suha Orhun Mutluergil Gustavo Petri	1
+	AllenNLP: A Deep Semantic Natural Language Processing Platform	2018	Matt Gardner Joël Grus Mark E Neumann Oyvind Tafjord Pradeep Dasigi Nelson F. Liu Matthew E. Peters Michael Schmitz Luke Zettlemoyer	1
+	RoBERTa: A Robustly Optimized BERT Pretraining Approach	2019	Yinhan Liu Myle Ott Naman Goyal Jingfei Du Mandar Joshi Danqi Chen Omer Levy Mike Lewis Luke Zettlemoyer Veselin Stoyanov	1
+	Question Answering for Privacy Policies: Combining Computational and Legal Perspectives	2019	Abhilasha Ravichander Alan W. Black Shomir Wilson Thomas Norton Norman Sadeh	1
+	Survival analysis as a classification problem	2019	Chenyang Zhong Robert Tibshirani	1
+ PDF Chat	Modular verification of heap reachability properties in separation logic	2019	Arshavir Ter-Gabrielyan Alexander J. Summers Péter Müller	1
+	Continuous and Discrete-Time Survival Prediction with Neural Networks	2019	Håvard Kvamme Ørnulf Borgan	1
+	A Calibration Metric for Risk Scores with Survival Data	2019	Steve Yadlowsky Sanjay Basu Lü Tian	1
+	The Brier Score under Administrative Censoring: Problems and Solutions	2019	Håvard Kvamme Ørnulf Borgan	1
+	Effective Ways to Build and Evaluate Individual Survival Distributions	2020	Humza Haider Bret Hoehn S. Lindsey Davis Russell Greiner	1