Ondrej Lhoták

	2009
31		Nomair A. Naeem, Ondrej Lhoták: Efficient alias set analysis using SSA form. ISMM 2009: 79-88
30		Ondrej Lhoták, Stephen Curial, José Nelson Amaral: Using XBDDs and ZBDDs in points-to analysis. Softw., Pract. Exper. 39(2): 163-188 (2009)
	2008
29		Ghulam Lashari, Ondrej Lhoták, Michael McCool: Control Flow Emulation on Tiled SIMD Architectures. CC 2008: 100-115
28		Mario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo: Efficient Set Sharing Using ZBDDs. LCPC 2008: 47-63
27		Nomair A. Naeem, Ondrej Lhoták: Typestate-like analysis of multiple interacting objects. OOPSLA 2008: 347-366
26		Nomair A. Naeem, Ondrej Lhoták: Validating temporal properties of interacting objects. OOPSLA Companion 2008: 903-904
25		Ondrej Lhoták, Laurie J. Hendren: Relations as an abstraction for BDD-based program analysis. ACM Trans. Program. Lang. Syst. 30(4): (2008)
24		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)
	2007
23		Eric Bodden, Laurie J. Hendren, Ondrej Lhoták: A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring. ECOOP 2007: 525-549
22		Ondrej Lhoták, Stephen Curial, José Nelson Amaral: Using ZBDDs in Points-to Analysis. LCPC 2007: 338-352
21		Adam Richard, Ondrej Lhoták: OOMatch: pattern matching as dispatch in Java. OOPSLA Companion 2007: 771-772
20		Ondrej Lhoták: Comparing call graphs. PASTE 2007: 37-42
19		Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem: Collaborative Runtime Verification with Tracematches. RV 2007: 22-37
	2006
18		Ondrej Lhoták, Laurie J. Hendren: Context-Sensitive Points-to Analysis: Is It Worth It?. CC 2006: 47-64
17		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
16		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
15		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. T. Aspect-Oriented Software Development I: 293-334 (2006)
	2005
14		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
13		Anatole Le, Ondrej Lhoták, Laurie J. Hendren: Using Inter-Procedural Side-Effect Information in JIT Optimizations. CC 2005: 287-304
12		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
11		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
10		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
9		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
8		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)
	2004
7		Jennifer Lhoták, Ondrej Lhoták, Laurie J. Hendren: Integrating the Soot Compiler Infrastructure into an IDE. CC 2004: 281-297
6		Ondrej Lhoták, Laurie J. Hendren: Jedd: a BDD-based relational extension of Java. PLDI 2004: 158-169
5		Jennifer Lhoták, Ondrej Lhoták: Visualizing Program Analysis with the Soot-Eclipse Plugin. Electr. Notes Theor. Comput. Sci. 107: 27-31 (2004)
	2003
4		Ondrej Lhoták, Laurie J. Hendren: Scaling Java Points-to Analysis Using SPARK. CC 2003: 153-169
3		Marc Berndl, Ondrej Lhoták, Feng Qian, Laurie J. Hendren, Navindra Umanee: Points-to analysis using BDDs. PLDI 2003: 103-114
	2002
2		Ondrej Lhoták, Laurie J. Hendren: Run-time evaluation of opportunities for object inlining in Java. Java Grande 2002: 175-184
	1999
1		Gordon V. Cormack, Ondrej Lhoták, Christopher R. Palmer: Estimating Precision by Random Sampling (poster abstract). SIGIR 1999: 273-274

Coauthor Index

1	Chris Allan	[10] [11] [12]
2	José Nelson Amaral (José N. Amaral)	[22] [30]
3	Pavel Avgustinov	[9] [10] [11] [12] [14] [15] [16] [17]
4	Marc Berndl	[3]
5	Eric Bodden	[16] [17] [19] [23]
6	Aske Simon Christensen	[9] [10] [11] [12] [14] [15]
7	Gordon V. Cormack	[1]
8	Stephen Curial	[22] [30]
9	Bruno Dufour	[10]
10	Christopher Goard	[10]
11	Elnar Hajiyev	[17]
12	Laurie J. Hendren	[2] [3] [4] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [23] [24] [25]
13	Manuel V. Hermenegildo	[28]
14	Sascha Kuzins	[9] [10] [11] [12] [14] [15]
15	Patrick Lam	[19]
16	Ghulam Lashari	[29]
17	Anatole Le	[13]
18	Jennifer Lhoták	[5] [7] [9] [10] [12] [14] [15]
19	Michael McCool	[29]
20	Mario Méndez-Lojo	[28]
21	Oege de Moor	[9] [10] [11] [12] [14] [15] [16] [17]
22	Nomair A. Naeem	[19] [26] [27] [31]
23	Neil Ongkingco	[16] [17]
24	Christopher R. Palmer	[1]
25	Feng Qian	[3]
26	Adam Richard	[21]
27	Damien Sereni	[9] [10] [11] [12] [14] [15] [17]
28	Ganesh Sittampalam	[9] [10] [11] [12] [14] [15] [16] [17]
29	Julian Tibble	[9] [10] [11] [12] [14] [15] [16] [17]
30	Navindra Umanee	[3]
31	Mathieu Verbaere	[17]
32	Clark Verbrugge	[10]

Colors in the list of coauthors