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

PLDI 2021	Committee Member in Program Committee within the PLDI Research Papers-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