Follow
Ondrej Lhotak
Ondrej Lhotak
Computer Science, University of Waterloo
Verified email at uwaterloo.ca - Homepage
Title
Cited by
Cited by
Year
Adding trace matching with free variables to AspectJ
C Allan, P Avgustinov, AS Christensen, L Hendren, S Kuzins, O Lhotįk, ...
ACM SIGPLAN Notices 40 (10), 345-364, 2005
5762005
Scaling Java Points-to Analysis Using Spark
O Lhotįk, L Hendren
Compiler Construction: 12th International Conference, CC 2003 Held as Part …, 2003
5662003
The Soot framework for Java program analysis: a retrospective
P Lam, E Bodden, O Lhotįk, L Hendren
Cetus Users and Compiler Infastructure Workshop (CETUS 2011) 15 (35), 2011
4792011
abc: An extensible AspectJ compiler
P Avgustinov, AS Christensen, L Hendren, S Kuzins, J Lhotįk, O Lhotįk, ...
Proceedings of the 4th international conference on Aspect-oriented software …, 2005
3972005
Pick your contexts well: understanding object-sensitivity
Y Smaragdakis, M Bravenboer, O Lhotįk
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
3612011
Points-to analysis using BDDs
M Berndl, O Lhotįk, F Qian, L Hendren, N Umanee
Proceedings of the ACM SIGPLAN 2003 conference on Programming language …, 2003
3382003
In defense of soundiness: A manifesto
B Livshits, M Sridharan, Y Smaragdakis, O Lhotįk, JN Amaral, ...
Communications of the ACM 58 (2), 44-46, 2015
3282015
Context-sensitive points-to analysis: is it worth it?
O Lhotįk, L Hendren
International Conference on Compiler Construction, 47-64, 2006
2342006
Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation
O Lhotįk, L Hendren
ACM Transactions on Software Engineering and Methodology (TOSEM) 18 (1), 1-53, 2008
1652008
A staged static program analysis to improve the performance of runtime monitoring
E Bodden, L Hendren, O Lhotįk
ECOOP 2007–Object-Oriented Programming: 21st European Conference, Berlin …, 2007
1612007
Application-only call graph construction
K Ali, O Lhotįk
European Conference on Object-Oriented Programming, 688-712, 2012
1412012
From datalog to flix: A declarative language for fixed points on lattices
M Madsen, MH Yee, O Lhotįk
ACM SIGPLAN Notices 51 (6), 194-208, 2016
1332016
Static analysis of event-driven Node. js JavaScript applications
M Madsen, F Tip, O Lhotįk
ACM SIGPLAN Notices 50 (10), 505-519, 2015
1332015
Optimising aspectj
P Avgustinov, AS Christensen, L Hendren, S Kuzins, J Lhotįk, O Lhotįk, ...
Proceedings of the 2005 ACM SIGPLAN conference on Programming Language …, 2005
1322005
Points-to analysis with efficient strong updates
O Lhotįk, KCA Chung
Proceedings of the 38th annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2011
1282011
Spark: A flexible points-to analysis framework for Java
O Lhotįk
McGill University, 2003
1192003
Program analysis using binary decision diagrams
O Lhotįk
McGill University, 2005
1152005
Averroes: Whole-Program Analysis without the Whole Program
K Ali, O Lhotįk
European Conference on Object-Oriented Programming, 378-400, 2013
1032013
Typestate-like analysis of multiple interacting objects
NA Naeem, O Lhotįk
ACM Sigplan Notices 43 (10), 347-366, 2008
1002008
Comparing call graphs
O Lhotįk
Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2007
952007
The system can't perform the operation now. Try again later.
Articles 1–20