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
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
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 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