Travelled to:1 × India
1 × USA
Collaborated with:A.Aiken S.Anand R.S.0001 P.Liang L.Clapp Y.Feng I.Dillig Xin Zhang 0035 A.Solar-Lezama R.Martins J.Chen J.Wei Z.Wu E.Johnson W.Y.0013 D.Song J.Peng T.X.0001
Talks about:learn (4) specif (3) use (3) reinforc (2) program (2) grammar (2) verif (2) point (2) input (2) infer (2)
Person: Osbert Bastani
DBLP: Bastani:Osbert
Contributed to:
2015
2015
2016
2019
20192019
20172018Wrote 10 papers:
- OOPSLA-2015-BastaniAA #android #data flow #verification
- Interactively verifying absence of explicit information flows in Android apps (OB, SA, AA), pp. 299–315.
- POPL-2015-BastaniAA #context-free grammar #reachability #specification #using
- Specification Inference Using Context-Free Language Reachability (OB, SA, AA), pp. 553–566.
- FSE-2016-ClappBAA #user interface
- Minimizing GUI event traces (LC, OB, SA, AA), pp. 422–434.
- ESEC-FSE-2019-WuJYBSPX #grammar inference #learning #named
- REINAM: reinforcement learning for input-grammar inference (ZW, EJ, WY0, OB, DS, JP, TX0), pp. 488–498.
- ECOOP-2019-Bastani0CAA #analysis #points-to #specification
- Eventually Sound Points-To Analysis with Specifications (OB, RS0, LC, SA, AA), p. 28.
- OOPSLA-2019-Bastani0S #probability #verification
- Probabilistic verification of fairness properties via concentration (OB, XZ0, ASL), p. 27.
- OOPSLA-2019-ChenWFBD #learning #relational #using #verification
- Relational verification using reinforcement learning (JC, JW, YF, OB, ID), p. 30.
- PLDI-2017-Bastani0AL
- Synthesizing program input grammars (OB, RS0, AA, PL), pp. 95–110.
- PLDI-2018-Bastani0AL #learning #points-to #specification
- Active learning of points-to specifications (OB, RS0, AA, PL), pp. 678–692.
- PLDI-2018-FengMBD #learning #synthesis #using
- Program synthesis using conflict-driven learning (YF, RM, OB, ID), pp. 420–435.