Registered user since Thu 23 Jun 2016

Name:Osbert Bastani
Country:United States
Affiliation:University of Pennsylvania

Contributions

PLDI 2022 Committee Member in PLDI within the PLDI-track
SPLASH 2021 Author of Web Question Answering with Neurosymbolic Program Synthesis within the SIGPLAN Papers-track
Author of SkyQuery: An Aerial Drone Video Sensing Platform within the Onward! Papers-track
PLDI 2021 Author of Web Question Answering with Neurosymbolic Program Synthesis within the PLDI-track
Committee Member in Program Committee within the PLDI-track
SPLASH 2022 Committee Member in Review Committee within the OOPSLA-track
POPL 2020 Committee Member in Program Committee within the Research Papers-track
MAPL 2019 Committee Member in Program Committee within the MAPL 2019-track
SPLASH 2019 Author of Probabilistic Verification of Fairness Properties via Concentration within the OOPSLA-track
Author of Relational Verification using Reinforcement Learning within the OOPSLA-track
ECOOP 2019 Author of Eventually Sound Points-To Analysis with Specifications within the Research Papers-track
PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
PLMW @ PLDI 2018 Presenter of Poster Session within the PLMW @ PLDI 2018-track
PLDI 2018 Author 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
PLDI 2017 Author of Synthesizing Program Input Grammars within the PLDI Research Papers-track
MobileDeLi 2015 Author of An Interactive Approach to Mobile App Verification within the MobileDeLi-track
SPLASH 2015 Author of Interactively Verifying Absence of Explicit Information Flows in Android Apps within the OOPSLA-track