Oswaldo Olivo

13 papers A* 3A 4B 1Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2017 A conf
Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution.
ICST
Hayes Converse, Oswaldo Olivo, Sarfraz Khurshid
2017 — conf
Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions.
TACAS (2)
Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig
2017 J jnl
Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version).
CoRR
Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig
2017 A* conf
Static detection of asymptotic resource side-channel vulnerabilities in web applications.
ASE
Jia Chen, Oswaldo Olivo, Isil Dillig, Calvin Lin
2015 A* conf
Detecting and Exploiting Second Order Denial-of-Service Vulnerabilities in Web Applications.
CCS
Oswaldo Olivo, Isil Dillig, Calvin Lin
2015 A* conf
Static detection of asymptotic performance bugs in collection traversals.
PLDI
Oswaldo Olivo, Isil Dillig, Calvin Lin
2015 A conf
Studying the influence of standard compiler optimizations on symbolic execution.
ISSRE
Shiyu Dong, Oswaldo Olivo, Lingming Zhang, Sarfraz Khurshid
2014 B conf
Cost-Aware Automatic Program Repair.
SAS
Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson
2013 J jnl
Cost-Aware Automatic Program Repair.
CoRR
Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson
2012 — conf
Improved Binary Decision Diagram Constraint Propagation for Satisfiability Problems.
SCCC
Oswaldo Olivo, E. Allen Emerson
2011 A conf
A More Efficient BDD-Based QBF Solver.
CP
Oswaldo Olivo, E. Allen Emerson
2011 — conf
A Unified Formal Framework for Analyzing Functional and Speed-path Properties.
MTV
Oswaldo Olivo, Sandip Ray, Jayanta Bhadra, Vivekananda M. Vedula
2009 A conf
Competitive simulated annealing and Tabu Search algorithms for the max-cut problem.
GECCO
Emely Arráiz, Oswaldo Olivo