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: Olivo:Oswaldo
Contributed to:
2015
2014
2017Wrote 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.