Ondrej Lhoták

2009
30	EE	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	EE	Ghulam Lashari, Ondrej Lhoták, Michael McCool: Control Flow Emulation on Tiled SIMD Architectures. CC 2008: 100-115
28	EE	Mario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo: Efficient Set Sharing Using ZBDDs. LCPC 2008: 47-63
27	EE	Nomair A. Naeem, Ondrej Lhoták: Typestate-like analysis of multiple interacting objects. OOPSLA 2008: 347-366
26	EE	Nomair A. Naeem, Ondrej Lhoták: Validating temporal properties of interacting objects. OOPSLA Companion 2008: 903-904
25	EE	Ondrej Lhoták, Laurie J. Hendren: Relations as an abstraction for BDD-based program analysis. ACM Trans. Program. Lang. Syst. 30(4): (2008)
24	EE	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	EE	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	EE	Ondrej Lhoták, Stephen Curial, José Nelson Amaral: Using ZBDDs in Points-to Analysis. LCPC 2007: 338-352
21	EE	Adam Richard, Ondrej Lhoták: OOMatch: pattern matching as dispatch in Java. OOPSLA Companion 2007: 771-772
20	EE	Ondrej Lhoták: Comparing call graphs. PASTE 2007: 37-42
19	EE	Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem: Collaborative Runtime Verification with Tracematches. RV 2007: 22-37
2006
18	EE	Ondrej Lhoták, Laurie J. Hendren: Context-Sensitive Points-to Analysis: Is It Worth It?. CC 2006: 47-64
17	EE	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	EE	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	EE	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	EE	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	EE	Anatole Le, Ondrej Lhoták, Laurie J. Hendren: Using Inter-Procedural Side-Effect Information in JIT Optimizations. CC 2005: 287-304
12	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Jennifer Lhoták, Ondrej Lhoták, Laurie J. Hendren: Integrating the Soot Compiler Infrastructure into an IDE. CC 2004: 281-297
6	EE	Ondrej Lhoták, Laurie J. Hendren: Jedd: a BDD-based relational extension of Java. PLDI 2004: 158-169
5	EE	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	EE	Ondrej Lhoták, Laurie J. Hendren: Scaling Java Points-to Analysis Using SPARK. CC 2003: 153-169
3	EE	Marc Berndl, Ondrej Lhoták, Feng Qian, Laurie J. Hendren, Navindra Umanee: Points-to analysis using BDDs. PLDI 2003: 103-114
2002
2	EE	Ondrej Lhoták, Laurie J. Hendren: Run-time evaluation of opportunities for object inlining in Java. Java Grande 2002: 175-184
1999
1	EE	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]
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