[Papers] [Theses] [Posters] [Tech Reports] [Theses Supervised] [Non-publications]

Papers

• Naeem, N., Lhoták O., Rodriguez J., Practical Extensions to the IFDS Algorithm, CC 2010, Paphos, March 2010.
  
• Leung, A., Lhoták O., Lashari, G., Automatic Parallelization for Graphics Processing Units, PPPJ 2009, Calgary, August 2009. (BibTeX) © ACM
  
• Naeem, N., Lhoták O., Efficient Alias Set Analysis Using SSA Form, ISMM 2009, Dublin, June 2009. (BibTeX) © ACM
  
• Lhoták O., Curial S., Amaral J. N., Using XBDDs and ZBDDs in points-to analysis, SP&E 39(2):163-188, 2009. (BibTeX) © Wiley
  
• Naeem, N., Lhoták O., Typestate-like analysis of multiple interacting objects, OOPSLA 2008, Nashville, October 2008. (BibTeX) © ACM
  
• Lhoták O., Hendren L., Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation, TOSEM 18, 1, Article 3, 2008. (BibTeX) © ACM
  
• Lhoták O., Hendren L., Relations as an abstraction for BDD-based program analysis, TOPLAS 30, 4, Article 19, 2008. (BibTeX) © ACM
  
• Méndez-Lojo M., Lhoták O., Hermenegildo M. V., Efficient Set Sharing using ZBDDs, LCPC 2008, Edmonton, August 2008. (BibTeX) © Springer
  
• Lashari G., Lhoták O., McCool M., Control Flow Emulation on Tiled SIMD Architectures, CC 2008, Budapest, April 2008. (BibTeX) © Springer
  
• Richard, A., Lhoták O., OOMatch: Pattern Matching as Dispatch in Java, FOOL 2008, San Francisco, January 2008.
  
• Lhoták O., Curial S., Amaral J. N., Using ZBDDs in Points-to Analysis, LCPC 2007, Urbana, October 2007. (BibTeX) © Springer
  
• Bodden, E., Hendren L., Lhoták O., A staged static program analysis to improve the performance of runtime monitoring, ECOOP 2007, Berlin, July 2007. (BibTeX) © Springer
  
• Lhoták O., Comparing Call Graphs, PASTE 2007, San Diego, June 2007. (BibTeX) © ACM
  
• Bodden E., Hendren L., Lam P., Lhoták O., Naeem N. A., Collaborative runtime verification with tracematches, RV 2007, Vancouver, March 2007. (BibTeX) © Springer
  
• Avgustinov P., Bodden E., Hajiyev E., Hendren L., Lhoták O., de Moor O., Ongkingco N., Sereni D., Sittampalam G., Tibble J., Verbaere M., Aspects for Trace Monitoring, FATES/RV 2006, Seattle, August 2006. (BibTeX) © Springer
• Lhoták O., Hendren L., Context-sensitive points-to analysis: is it worth it?, CC 2006, Vienna, March 2006. (BibTeX) © Springer
  
• Avgustinov P., Christensen A. S., Hendren L., Kuzins S., Lhoták J., Lhoták O., de Moor O., Sereni D., Sittampalam G., Tibble J.,
  abc: An extensible AspectJ compiler, TAOSD, 1(1):293-334, 2006. (BibTeX) © Springer
  
• Allan C., Avgustinov P., Christensen A. S., Hendren L., Kuzins S., Lhoták O., de Moor O., Sereni D., Sittampalam G., Tibble J., Adding Trace Matching with Free Variables to AspectJ, OOPSLA 2005, San Diego, October 2005. (BibTeX) © ACM
  
• Avgustinov P., Christensen A. S., Hendren L., Kuzins S., Lhoták J., Lhoták O., de Moor O., Sereni D., Sittampalam G., Tibble J., Optimising AspectJ, PLDI 2005, Chicago, June 2005. (BibTeX) © ACM
  
• Lhoták O., Hendren L., Run-time evaluation of opportunities for object inlining in Java, C&C:P&E 17(5-6):515-537, 2005. (BibTeX) © Wiley
  
• Le A., Lhoták O., Hendren L., Using inter-procedural side-effect information in JIT optimizations, CC 2005, Edinburgh, April 2005. (BibTeX) © Springer
  
• Avgustinov P., Christensen A. S., Hendren L., Kuzins S., Lhoták J., Lhoták O., de Moor O., Sereni D., Sittampalam G., Tibble J.,
  abc: An extensible AspectJ compiler, AOSD 2005, Chicago, March 2005. (BibTeX) © ACM
  
• Lhoták O., Hendren L., Jedd: A BDD-based relational extension of Java, PLDI 2004, Washington, June 2004. (BibTeX) © ACM
  
• Lhoták J., Lhoták O., Hendren L., Integrating the Soot compiler infrastructure into an IDE, CC 2004, Barcelona, April 2004. (BibTeX) © Springer
  
• Lhoták J., Lhoták O., Visualizing Program Analysis with the Soot-Eclipse Plugin, eTX (at ETAPS) 2004, Barcelona, March 2004. (BibTeX) © Elsevier
  
• Berndl M., Lhoták O., Qian, F., Hendren L., Umanee N., Points-to Analysis using BDDs, PLDI 2003, San Diego, June 2003. (slides .ps) (slides .pdf) (BibTeX) © ACM
  
• Lhoták O., Hendren L., Scaling Java Points-To Analysis using Spark, CC 2003, Warsaw, April 2003. (slides .ps) (slides .pdf) (BibTeX) © Springer
  
• Lhoták O., Hendren L., Run-time Evaluation of Opportunities for Object Inlining in Java, Java Grande-ISCOPE 2002, Seattle, November 2002. (slides) (BibTeX) © ACM
  

Theses

• Lhoták O., Program Analysis using Binary Decision Diagrams, Ph.D. thesis, School of Computer Science, McGill University, January 2006. (BibTeX)
  
• Lhoták O., Spark: A flexible points-to analysis framework for Java, M.Sc. thesis, School of Computer Science, McGill University, February 2003. (BibTeX)
  

Posters

• Richard A., Lhoták O., OOMatch: Pattern Matching as Dispatch in Java, OOPSLA 2007, Montreal, October 2007. (BibTeX) © ACM Left half Right half
  
• Avgustinov P., Tibble J., Bodden E., Hendren L., Lhoták O., de Moor O., Ongkingco N., Sittampalam G., Efficient Trace Monitoring, OOPSLA 2006, Portland, October 2006. (BibTeX) © ACM
  
• Allan C., Avgustinov P., Christensen A. S., Dufour B., Goard C., Hendren L., Kuzins S., Lhoták J., Lhoták O., de Moor O., Sereni D., Sittampalam G., Tibble J., Verbrugge C., abc: The AspectBench Compiler for AspectJ, OOPSLA 2005, San Diego, October 2005. (BibTeX) © ACM Left half Right half
  
• Lhoták O., SPARK: Soot Pointer Analysis Research Kit, Poster presented at Student Research Forum, PLDI 2002, Berlin, June 2002.
  
• Cormack G.V., Lhoták O., Palmer C.R., Estimating Precision by Random Sampling, SIGIR 99, Berkeley, August 1999. © ACM
  

Technical Reports

• Lhoták O., Chung K.-C. A., Points-To Analysis with Efficient Strong Updates, Technical Report CS-2010-01, D. R. Cheriton School of Computer Science, University of Waterloo, February 2010.
  
• Naeem N. A., Lhoták O., An Efficient Storeless Heap Abstraction Using SSA Form, Technical Report CS-2008-22, D. R. Cheriton School of Computer Science, University of Waterloo, October 2008.
  
• Naeem N. A., Lhoták O., Extending Typestate Analysis to Multiple Interacting Objects, Technical Report CS-2008-04, D. R. Cheriton School of Computer Science, University of Waterloo, March 2008.
  
• Naeem N. A., Lhoták O., Extending Typestate Analysis to Multiple Interacting Objects, Technical Report CS-2007-49, D. R. Cheriton School of Computer Science, University of Waterloo, December 2007.
  The number of this report was changed from CS-2007-18 to CS-2007-49 for administrative reasons with no change to the text of the report.
  
• Richard A., Lhoták O., OOMatch: Pattern Matching as Dispatch in Java, Technical Report CS-2007-05, D. R. Cheriton School of Computer Science, University of Waterloo, March 2007.
  
• Lhoták O., Hendren L., Context-sensitive points-to analysis: is it worth it?, Technical Report 2005-2, Sable Research Group, McGill University, October 2005.
  
• Allan C., Avgustinov P., Christensen A. S., Hendren L., Kuzins S., Lhoták O., de Moor O., Sereni D., Sittampalam G., Tibble J., Adding trace matching to AspectJ, Technical Report abc-2005-1, Sable Research Group, McGill University, March 2005.
  
• Avgustinov P., Christensen A. S., Hendren L., Kuzins S., Lhoták J., Lhoták O., de Moor O., Sereni D., Sittampalam G., Tibble J., Building the abc AspectJ compiler with Polyglot and Soot, Technical Report abc-2004-4, Sable Research Group, McGill University, December 2004.
  
• Avgustinov P., Christensen A. S., Hendren L., Kuzins S., Lhoták J., Lhoták O., de Moor O., Sereni D., Sittampalam G., Tibble J., Optimising AspectJ, Technical Report abc-2004-3, Sable Research Group, McGill University, November 2004.
  
• Le A., Lhoták O., Hendren L., Using inter-procedural side-effect information in JIT optimizations, Technical Report 2004-5, Sable Research Group, McGill University, October 2004.
  
• Avgustinov P., Christensen A. S., Hendren L., Kuzins S., Lhoták J., Lhoták O., de Moor O., Sereni D., Sittampalam G., Tibble J., abc: An extensible AspectJ compiler, Technical Report abc-2004-1, Sable Research Group, McGill University, September 2004.
  
• Lhoták O., Hendren L., Jedd: A BDD-based relational extension of Java, Technical Report 2003-7, Sable Research Group, McGill University, November 2003.
  
• Lhoták J., Lhoták O., Hendren L., Integrating the Soot compiler infrastructure into an IDE, Technical Report 2003-4, Sable Research Group, McGill University, October 2003.
  
• Berndl M., Lhoták O., Qian F., Hendren L., Umanee N., Points-to Analysis using BDDs, Technical Report 2002-10, Sable Research Group, McGill University, November 2002.
  
• Lhoták O., Hendren L., Scaling Java Points-To Analysis using Spark, Technical Report 2002-9, Sable Research Group, McGill University, October 2002.
  
• Lhoták O., Hendren L., Run-time Evaluation of Opportunities for Object Inlining in Java, Technical Report 2002-2, Sable Research Group, McGill University, June 2002.
  
• Lhoták O., Run-time Evaluation of Object Inlining Opportunities in Java, Technical Report SOCS-02.3, School of Computer Science, McGill University, May 2002.
  

Theses Supervised

• Leung A., Automatic Parallelization for Graphics Processing Units in JikesRVM, M.Math. thesis, D.R. Cheriton School of Computer Science, University of Waterloo, May 2008. (BibTeX)
  
• Richard A., OOMatch: Pattern Matching as Dispatch in Java, M.Math. thesis, D.R. Cheriton School of Computer Science, University of Waterloo, October 2007. (BibTeX)
  

Non-publications

• Object-Sensitive Points-To Analysis, Presentation slides, COMP 763 Seminar in Advanced Compilation, McGill University, September 2002.
  
• Side-Effect Analysis in Java Classfile Attributes, Course project, 308-621 Optimizing Compilers, McGill University, April 2002.
  
• Points-to Analysis Demystified, Presentation slides, 308-601 Readings in Computer Science, McGill University, April 2002.
  
• Application of Machine Learning to Inlining Decisions, Course project, 308-761 Machine Learning, McGill University, December 2001.
  
• Using Annotations to Speed Up Run-time Optimization, Presentation slides, 308-762 Seminar in Advanced Compilation, McGill University, November 2001.
  
• Object Inlining, Presentation slides, 308-762 Seminar in Advanced Compilation, McGill University, November 2001.
  
• Incremental Pointer and Escape Analysis, Presentation slides, 308-762 Seminar in Advanced Compilation, McGill University, October 2001.
  
• Intel's Open Runtime Platform, Presentation slides, 308-762 Seminar in Advanced Compilation, McGill University, October 2001.
  
• A General Data Structure for Efficient Minimization of Deterministic Finite Automata, Course project, CS 662 Formal Languages and Parsing, University of Waterloo, December 2000.
  
• (with Kane, A.) jaac: Just Another Ada Compiler, Course project, CS 444 Compiler Construction, University of Waterloo, April 2000.