• Sign in
  • Sign up
conf.researchr.org / Malte Schwerhoff
  • ECOOP 2015 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • SPLASH 2015 profile
  • SPLASH 2021 profile
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

Share
xSun 29 Jan 02:31
using conf.researchr.org (v1.58.0)
Support page
Sign Up