• Sign in
  • Sign up
conf.researchr.org / Osbert Bastani
  • ECOOP 2019 profile
  • PLDI 2018 profile
  • PLDI 2019 profile
  • PLDI 2021 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2020 profile
  • SPLASH 2015 profile
  • SPLASH 2019 profile

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

Share
xTue 26 Jan 14:33
using conf.researchr.org (v1.40.2)
Support page
Sign Up