Concepedia

Ondřej Lhoták

OL

13

Publications

1.1K

Citations

11

H-Index

1999

Active since

Affiliations

University of Waterloo(Current)

McGill University

Aarhus University

University of Oxford

Ondřej Lhoták is an author at University of Waterloo specializing in engineering, formal methods, and software engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringSoftware DesignSoftware TestingFormal VerificationComputer Engineering

Publications per year

1999–2023

13

Publications

13

Adding trace matching with free variables to AspectJ

Chris Allan, Pavel Avgustinov, Aske Simon Christensen et al. · 2005 · 425 citations

Engineering, Cross-cutting Concern, Software Engineering +21

In defense of soundiness

Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis et al. · Communications of the ACM · 2015 · 222 citations

Music, Psychoacoustics, New Sound +12

Points-to analysis using BDDs

Marc Berndl, Ondřej Lhoták, Feng Qian et al. · ACM SIGPLAN Notices · 2003 · 185 citations

Program Checking, Engineering, Computer Analysis +24

Points-to analysis using BDDs

Marc Berndl, Ondřej Lhoták, Feng Qian et al. · 2003 · 140 citations

Program Checking, Engineering, Computer Analysis +24

Optimising aspectJ

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

Rows per page

1–5 of 13