Oswaldo Olivo

According to our database, Oswaldo Olivo authored at least 12 papers between 2009 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions.

Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Static detection of asymptotic resource side-channel vulnerabilities in web applications.

Jia Chen, Oswaldo Olivo, Isil Dillig, Calvin Lin

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution.

Hayes Converse, Oswaldo Olivo, Sarfraz Khurshid

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2015

Static detection of asymptotic performance bugs in collection traversals.

Oswaldo Olivo, Isil Dillig, Calvin Lin

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Studying the influence of standard compiler optimizations on symbolic execution.

Shiyu Dong, Oswaldo Olivo, Lingming Zhang, Sarfraz Khurshid

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Detecting and Exploiting Second Order Denial-of-Service Vulnerabilities in Web Applications.

Oswaldo Olivo, Isil Dillig, Calvin Lin

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

Cost-Aware Automatic Program Repair.

Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson

Proceedings of the Static Analysis - 21st International Symposium, 2014

2012

Improved Binary Decision Diagram Constraint Propagation for Satisfiability Problems.

Oswaldo Olivo, E. Allen Emerson

Proceedings of the 31st International Conference of the Chilean Computer Science Society, 2012

2011

A Unified Formal Framework for Analyzing Functional and Speed-path Properties.

Oswaldo Olivo, Sandip Ray, Jayanta Bhadra, Vivekananda M. Vedula

Proceedings of the 12th International Workshop on Microprocessor Test and Verification, 2011

A More Efficient BDD-Based QBF Solver.

Oswaldo Olivo, E. Allen Emerson

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2009

Competitive simulated annealing and Tabu Search algorithms for the max-cut problem.

Emely Arráiz, Oswaldo Olivo

Proceedings of the Genetic and Evolutionary Computation Conference, 2009