Competitive simulated annealing and Tabu Search algorithms for the max-cut problem. - Emely Arráiz; Oswaldo Olivo (GECCO, 2009)

A More Efficient BDD-Based QBF Solver. - Oswaldo Olivo; E. Allen Emerson (CP, 2011)

A Unified Formal Framework for Analyzing Functional and Speed-path Properties. - Oswaldo Olivo; Sandip Ray; Jayanta Bhadra; Vivekananda M. Vedula (MTV, 2011)

Improved Binary Decision Diagram Constraint Propagation for Satisfiability Problems. - Oswaldo Olivo; E. Allen Emerson (SCCC, 2012)

Cost-Aware Automatic Program Repair. - Roopsha Samanta; Oswaldo Olivo; E. Allen Emerson (SAS, 2014)

Detecting and Exploiting Second Order Denial-of-Service Vulnerabilities in Web Applications. - Oswaldo Olivo; Isil Dillig; Calvin Lin (CCS, 2015)

Studying the influence of standard compiler optimizations on symbolic execution. - Shiyu Dong; Oswaldo Olivo; Lingming Zhang 001; Sarfraz Khurshid (ISSRE, 2015)

Static detection of asymptotic performance bugs in collection traversals. - Oswaldo Olivo; Isil Dillig; Calvin Lin (PLDI, 2015)

Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution. - Hayes Converse; Oswaldo Olivo; Sarfraz Khurshid (ICST, 2017)

Static detection of asymptotic resource side-channel vulnerabilities in web applications. - Jia Chen; Oswaldo Olivo; Isil Dillig; Calvin Lin (ASE, 2017)

Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions. - Valentin Wüstholz; Oswaldo Olivo; Marijn J. H. Heule; Isil Dillig (TACAS (2), 2017)

Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version). - Valentin Wüstholz; Oswaldo Olivo; Marijn J. H. Heule; Isil Dillig (CoRR, 2017)