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

2024

POPL

Author of Optimal Program Synthesis via Abstract Interpretation within the POPL-track

2023

SPLASH

PC Member in OOPSLA Review Committee within the OOPSLA-track

ASE

Author of Fast and Reliable Program Synthesis via User Interaction within the Research Papers-track

2022

SPLASH

Committee Member in Review Committee within the OOPSLA-track

PLDI

MAPS

Committee Member in Program Committee within the MAPS 2022-track

2021

SPLASH

PLDI

2020

POPL

Committee Member in Program Committee within the Research Papers-track

2019

SPLASH

ECOOP

Author of Eventually Sound Points-To Analysis with Specifications within the Research Papers-track

MAPS

Committee Member in Program Committee within the MAPL 2019-track

PLDI

Committee Member in External Review Committee within the PLDI Research Papers-track

2018

PLMW

Presenter of Poster Session within the PLMW @ PLDI 2018-track

PLDI

2017

PLDI

Author of Synthesizing Program Input Grammars within the PLDI Research Papers-track

2015

SPLASH

Author of Interactively Verifying Absence of Explicit Information Flows in Android Apps within the OOPSLA-track

Mobile!

Author of An Interactive Approach to Mobile App Verification within the MobileDeLi-track