Skip to content
cs-conference-ranking.org

Oswaldo Olivo

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

8

Active years

2009–2017

Best venue rank

A*

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2017ICSTNon-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution.Hayes Converse, Oswaldo Olivo, Sarfraz Khurshid
2017TACASStatic Detection of DoS Vulnerabilities in Programs that Use Regular Expressions.Valentin Wstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig
2015CCSDetecting and Exploiting Second Order Denial-of-Service Vulnerabilities in Web Applications.Oswaldo Olivo, Isil Dillig, Calvin Lin
2015ISSREStudying the influence of standard compiler optimizations on symbolic execution.Shiyu Dong, Oswaldo Olivo, Lingming Zhang, Sarfraz Khurshid
2015PLDIStatic detection of asymptotic performance bugs in collection traversals.Oswaldo Olivo, Isil Dillig, Calvin Lin
2014SASCost-Aware Automatic Program Repair.Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson
2011CPA More Efficient BDD-Based QBF Solver.Oswaldo Olivo, E. Allen Emerson
2009GECCOCompetitive simulated annealing and Tabu Search algorithms for the max-cut problem.Emely Arriz, Oswaldo Olivo