• 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

SPLASH 2021 Author of Gradual Verification of Recursive Heap Data Structures within the SIGPLAN Papers-track
ECOOP 2021 Author of Gradual Program Analysis for Null Pointers within the ECOOP Technical Papers-track
ICSE 2021 Author of What It Would Take to Use Mutation Testing in Industry—A Study at Facebook within the SEIP - Software Engineering in Practice-track
SPLASH 2020 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 2020 Author of Gradual Verification of Recursive Heap Data Structures within the WGT-track
Author of Gradual Program Analysis within the WGT-track
SPLASH 2019 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 2019 Author of Getafix: Learning to fix bugs automatically within the Curry On-track
ICSE 2019 Author of SapFix: Automated End-to-End Repair at Scale within the Software Engineering in Practice-track
VMCAI 2018 Author of Gradual Program Verification within the VMCAI 2018-track

Share
xSat 4 Feb 04:22
using conf.researchr.org (v1.58.0)
Support page
Sign Up