SPLASH 2020
Sun 15 - Fri 20 November 2020 Online Conference
Johannes Bader

Registered user since Tue 28 Nov 2017

Name: Johannes Bader

Country: United States

Affiliation: Facebook

Personal website: http://www.johannes-bader.com

Research interests: Programming Languages, Software Engineering, Verification

Contributions

SPLASH 2020Author of Gradual Verification of Recursive Heap Data Structures within the OOPSLA-track
Show activities from other conferences

Using general profile