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 × Germany
1 × USA
Collaborated with:
I.Dillig C.Lin R.Samanta E.A.Emerson J.Chen
Talks about:
asymptot (2) static (2) detect (2) travers (1) resourc (1) program (1) perform (1) collect (1) channel (1) automat (1)

Person: Oswaldo Olivo

DBLP DBLP: Olivo:Oswaldo

Contributed to:

PLDI 20152015
SAS 20142014
ASE 20172017

Wrote 3 papers:

PLDI-2015-OlivoDL #debugging #detection #performance #static analysis #traversal
Static detection of asymptotic performance bugs in collection traversals (OO, ID, CL), pp. 369–378.
SAS-2014-SamantaOE #automation #cost analysis #program repair
Cost-Aware Automatic Program Repair (RS, OO, EAE), pp. 268–284.
ASE-2017-ChenODL #detection #static analysis #web
Static detection of asymptotic resource side-channel vulnerabilities in web applications (JC, OO, ID, CL), pp. 229–239.

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.