Ondrej Lhoták

	2012
44		Mark Marron, Ondrej Lhoták, Anindya Banerjee: Programming Paradigm Driven Heap Analysis. CC 2012: 41-60
	2011
43		Pavel Parizek, Ondrej Lhoták: Identifying future field accesses in exhaustive state space traversal. ASE 2011: 93-102
42		Jonathan Rodriguez, Ondrej Lhoták: Actor-Based Parallel Dataflow Analysis. CC 2011: 179-197
41		Nomair A. Naeem, Ondrej Lhoták: Faster Alias Set Analysis Using Summaries. CC 2011: 82-103
40		Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhoták: Pick your contexts well: understanding object-sensitivity. POPL 2011: 17-30
39		Ondrej Lhoták, Kwok-Chiang Andrew Chung: Points-to analysis with efficient strong updates. POPL 2011: 3-16
38		Pavel Parizek, Ondrej Lhoták: Randomized Backtracking in State Space Traversal. SPIN 2011: 75-89
	2010
37		Clark Verbrugge, J. Gregory Steffan, Mark G. Stoodley, Kit Barton, Ondrej Lhoták: 9th Workshop on Compiler-Driven Performance. CASCON 2010: 412-413
36		Nomair A. Naeem, Ondrej Lhoták, Jonathan Rodriguez: Practical Extensions to the IFDS Algorithm. CC 2010: 124-144
35		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)
34		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)
	2009
33		Greg Steffan, Mark G. Stoodley, David Grove, Ondrej Lhoták, Kit Barton: 8th Workshop on Compiler-Driven Performance. CASCON 2009: 315-316
32		Nomair A. Naeem, Ondrej Lhoták: Efficient alias set analysis using SSA form. ISMM 2009: 79-88
31		Alan Leung, Ondrej Lhoták, Ghulam Lashari: Automatic parallelization for graphics processing units. PPPJ 2009: 91-100
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] [35]
3	Pavel Avgustinov	[9] [10] [11] [12] [14] [15] [16] [17]
4	Anindya Banerjee	[44]
5	Kit Barton	[33] [37]
6	Marc Berndl	[3]
7	Eric Bodden	[16] [17] [19] [23] [34]
8	Martin Bravenboer	[40]
9	Aske Simon Christensen	[9] [10] [11] [12] [14] [15]
10	Kwok-Chiang Andrew Chung	[39]
11	Gordon V. Cormack	[1]
12	Stephen Curial	[22] [30] [35]
13	Bruno Dufour	[10]
14	Christopher Goard	[10]
15	David Grove	[33]
16	Elnar Hajiyev	[17]
17	Laurie J. Hendren	[2] [3] [4] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [23] [24] [25] [34]
18	Manuel V. Hermenegildo	[28]
19	Sascha Kuzins	[9] [10] [11] [12] [14] [15]
20	Patrick Lam	[19] [34]
21	Ghulam Lashari	[29] [31]
22	Anatole Le	[13]
23	Alan Leung	[31]
24	Jennifer Lhoták	[5] [7] [9] [10] [12] [14] [15]
25	Mark Marron	[44]
26	Michael McCool	[29]
27	Mario Méndez-Lojo	[28]
28	Oege de Moor	[9] [10] [11] [12] [14] [15] [16] [17]
29	Nomair A. Naeem	[19] [26] [27] [32] [34] [36] [41]
30	Neil Ongkingco	[16] [17]
31	Christopher R. Palmer	[1]
32	Pavel Parizek	[38] [43]
33	Feng Qian	[3]
34	Adam Richard	[21]
35	Jonathan Rodriguez	[36] [42]
36	Damien Sereni	[9] [10] [11] [12] [14] [15] [17]
37	Ganesh Sittampalam	[9] [10] [11] [12] [14] [15] [16] [17]
38	Yannis Smaragdakis	[40]
39	Greg Steffan	[33]
40	J. Gregory Steffan (John Gregory Steffan)	[37]
41	Mark G. Stoodley	[33] [37]
42	Julian Tibble	[9] [10] [11] [12] [14] [15] [16] [17]
43	Navindra Umanee	[3]
44	Mathieu Verbaere	[17]
45	Clark Verbrugge	[10] [37]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page