Thomas Wies

Identifiers

No identifiers captured yet.

Papers (10)

1. Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version) cs.LO · 2017 · author #3
2. The VACCINE Framework for Building DLP Systems cs.CR · 2017 · author #3
3. Error Invariants for Concurrent Traces cs.SE · 2016 · author #5
4. Crowdsourced, Actionable and Verifiable Contextual Informational Norms cs.CY · 2016 · author #3
5. On Practical SMT-Based Type Error Localization cs.PL · 2015 · author #3
6. On Deciding Local Theory Extensions via E-matching cs.LO · 2015 · author #5
7. Learning Invariants using Decision Trees cs.PL · 2015 · author #3
8. Dynamic Package Interfaces - Extended Version cs.SE · 2013 · author #3
9. A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages cs.SE · 2013 · author #3
10. On Verifying Complex Properties using Symbolic Shape Analysis cs.PL · 2006 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Damien Zufferey 2 shared papers
• Helen Nissenbaum 2 shared papers
• Lakshminarayanan Subramanian 2 shared papers
• Prateek Mittal 2 shared papers
• Rupak Majumdar 2 shared papers
• Shahram Esmaeilsabzali 2 shared papers
• Siddharth Krishna 2 shared papers
• Tim King 2 shared papers
• Yan Shvartzshnaider 2 shared papers
• Zvonimir Pavlinovic 2 shared papers
• Andreas Holzer 1 shared papers
• Andreas Podelski 1 shared papers
• Andrew Reynolds 1 shared papers
• Christian Puhrsch 1 shared papers
• Clark Barrett 1 shared papers
• Daniel Schwartz-Narbonne 1 shared papers
• Dennis Shasha 1 shared papers
• Georg Weissenbacher 1 shared papers
• Karen Zee 1 shared papers
• Kshitij Bansal 1 shared papers