Ondrej Lhotk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
48
Venues
14
Active years
1999–2024
Best venue rank
A*
Where they publish
Papers
48 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ECOOP | Pure Methods for roDOT. | Vlastimil Dort, Yufeng Li, Ondrej Lhotk, Pavel Parzek |
| 2023 | ECOOP | Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints. | Jonathan Lindegaard Starup, Magnus Madsen, Ondrej Lhotk |
| 2023 | FTfJP | Dependency-Free Capture Tracking. | Edward Lee, Kavin Satheeskumar, Ondrej Lhotk |
| 2020 | ECOOP | Reference Mutability for DOT. | Vlastimil Dort, Ondrej Lhotk |
| 2020 | ECOOP | A Semantics for the Essence of React. | Magnus Madsen, Ondrej Lhotk, Frank Tip |
| 2020 | ECOOP | Blame for Null. | Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhotk |
| 2020 | ECOOP | Scala with Explicit Nulls. | Abel Nieto, Yaoyu Zhao, Ondrej Lhotk, Angela Chang, Justin Pu |
| 2018 | CC | Tail call elimination and data representation for functional languages on the Java virtual machine. | Magnus Madsen, Ramin Zarifi, Ondrej Lhotk |
| 2018 | ISSTA | Safe and sound program analysis with Flix. | Magnus Madsen, Ondrej Lhotk |
| 2018 | PPDP | Implicit Parameters for Logic Programming. | Magnus Madsen, Ondrej Lhotk |
| 2017 | CC | Granullar: gradual nullable types for Java. | Dan Brotherston, Werner Dietl, Ondrej Lhotk |
| 2017 | ECOOP | Mutable WadlerFest DOT. | Marianna Rapoport, Ondrej Lhotk |
| 2017 | MSR | Who you gonna call?: analyzing web requests in Android applications. | Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhotk, Julian Dolby |
| 2017 | PLDI | Miniphases: compilation using modular and efficient tree transformations. | Dmitry Petrashko, Ondrej Lhotk, Martin Odersky |
| 2017 | PLDI | Context transformations for pointer analysis. | Rei Thiessen, Ondrej Lhotk |
| 2017 | VMCAI | Property Directed Reachability for Proving Absence of Concurrent Modification Errors. | Asya Frumkin, Yotam M. Y. Feldman, Ondrej Lhotk, Oded Padon, Mooly Sagiv, Sharon Shoham |
| 2016 | OOPSLA | Call graphs for languages with parametric polymorphism. | Dmitry Petrashko, Vlad Ureche, Ondrej Lhotk, Martin Odersky |
| 2016 | PLDI | From Datalog to flix: a declarative language for fixed points on lattices. | Magnus Madsen, Ming-Ho Yee, Ondrej Lhotk |
| 2015 | OOPSLA | Static analysis of event-driven Node.js JavaScript applications. | Magnus Madsen, Frank Tip, Ondrej Lhotk |
| 2015 | SAS | Precise Data Flow Analysis in the Presence of Correlated Method Calls. | Marianna Rapoport, Ondrej Lhotk, Frank Tip |
| 2014 | ECOOP | Constructing Call Graphs of Scala Programs. | Karim Ali, Marianna Rapoport, Ondrej Lhotk, Julian Dolby, Frank Tip |
| 2013 | ECOOP | Averroes: Whole-Program Analysis without the Whole Program. | Karim Ali, Ondrej Lhotk |
| 2012 | CC | Programming Paradigm Driven Heap Analysis. | Mark Marron, Ondrej Lhotk, Anindya Banerjee |
| 2012 | ECOOP | Application-Only Call Graph Construction. | Karim Ali, Ondrej Lhotk |
| 2012 | OOPSLA | Predicate abstraction of Java programs with collections. | Pavel Parzek, Ondrej Lhotk |
| 2011 | CC | Faster Alias Set Analysis Using Summaries. | Nomair A. Naeem, Ondrej Lhotk |
| 2011 | CC | Actor-Based Parallel Dataflow Analysis. | Jonathan Rodriguez, Ondrej Lhotk |
| 2011 | POPL | Points-to analysis with efficient strong updates. | Ondrej Lhotk, Kwok-Chiang Andrew Chung |
| 2011 | POPL | Pick your contexts well: understanding object-sensitivity. | Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhotk |
| 2010 | CC | Practical Extensions to the IFDS Algorithm. | Nomair A. Naeem, Ondrej Lhotk, Jonathan Rodriguez |
| 2008 | CC | Control Flow Emulation on Tiled SIMD Architectures. | Ghulam Lashari, Ondrej Lhotk, Michael McCool |
| 2008 | OOPSLA | Typestate-like analysis of multiple interacting objects. | Nomair A. Naeem, Ondrej Lhotk |
| 2008 | OOPSLA | Validating temporal properties of interacting objects. | Nomair A. Naeem, Ondrej Lhotk |
| 2007 | ECOOP | A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring. | Eric Bodden, Laurie J. Hendren, Ondrej Lhotk |
| 2007 | OOPSLA | OOMatch: pattern matching as dispatch in Java. | Adam Richard, Ondrej Lhotk |
| 2007 | RV | Collaborative Runtime Verification with Tracematches. | Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhotk, Nomair A. Naeem |
| 2006 | CC | Context-Sensitive Points-to Analysis: Is It Worth It?. | Ondrej Lhotk, Laurie J. Hendren |
| 2006 | OOPSLA | Efficient trace monitoring. | Pavel Avgustinov, Julian Tibble, Eric Bodden, Laurie J. Hendren, Ondrej Lhotk, Oege de Moor, Neil Ongkingco, Ganesh Sittampalam |
| 2005 | CC | Using Inter-Procedural Side-Effect Information in JIT Optimizations. | Anatole Le, Ondrej Lhotk, Laurie J. Hendren |
| 2005 | GPCE | Untitled record | Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhotk, Ondrej Lhotk, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble |
| 2005 | OOPSLA | abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research. | Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Bruno Dufour, Christopher Goard, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhotk, Ondrej Lhotk, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Clark Verbrugge |
| 2005 | OOPSLA | Adding trace matching with free variables to AspectJ. | Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Ondrej Lhotk, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble |
| 2005 | PLDI | Optimising aspectJ. | Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhotk, Ondrej Lhotk, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble |
| 2004 | CC | Integrating the Soot Compiler Infrastructure into an IDE. | Jennifer Lhotk, Ondrej Lhotk, Laurie J. Hendren |
| 2004 | PLDI | Jedd: a BDD-based relational extension of Java. | Ondrej Lhotk, Laurie J. Hendren |
| 2003 | CC | Scaling Java Points-to Analysis Using SPARK. | Ondrej Lhotk, Laurie J. Hendren |
| 2003 | PLDI | Points-to analysis using BDDs. | Marc Berndl, Ondrej Lhotk, Feng Qian, Laurie J. Hendren, Navindra Umanee |
| 1999 | SIGIR | Estimating Precision by Random Sampling (poster abstract). | Gordon V. Cormack, Ondrej Lhotk, Christopher R. Palmer |