O
Ondrej Lhotak
Researcher at University of Waterloo
Publications - 23
Citations - 1398
Ondrej Lhotak is an academic researcher from University of Waterloo. The author has contributed to research in topics: Java & Compiler. The author has an hindex of 13, co-authored 23 publications receiving 1318 citations. Previous affiliations of Ondrej Lhotak include McGill University.
Papers
More filters
The Soot framework for Java program analysis: a retrospective
TL;DR: relevant features of Soot are described, its development process is summarized, and useful features for future program analysis frameworks are discussed.
Journal ArticleDOI
Pick your contexts well: understanding object-sensitivity
TL;DR: The results expose the influence of context choice on the quality of points-to analysis and demonstrate type-sensitivity to be an idea with major impact that decisively advances the state-of-the-art with a spectrum of analyses that simultaneously enjoy speed, scalability, and precision.
Journal ArticleDOI
Points-to analysis using BDDs
TL;DR: This work shows that BDDs can also be very effective for developing a points-to analysis that is simple to implement and that scales well, in both space and time, to large programs.
Proceedings ArticleDOI
A staged static program analysis to improve the performance of runtime monitoring
TL;DR: A staged static analysis is presented which speeds up trace matching by reducing the required runtime instrumentation by combining a points-to analysis with a flow-sensitive analysis that takes into consideration the order in which the symbols may execute.
Program analysis using binary decision diagrams
TL;DR: This dissertation develops new techniques and frameworks for applying BDDs to program analysis, and uses the PADDLE framework to perform an in-depth empirical study of the effect of context-sensitivity variations on the precision of interprocedural program analyses.