Malte Schwerhoff -

Registered user since Fri 13 Mar 2015

Name: Malte Schwerhoff

Country: Switzerland

Affiliation: ETH Zurich, Switzerland

Personal website: http://www.pm.inf.ethz.ch/people/schwerhoffm/

Research interests: Programming languages, software verification, static analysis

Contributions

FTfJP 2017	Committee Member in Program Committee within the FTfJP 2017-track
FTfJP 2015	Author of Viper (Verification Infrastructure for Permission-based Reasoning) within the FTfJP-track
SPLASH 2015	Committee Member in Program Committee within the OOPSLA Artifacts-track
ECOOP 2015	Author of Lightweight Support for Magic Wands in an Automatic Verifier within the Research Track-track Author of Lightweight Support for Magic Wands in an Automatic Verifier within the Artifacts-track