Oswaldo Olivo

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 4

Top Topics

Regular Expressions

Web Applications

Preserving Transformations

Test Generation

Top Venues

Publications

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