printlogo
http://www.ethz.ch/index_EN
Welcome
 
print
  

Malte Schwerhoff

About Me

Since 2011 I am 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 - which in the meantime has been superseded by Silicon, which essentially is Syxc for Sil, a dynamic-frames-based intermediate verification language we develop in our group. I am also working on fractional permissions and on (observational) immutability.

Publications

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. To appear. [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

Teaching

Student Supervision

Currently

Previously

 

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

© 2014 ETH Zurich | Imprint | Disclaimer | 21 July 2014
top