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

I'm a Ph.D. candidate in Computer Science in UT Austin.

My interests include Software Engineering, Security and Program Analysis.

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

  • Security vulnerability detection in Javascript and PHP web applications.
  • Performance bug detection in open-source Java APIs.
  • Performance bottleneck detection in user interfaces (GUIs, IDEs).
  • My prefered programming languages are: Java, Python, C#, C++, Javascript and PHP.

    Here's my CV


    Industrial Experience:

  • Microsoft Inc. (Redmond, WA.) Software Development Engineer Intern, June 2015-August 2015. Developed an access control diagnostics tools for addressing customer account access incidents in Visual Studio Online, using HTML/JS/CSS and C#.

  • Bell Labs (Murray Hill, NJ.) Enabling Computing Technology Research Intern, June 2013-August 2013. Generated correctness proofs for standard compiler optimizations in LLVM. PI: Kedar Namjoshi.

  • 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. May 2013.

  • Publications:
    1. S. Dong, O. Olivo, L. Zhang, S. Khurshid. An Empirical Study of the Influence of Compiler Optimizations on Symbolic Execution. 26th IEEE International Symposium on Software Reliability Engineering (ISSRE '15).
    2. O. Olivo, I. Dillig, C. Lin. Detecting and Exploiting Second Order Denial-of-Service Vulnerabilities in Web Applications. 22nd ACM Conference on Computer and Communications Security (CCS '15).
    3. O. Olivo, I. Dillig, C. Lin. Static Detection of Asymptotic Performance Bugs in Collection Traversals. 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '15).
    4. R. Samanta, O. Olivo, E. A. Emerson. Cost-Aware Automatic Program Repair. 21st Static Analysis Symposium (SAS '14).
    5. 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)
    6. O. Olivo, E. A. Emerson. On Hard Graph-Coloring Problems for Solvers. Brazilian Symposium in Formal Methods (SBMF '13).
    7. R. Samanta, O. Olivo, E. A. Emerson. Cost-Aware Automatic Program Repair. CoRR abs/1307.7281 (2013).
    8. O. Olivo, and E. A. Emerson. Improved Binary Decision Diagram Constraint Propagation for Satisfiability Problems. 32nd International Conference of the Chilean Computer Science Society (SCCC '12), November 12-14, 2012, Valparaiso, Chile. IEEE Computer Society 2012.
    9. O. Olivo, and E. A. Emerson. A More Efficient BDD-Based QBF Solver. 17th International Conference on Principles and Practice of Constraint Programming (CP '11). Perugia, Italy, pp. 675-690. Springer.
    10. O. Olivo, S. Ray, J. Bhadra, and V. Vedula. A Unified Formal Framework for Analyzing Functional and Speed-path Properties. In M. S. Abadir, L. Wang, and J. Bhadra, editors, 12th International Workshop on Microprocessor Test and Verification, Common Challenges and Solutions (MTV '11), Austin, TX, USA, December 2011, pp. 44-45. IEEE.
    11. 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.
    12. Arraiz, E., and Olivo, O. (2009). Competitive Simulated Annealing and Tabu Search Algorithms for the Max-Cut Problem. Genetic and Evolutionary Computation Conference (GECCO '09), ACM. Montreal, Canada.
    13. 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. 28th International Conference of the Chilean Computer Society, SCCC '09. IEEE Computer Society Press.