• Sign in
  • Sign up
conf.researchr.org / Johannes Bader
  • ECOOP 2019 profile
  • ECOOP and ISSTA 2021 profile
  • ICSE 2019 profile
  • ICSE 2021 profile
  • POPL 2018 profile
  • POPL 2020 profile
  • SPLASH 2019 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
Johannes Bader

Registered user since Tue 28 Nov 2017

Name:Johannes Bader
Affiliation:Jane Street
Personal website: http://www.johannes-bader.com
Research interests:Programming Languages, Software Engineering, Verification

Contributions

2021

SPLASH

  • Author of Gradual Verification of Recursive Heap Data Structures within the SIGPLAN Papers-track

ECOOP

  • Author of Gradual Program Analysis for Null Pointers within the ECOOP Technical Papers-track

ICSE

  • Author of What It Would Take to Use Mutation Testing in Industry—A Study at Facebook within the SEIP - Software Engineering in Practice-track

2020

SPLASH

  • Author of Gradual Verification of Recursive Heap Data Structures within the Posters-track
  • Author of Gradual Verification of Recursive Heap Data Structures within the OOPSLA-track

WGT

  • Author of Gradual Verification of Recursive Heap Data Structures within the WGT-track
  • Author of Gradual Program Analysis within the WGT-track

2019

SPLASH

  • Author of Gradual Program Analysis within the SRC-track
  • Author of Getafix: Learning to Fix Bugs Automatically within the OOPSLA-track
  • Author of Getafix: Learning to Fix Bugs Automatically within the Posters-track
  • Author of Gradual Program Analysis within the Posters-track

ECOOP

  • Author of Getafix: Learning to fix bugs automatically within the Curry On-track

ICSE

  • Author of SapFix: Automated End-to-End Repair at Scale within the Software Engineering in Practice-track

2018

VMCAI

  • Author of Gradual Program Verification within the VMCAI 2018-track
Share
xFri 26 Sep 16:48
using conf.researchr.org (v1.71.1)
Support page
Sign Up