Osbert Bastani -

Registered user since Thu 23 Jun 2016

Name:Osbert Bastani

Country:United States

Affiliation:University of Pennsylvania

Personal website:https://obastani.github.io

Contributions

SPLASH 2023	PC Member in OOPSLA Review Committee within the OOPSLA-track
SPLASH 2022	Committee Member in Review Committee within the OOPSLA-track
PLDI 2022	Author of Response by authors of "Synthesizing Input Grammars" within the PLDI-track Committee Member in PLDI within the PLDI-track
MAPS 2022	Committee Member in Program Committee within the MAPS 2022-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 Author of SkyQuery: An Aerial Drone Video Sensing Platform within the Posters-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
POPL 2020	Committee Member in Program Committee within the Research Papers-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
MAPL 2019	Committee Member in Program Committee within the MAPL 2019-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
SPLASH 2015	Author of Interactively Verifying Absence of Explicit Information Flows in Android Apps within the OOPSLA-track
MobileDeLi 2015	Author of An Interactive Approach to Mobile App Verification within the MobileDeLi-track