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 | 581 | 2005 |
Scaling Java Points-to Analysis Using Spark O Lhotįk, L Hendren Compiler Construction: 12th International Conference, CC 2003 Held as Part …, 2003 | 576 | 2003 |
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 | 504 | 2011 |
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 | 399 | 2005 |
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 | 373 | 2011 |
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 | 342 | 2015 |
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 | 340 | 2003 |
Context-sensitive points-to analysis: is it worth it? O Lhotįk, L Hendren International Conference on Compiler Construction, 47-64, 2006 | 237 | 2006 |
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 | 168 | 2008 |
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 | 163 | 2007 |
Application-only call graph construction K Ali, O Lhotįk European Conference on Object-Oriented Programming, 688-712, 2012 | 145 | 2012 |
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 | 144 | 2016 |
Static analysis of event-driven Node. js JavaScript applications M Madsen, F Tip, O Lhotįk ACM SIGPLAN Notices 50 (10), 505-519, 2015 | 140 | 2015 |
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 | 133 | 2005 |
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 | 130 | 2011 |
Spark: A flexible points-to analysis framework for Java O Lhotįk McGill University, 2003 | 121 | 2003 |
Program analysis using binary decision diagrams O Lhotįk McGill University, 2005 | 116 | 2005 |
Averroes: Whole-Program Analysis without the Whole Program K Ali, O Lhotįk European Conference on Object-Oriented Programming, 378-400, 2013 | 105 | 2013 |
Typestate-like analysis of multiple interacting objects NA Naeem, O Lhotįk ACM Sigplan Notices 43 (10), 347-366, 2008 | 102 | 2008 |
Comparing call graphs O Lhotįk Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2007 | 97 | 2007 |