BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bastani:Osbert

Contributed to:

OOPSLA 20152015
POPL 20152015
FSE 20162016
ESEC/FSE 20192019
ECOOP 20192019
OOPSLA 20192019
PLDI 20172017
PLDI 20182018

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.