Malte Schwerhoff

About Me

Since 2011 I've been a doctoral student at ETH, where I also received my Master's. I did my Bachelor's at the FH Gelsenkirchen, during which I spent a great semester abroad at the TPU in Tomsk, Russia. Before going to university I completed an apprenticeship as a media designer. A slightly outdated CV is available.

From September to December 2013 I've been a visiting scholar at the KU Leuven in the group of Bart Jacobs, where I worked on using VeriFast to verify inter-thread contention problems.

Areas of Research

In the course of my Master's thesis I implemented a symbolic-execution-based verifier for Chalice - called Syxc. In the meantime, it has been superseded by Silicon, which is part of our Viper verification infrastructure. Viper includes a dynamic frames-based intermediate verification language called Silver, and several tools centred around it, including Silicon. I am also working on fractional permissions and on (observational) immutability.


J. Boyland and P. Müller and M. Schwerhoff and A. J. Summers: Constraint Semantics for Abstract Read Permissions
Formal Techniques for Java-like Programs (FTfJP), 2014. [PDF] [BIB]

U. Juhasz and I. T. Kassios and P. Müller and M. Novacek and M. Schwerhoff and A. J. Summers: Viper: A Verification Infrastructure for Permission-Based Reasoning
Technical Report, ETH Zurich, 2014. [PDF] [BIB]

M. Schwerhoff and A. J. Summers: Lightweight Support for Magic Wands in an Automatic Verifier
Technical Report, ETH Zurich, 2013 [PDF][BIB]

I. T. Kassios and P. Müller and M. Schwerhoff: Comparing Verification Condition Generation with Symbolic Execution: an Experience Report
Verified Software Theories Tools Experiments (VSTTE), 2012. [PDF] [Slides] [BIB] [Springer-Online]

Some Presentations


Student Supervision




Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne graphische Elemente dargestellt. Die Funktionalität der Website ist aber trotzdem gewährleistet. Wenn Sie diese Website regelmässig benutzen, empfehlen wir Ihnen, auf Ihrem Computer einen aktuellen Browser zu installieren. Weitere Informationen finden Sie auf
folgender Seite.

Important Note:
The content in this site is accessible to any browser or Internet device, however, some graphics will display correctly only in the newer versions of Netscape. To get the most out of our site we suggest you upgrade to a newer browser.
More information

© 2015 ETH Zurich | Imprint | Disclaimer | 13 January 2015