Sotabase

Career

· Professor, McGill University2024–
· PhD in Computer Science, Cornell University1990–
· MS in Computer Science, Queen's University, Kingston1984–
· Bachelor's degree, Queen's University, Kingston1982–

Publications (415)

Soot: a Java bytecode optimization framework
Conference of the Centre for Advanced Studies on Collaborative Research · 2010
1,374
cited
Context-sensitive interprocedural points-to analysis in the presence of function pointers
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 1994
667
cited
Soot---a java optimization framework
1999
639
cited
Scaling Java Points-to Analysis Using SPARK
International Conference on Compiler Construction · 2003
491
cited
Adding trace matching with free variables to AspectJ
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2005
477
cited
The Soot framework for Java program analysis: a retrospective
2011
404
cited
Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?
International Conference on Compiler Construction · 2000
390
cited
Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C
ACM-SIGACT Symposium on Principles of Programming Languages · 1996
331
cited
abc: an extensible AspectJ compiler
Aspect-Oriented Software Development · 2005
323
cited
Supporting dynamic data structures on distributed-memory machines
ACM Transactions on Programming Languages and Systems · 1995
283
cited
A probabilistic language based upon sampling functions
ACM-SIGACT Symposium on Principles of Programming Languages · 2005
249
cited
Parallelizing Programs with Recursive Data Structures
IEEE Trans. Parallel Distributed Syst. · 1989
239
cited
SableCC, an object-oriented compiler framework
Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176) · 1998
239
cited
Jimple: Simplifying Java Bytecode for Analyses and Transformations
1998
202
cited
REFERENCES 59 Practical virtual method call resolution for Java
2000
191
cited
Context-Sensitive Points-to Analysis: Is It Worth It?
International Conference on Compiler Construction · 2006
187
cited
Dynamic metrics for java
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2003
183
cited
Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation
TSEM · 2008
163
cited
Practical virtual method call resolution for Java
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2000
158
cited
Enabling static analysis for partial java programs
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2008
153
cited
Sotabase