conf.researchr.org / Malte Schwerhoff
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

SPLASH 2021 Committee Member in Judges within the Student Research Competition-track
FTfJP 2017 Committee Member in Program Committee within the FTfJP 2017-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
FTfJP 2015 Author of Viper (Verification Infrastructure for Permission-based Reasoning) within the FTfJP-track