Sotabase

Career

· Professor, University of Waterloo2006–
· PhD, Computer Science, McGill University2001–2006
· BMath, Computer Science, University of Waterloo1996–2001

Publications (246)

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
Pick your contexts well: understanding object-sensitivity
ACM-SIGACT Symposium on Principles of Programming Languages · 2011
330
cited
abc: an extensible AspectJ compiler
Aspect-Oriented Software Development · 2005
323
cited
A probabilistic language based upon sampling functions
ACM-SIGACT Symposium on Principles of Programming Languages · 2005
249
cited
Context-Sensitive Points-to Analysis: Is It Worth It?
International Conference on Compiler Construction · 2006
187
cited
Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation
TSEM · 2008
163
cited
In defense of soundiness
Communications of the ACM · 2015
147
cited
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring
European Conference on Object-Oriented Programming · 2007
135
cited
Points-to analysis with efficient strong updates
ACM-SIGACT Symposium on Principles of Programming Languages · 2011
130
cited
From Datalog to flix: a declarative language for fixed points on lattices
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2016
121
cited
Static analysis of event-driven Node.js JavaScript applications
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2015
118
cited
Optimising aspectJ
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2005
114
cited
Application-Only Call Graph Construction
European Conference on Object-Oriented Programming · 2012
112
cited
Program analysis using binary decision diagrams
2006
96
cited
Spark: A flexible points-to analysis framework for Java
2002
95
cited
Points-to analysis using BDDs
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2003
87
cited
Collaborative Runtime Verification with Tracematches
Runtime Verification · 2007
82
cited
Jedd: a BDD-based relational extension of Java
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2004
79
cited
Sotabase