Oswaldo Olivo (last_name at cs.utexas.edu, where last_name = olivo)

I'm a Ph.D. student in Computer Science.

I'm looking for industrial or research full-time positions involving Software Engineering starting on Summer 2016.

My prefered programming languages are: Java, Python, C, C++, Javascript and PHP.

Here's my CV

My interests include Software Engineering, Compilers and Security.

In particular, my work involves the creation of tools for:

  • Performance bug detection in open-source Java APIs.
  • Performance bottleneck detection in user interfaces (GUIs, IDEs).
  • Security vulnerability detection in Javascript and PHP web applications.

  • Industrial Experience:

  • Microsoft. Redmond, WA. Software Development Engineer Intern. June 2015-August 2015.
  • Bell Labs. Murray Hill, NJ. Enabling Computing Technology Research Intern. June 2013-August 2013.

  • Open-source project contributions:

  • Apache Collections: Proposed a collection algorithm that requires linear-time instead of quadratic-time, resulting in speed-ups larger than 200x. Reported performance bugs and proposed patches. Report IDs: COLLECTIONS-549, COLLECTIONS-534, COLLECTIONS-544, COLLECTIONS-545.
  • Apache Ant: Reported performance bugs and proposed patches. Report IDs: 57588.
  • Google Core Libraries: Reported performance bugs and proposed patches. Report IDs: 1868.
  • jEdit: Reported performance bugs and proposed patches for the IDE. Report IDs: 3904,3908.

  • Education:

  • MSc in Computer Science. The University of Texas at Austin. September 2009-May 2013.

  • Publications:
    1. O. Olivo, I. Dillig, C. Lin. Static Detection of Asymptotic Performance Bugs in Collection Traversals. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '15). Accepted for publication. (2015).
    2. S. Dong, O. Olivo, L. Zhang, S. Khurshid. An Empirical Study of the Influence of Compiler Optimizations on Symbolic Execution. International Conference on Compiler Construction (CC '15). Under review. (2015).
    3. R. Samanta, O. Olivo, E. A. Emerson. Cost-Aware Automatic Program Repair. Proceedings of 21st Static Analysis Symposium (SAS '14). Accepted for publication. (2014).
    4. L. Hadarean, T. King, K. S. Namjoshi, O. Olivo, V.N. Venkatakrishnan, and L. Zuck. The Construction of a Self-Certifying Compiler. Tech Report. (2014)
    5. O. Olivo, E. A. Emerson. On Hard Graph-Coloring Problems for Solvers. In Proceedings of the Brazilian Symposium in Formal Methods (SBMF) (2013). Accepted for publication.
    6. R. Samanta, O. Olivo, E. A. Emerson. Cost-Aware Automatic Program Repair. CoRR abs/1307.7281 (2013).
    7. O. Olivo, and E. A. Emerson. (2012). Improved Binary Decision Diagram Constraint Propagation for Satisfiability Problems. In Proceedings of the XXXII International Conference of the Chilean Computer Science Society (SCCC '12), November 12-14, 2012, Valparaiso, Chile. IEEE Computer Society 2012.
    8. O. Olivo, and E. A. Emerson. (2011). A More Efficient BDD-Based QBF Solver. In Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP 2011). Perugia, Italy, pp. 675-690. Springer.
    9. O. Olivo, S. Ray, J. Bhadra, and V. Vedula. (2011). A Unified Formal Framework for Analyzing Functional and Speed-path Properties. In M. S. Abadir, L. Wang, and J. Bhadra, editors, Proceedings of the 12th International Workshop on Microprocessor Test and Verification, Common Challenges and Solutions (MTV 2011), Austin, TX, USA, December 2011, pp. 44-45. IEEE.
    10. S. Ray, O. Olivo, and W. Hunt. (2010). A Unified Formal Framework for Analyzing Functional and Speed-path Properties. SRC Tech Report. Publication ID. P058687. 2010.
    11. Arraiz, E., and Olivo, O. (2009). Competitive Simulated Annealing and Tabu Search Algorithms for the Max-Cut Problem. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) 2009, ACM. Montreal, Canada.
    12. Olivo, O., and Suarez, A. (2008) Proof Writing with Automatic Theorem Proving as an approach to Verify Program Correctness. First Chilean Workshop on Formal Methods, Punta Arenas, Chile, 2008. Proceedings of the XXVIII International Conference of the Chilean Computer Society, SCCC '09. IEEE Computer Society Press.