| 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 | 548 | 2005 |
| Scaling Java Points-to Analysis Using Spark O Lhoták, L Hendren International Conference on Compiler Construction, 153-169, 2003 | 468 | 2003 |
| abc : An Extensible AspectJ Compiler P Avgustinov, AS Christensen, L Hendren, S Kuzins, J Lhoták, O Lhoták, ... Transactions on aspect-oriented software development I, 293-334, 2006 | 371 | 2006 |
| 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 | 329 | 2011 |
| Points-to analysis using BDDs M Berndl, O Lhoták, F Qian, L Hendren, N Umanee ACM SIGPLAN Notices 38 (5), 103-114, 2003 | 306 | 2003 |
| 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 | 273 | 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 | 196 | 2015 |
| Context-sensitive points-to analysis: is it worth it? O Lhoták, L Hendren International Conference on Compiler Construction, 47-64, 2006 | 194 | 2006 |
| A staged static program analysis to improve the performance of runtime monitoring E Bodden, L Hendren, O Lhoták European Conference on Object-Oriented Programming, 525-549, 2007 | 150 | 2007 |
| 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 | 131 | 2005 |
| 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 | 125 | 2008 |
| Spark: A flexible points-to analysis framework for Java O Lhoták | 108 | 2002 |
| Program analysis using binary decision diagrams O Lhoták Dissertation Abstracts International 68 (03), 2006 | 106 | 2006 |
| 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 | 102 | 2011 |
| Application-only call graph construction K Ali, O Lhoták European Conference on Object-Oriented Programming, 688-712, 2012 | 93 | 2012 |
| Typestate-like analysis of multiple interacting objects NA Naeem, O Lhoták ACM Sigplan Notices 43 (10), 347-366, 2008 | 86 | 2008 |
| Jedd: a BDD-based relational extension of Java O Lhoták, L Hendren ACM SIGPLAN Notices 39 (6), 158-169, 2004 | 85 | 2004 |
| Static analysis of event-driven Node. js JavaScript applications M Madsen, F Tip, O Lhoták ACM SIGPLAN Notices 50 (10), 505-519, 2015 | 82 | 2015 |
| Comparing call graphs O Lhoták Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2007 | 75 | 2007 |
| Averroes: Whole-Program Analysis without the Whole Program K Ali, O Lhoták European Conference on Object-Oriented Programming, 378-400, 2013 | 72 | 2013 |
