Ondrej Lhotak
Ondrej Lhotak
Computer Science, University of Waterloo
確認したメール アドレス: uwaterloo.ca - ホームページ
タイトル
引用先
引用先
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
5432005
Scaling Java Points-to Analysis Using Spark
O Lhoták, L Hendren
International Conference on Compiler Construction, 153-169, 2003
4582003
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
3872006
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
3132011
Points-to analysis using BDDs
M Berndl, O Lhoták, F Qian, L Hendren, N Umanee
ACM SIGPLAN Notices 38 (5), 103-114, 2003
3032003
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
2642011
Context-sensitive points-to analysis: is it worth it?
O Lhoták, L Hendren
International Conference on Compiler Construction, 47-64, 2006
1932006
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
1922015
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
1462007
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
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
1232008
Spark: A flexible points-to analysis framework for Java
O Lhoták
1082002
Program analysis using binary decision diagrams
O Lhoták
Dissertation Abstracts International 68 (03), 2006
1042006
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
982011
Application-only call graph construction
K Ali, O Lhoták
European Conference on Object-Oriented Programming, 688-712, 2012
922012
Typestate-like analysis of multiple interacting objects
NA Naeem, O Lhoták
ACM Sigplan Notices 43 (10), 347-366, 2008
892008
Jedd: a BDD-based relational extension of Java
O Lhoták, L Hendren
ACM SIGPLAN Notices 39 (6), 158-169, 2004
852004
Static analysis of event-driven Node. js JavaScript applications
M Madsen, F Tip, O Lhoták
ACM SIGPLAN Notices 50 (10), 505-519, 2015
812015
Comparing call graphs
O Lhoták
Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2007
742007
Averroes: Whole-Program Analysis without the Whole Program
K Ali, O Lhoták
European Conference on Object-Oriented Programming, 378-400, 2013
722013
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20