Sotabase

Career

· Associate Professor, University of Waterloo2024–
· Postdoctoral Researcher, McGill University2007–
· MSc Computer Science, McGill University2000–
· BSc Mathematics and Computer Science, McGill University1999–

Publications (265)

Soot: a Java bytecode optimization framework
Conference of the Centre for Advanced Studies on Collaborative Research · 2010
1,374
cited
Soot---a java optimization framework
1999
639
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
Factors Predicting Rotator Cuff Retears
American Journal of Sports Medicine · 2014
283
cited
REFERENCES 59 Practical virtual method call resolution for Java
2000
191
cited
Practical virtual method call resolution for Java
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2000
158
cited
Role analysis
ACM-SIGACT Symposium on Principles of Programming Languages · 2002
139
cited
Finding programming errors earlier by evaluating runtime monitors ahead-of-time
SIGSOFT '08/FSE-16 · 2008
99
cited
Revision Versus Primary Arthroscopic Rotator Cuff Repair
American Journal of Sports Medicine · 2015
90
cited
Collaborative Runtime Verification with Tracematches
Runtime Verification · 2007
82
cited
Tape Versus Suture in Arthroscopic Rotator Cuff Repair: Biomechanical Analysis and Assessment of Failure Rates at 6 Months
Orthopaedic Journal of Sports Medicine · 2017
69
cited
The Relationship Between Shoulder Stiffness and Rotator Cuff Healing: A Study of 1,533 Consecutive Arthroscopic Rotator Cuff Repairs.
Journal of Bone and Joint Surgery. American volume · 2016
61
cited
Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time
Runtime Verification · 2010
59
cited
Generalized Typestate Checking for Data Structure Consistency
International Conference on Verification, Model Checking and Abstract Interpretation · 2005
58
cited
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information
European Conference on Object-Oriented Programming · 2003
56
cited
Tension, abduction, and surgical technique affect footprint compression after rotator cuff repair in an ovine model.
Journal of shoulder and elbow surgery · 2010
56
cited
Field Constraint Analysis
International Conference on Verification, Model Checking and Abstract Interpretation · 2005
54
cited
Advanced glycation end products in idiopathic frozen shoulders.
Journal of shoulder and elbow surgery · 2016
53
cited
Repair of partial-thickness rotator cuff tears: a biomechanical analysis of footprint contact pressure and strength in an ovine model.
Arthroscopy: The Journal of Arthroscopy And Related · 2010
49
cited
Sotabase
Patrick Lam | Researcher Profile | Sotabase | Sotabase