Ondrej Lhoták

Alan Leung, Ondrej Lhoták, Ghulam Lashari: Parallel execution of Java loops on Graphics Processing Units. Sci. Comput. Program. 78(5): 458-480 (2013)

Ondrej Lhoták, José Nelson Amaral, Kit Barton, Martin Hirzel, J. Gregory Steffan: 11th Compiler-Driven Performance Workshop. CASCON 2012: 239-240

Mark Marron, Ondrej Lhoták, Anindya Banerjee: Programming Paradigm Driven Heap Analysis. CC 2012: 41-60

Karim Ali, Ondrej Lhoták: Application-Only Call Graph Construction. ECOOP 2012: 688-712

Pavel Parizek, Ondrej Lhoták: Predicate abstraction of Java programs with collections. OOPSLA 2012: 75-94

Nomair A. Naeem, Ondrej Lhoták: Faster Alias Set Analysis Using Summaries. CC 2011: 82-103

Jonathan Rodriguez, Ondrej Lhoták: Actor-Based Parallel Dataflow Analysis. CC 2011: 179-197

Pavel Parizek, Ondrej Lhoták: Identifying future field accesses in exhaustive state space traversal. ASE 2011: 93-102

Ondrej Lhoták, Kwok-Chiang Andrew Chung: Points-to analysis with efficient strong updates. POPL 2011: 3-16

Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhoták: Pick your contexts well: understanding object-sensitivity. POPL 2011: 17-30

Pavel Parizek, Ondrej Lhoták: Randomized Backtracking in State Space Traversal. SPIN 2011: 75-89

Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem: Collaborative Runtime Verification with Tracematches. J. Log. Comput. 20(3): 707-723 (2010)

Ondrej Lhoták, Stephen Curial, José Nelson Amaral: An Optimal Encoding to Represent a Single Set in an ROBDD. IEEE Trans. Computers 59(4): 574-575 (2010)

Clark Verbrugge, J. Gregory Steffan, Mark G. Stoodley, Kit Barton, Ondrej Lhoták: 9th Workshop on Compiler-Driven Performance. CASCON 2010: 412-413

Nomair A. Naeem, Ondrej Lhoták, Jonathan Rodriguez: Practical Extensions to the IFDS Algorithm. CC 2010: 124-144

Ondrej Lhoták, Stephen Curial, José Nelson Amaral: Using XBDDs and ZBDDs in points-to analysis. Softw., Pract. Exper. 39(2): 163-188 (2009)

Greg Steffan, Mark G. Stoodley, David Grove, Ondrej Lhoták, Kit Barton: 8th Workshop on Compiler-Driven Performance. CASCON 2009: 315-316

Nomair A. Naeem, Ondrej Lhoták: Efficient alias set analysis using SSA form. ISMM 2009: 79-88

Alan Leung, Ondrej Lhoták, Ghulam Lashari: Automatic parallelization for graphics processing units. PPPJ 2009: 91-100

Ondrej Lhoták, Laurie J. Hendren: Relations as an abstraction for BDD-based program analysis. ACM Trans. Program. Lang. Syst. 30(4) (2008)

Ondrej Lhoták, Laurie J. Hendren: Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation. ACM Trans. Softw. Eng. Methodol. 18(1) (2008)

Ghulam Lashari, Ondrej Lhoták, Michael McCool: Control Flow Emulation on Tiled SIMD Architectures. CC 2008: 100-115

Mario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo: Efficient Set Sharing Using ZBDDs. LCPC 2008: 47-63

Nomair A. Naeem, Ondrej Lhoták: Typestate-like analysis of multiple interacting objects. OOPSLA 2008: 347-366

Nomair A. Naeem, Ondrej Lhoták: Validating temporal properties of interacting objects. OOPSLA Companion 2008: 903-904

Eric Bodden, Laurie J. Hendren, Ondrej Lhoták: A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring. ECOOP 2007: 525-549

Ondrej Lhoták, Stephen Curial, José Nelson Amaral: Using ZBDDs in Points-to Analysis. LCPC 2007: 338-352

Adam Richard, Ondrej Lhoták: OOMatch: pattern matching as dispatch in Java. OOPSLA Companion 2007: 771-772

Ondrej Lhoták: Comparing call graphs. PASTE 2007: 37-42

Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem: Collaborative Runtime Verification with Tracematches. RV 2007: 22-37

Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble: abc : An Extensible AspectJ Compiler. : 293-334 (2006)

Ondrej Lhoták, Laurie J. Hendren: Context-Sensitive Points-to Analysis: Is It Worth It?. CC 2006: 47-64

Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere: Aspects for Trace Monitoring. FATES/RV 2006: 20-39

Pavel Avgustinov, Julian Tibble, Eric Bodden, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Ganesh Sittampalam: Efficient trace monitoring. OOPSLA Companion 2006: 685-686

Ondrej Lhoták, Laurie J. Hendren: Run-time evaluation of opportunities for object inlining in Java. Concurrency - Practice and Experience 17(5-6): 515-537 (2005)

Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble: abc: an extensible AspectJ compiler. AOSD 2005: 87-98

Anatole Le, Ondrej Lhoták, Laurie J. Hendren: Using Inter-Procedural Side-Effect Information in JIT Optimizations. CC 2005: 287-304

Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble: abc: The AspectBench Compiler for AspectJ. GPCE 2005: 10-16

Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Bruno Dufour, Christopher Goard, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Clark Verbrugge: abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research. OOPSLA Companion 2005: 88-89

Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble: Adding trace matching with free variables to AspectJ. OOPSLA 2005: 345-364

Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble: Optimising aspectJ. PLDI 2005: 117-128

Jennifer Lhoták, Ondrej Lhoták: Visualizing Program Analysis with the Soot-Eclipse Plugin. Electr. Notes Theor. Comput. Sci. 107: 27-31 (2004)

Jennifer Lhoták, Ondrej Lhoták, Laurie J. Hendren: Integrating the Soot Compiler Infrastructure into an IDE. CC 2004: 281-297

Ondrej Lhoták, Laurie J. Hendren: Jedd: a BDD-based relational extension of Java. PLDI 2004: 158-169

Ondrej Lhoták, Laurie J. Hendren: Scaling Java Points-to Analysis Using SPARK. CC 2003: 153-169

Marc Berndl, Ondrej Lhoták, Feng Qian, Laurie J. Hendren, Navindra Umanee: Points-to analysis using BDDs. PLDI 2003: 103-114

Ondrej Lhoták, Laurie J. Hendren: Run-time evaluation of opportunities for object inlining in Java. Java Grande 2002: 175-184

Gordon V. Cormack, Ondrej Lhoták, Christopher R. Palmer: Estimating Precision by Random Sampling (poster abstract). SIGIR 1999: 273-274