PLDI 2018
Mon 18 - Fri 22 June 2018 Philadelphia, Pennsylvania, United States
PLDI 2018 (series) / Osbert Bastani

Registered user since Thu 23 Jun 2016

Name: Osbert Bastani

Affiliation: Stanford University

Contributions

PLMW @ PLDI 2018Presenter of Poster Session within the PLMW @ PLDI 2018-track
PLDI 2018Author of Active Learning of Points-To Specifications within the PLDI Research Papers-track
Author of Program Synthesis using Conflict-Driven Learning within the PLDI Research Papers-track
Committee Member in External Review Committee
Show activities from other conferences

PLDI 2018-profile
View general profile