• 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

2021

SPLASH

  • Committee Member in Judges within the Student Research Competition-track

2017

FTfJP

  • Committee Member in Program Committee within the FTfJP 2017-track

2015

SPLASH

  • Committee Member in Program Committee within the OOPSLA Artifacts-track

ECOOP

  • 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

  • Author of Viper (Verification Infrastructure for Permission-based Reasoning) within the FTfJP-track
Share
xSat 19 Jul 22:15
using conf.researchr.org (v1.69.1)
Support page
Sign Up