Thomas Wies

I am a postdoctoral researcher in the Models and Theory of Computation (MTC) group of Tom Henzinger, at École Polytechnique Fédérale de Lausanne (EPFL).

Contact Information

Research Interests

Program analysis and verification, automated abstraction, abstraction refinement, shape analysis, automated reasoning.

Publications

• Counterexample-Guided Focus with Andreas Podelski
  To appear in Proceedings of POPL, 2010.
• It's doomed; we can prove it with Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, and Martin Schäf
  To appear in Proceedings of FM, 2009. [pdf]
• Combining Theories with Shared Set Operations with Ruzica Piskac and Viktor Kuncak
  In Proceedings of FroCoS, 2009. [pdf] [pdf-extended]
• Abstraction Refinement for Quantified Array Assertions with Nassim Seghir and Andreas Podelski
  In Proceedings of SAS, 2009. [pdf]
• Intra-module Inference with Shuvendu Lahiri, Shaz Qadeer, Juan Galeotti, and Jan Voung
  In Proceedings of CAV, 2009. [pdf]

Tools

• Bohne
• Jahob
• SLAyer
• HAVOC

Teaching

• Tutorials for the lecture Verification, winter term 2004/05 at Saarland University
• Tutorials for the lecture Formal Methods for Java, summer term 2007 at University of Freiburg
• Seminar on Advanced Topics in Model-Checking, summer term 2008 at University of Freiburg