Concepedia

Ondřej Lhoták

OL

28

Publications

2.1K

Citations

22

H-Index

2002

Active since

Affiliations

University of Waterloo(Current)

McGill University

Aarhus University

University of Oxford

University of Massachusetts Amherst

Ondřej Lhoták is an author at University of Waterloo specializing in engineering, program analysis, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsSoftware EngineeringFormal VerificationSoftware TestingComputer EngineeringSoftware Design

Publications per year

2002–2020

28

Publications

28

abc

Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren et al. · 2005 · 298 citations

Engineering, Software Engineering, Software Analysis +17

The Soot framework for Java program analysis: a retrospective

Patrick Lam, Eric Bodden, Ondřej Lhoták et al. · 2011 · 293 citations

Pick your contexts well

Yannis Smaragdakis, Martin Bravenboer, Ondřej Lhoták · 2011 · 188 citations

Engineering, Object-oriented Modeling, Software Engineering +24

Pick your contexts well

Yannis Smaragdakis, Martin Bravenboer, Ondřej Lhoták · ACM SIGPLAN Notices · 2011 · 166 citations

Engineering, Object-oriented Modeling, Software Engineering +24

Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation

Ondřej Lhoták, Laurie Hendren · ACM Transactions on Software Engineering and Methodology · 2008 · 116 citations

Bdd-based Implementation, Context-sensitive Points-to Analysis, Engineering +26

Rows per page

1–5 of 28