Ondrej Lhoták

ORCID

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 53

Top Venues

CoRR

Proc. ACM Program. Lang.

ECOOP

PLDI

Publications

Edward Lee, Ondrej Lhoták
Simple Reference Immutability for System F. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Fengyun Liu, Ondrej Lhoták, David Hua, Enze Xing
Initializing Global Objects: Time and Order. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Matt D'Souza, James You, Ondrej Lhoták, Aleksandar Prokopec
TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Aleksander Boruch-Gruszecki, Martin Odersky, Edward Lee, Ondrej Lhoták, Jonathan Immanuel Brachthäuser
Capturing Types. ACM Trans. Program. Lang. Syst. 45 (4) (2023)
Edward Lee, Yaoyu Zhao, James You, Kavin Satheeskumar, Ondrej Lhoták, Jonathan Immanuel Brachthäuser
Qualifying System F-sub. CoRR (2023)
Jonathan Lindegaard Starup, Magnus Madsen, Ondrej Lhoták
Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints. ECOOP (2023)
Edward Lee, Kavin Satheeskumar, Ondrej Lhoták
Dependency-Free Capture Tracking. FTfJP@ECOOP (2023)
Edward Lee, Ondrej Lhoták
Simple Reference Immutability for System F-sub. CoRR (2023)
Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee, Jonathan Immanuel Brachthäuser, Ondrej Lhoták
Scoped Capabilities for Polymorphic Effects. CoRR (2022)
Magnus Madsen, Jonathan Starup, Ondrej Lhoták
Flix: A Meta Programming Language for Datalog. Datalog (2022)
Yaoyu Zhao, Ondrej Lhoták
Explicit nulls with unsafe nulls. SCALA@ECOOP (2022)
Karim Ali, Xiaoni Lai, Zhaoyi Luo, Ondrej Lhoták, Julian Dolby, Frank Tip
A Study of Call Graph Construction for JVM-Hosted Languages. IEEE Trans. Software Eng. 47 (12) (2021)
Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták, Martin Odersky
Tracking Captured Variables in Types. CoRR (2021)
Fengyun Liu, Ondrej Lhoták, Enze Xing, Nguyen Cao Pham
Safe object initialization, abstractly. SCALA@SPLASH (2021)
Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták
Safer exceptions for Scala. SCALA@SPLASH (2021)
Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták
Blame for Null (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Vlastimil Dort, Ondrej Lhoták
Reference Mutability for DOT. ECOOP (2020)
Magnus Madsen, Ondrej Lhoták
Fixpoints for the masses: programming with first-class Datalog constraints. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Abel Nieto, Yaoyu Zhao, Ondrej Lhoták, Angela Chang, Justin Pu
Scala with Explicit Nulls. ECOOP (2020)
Fengyun Liu, Ondrej Lhoták, Aggelos Biboudis, Paolo G. Giarrusso, Martin Odersky
A type-and-effect system for object initialization. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Abel Nieto, Yaoyu Zhao, Ondrej Lhoták, Angela Chang, Justin Pu
Scala with Explicit Nulls (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Magnus Madsen, Ondrej Lhoták, Frank Tip
A Semantics for the Essence of React. ECOOP (2020)
Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták
Blame for Null. ECOOP (2020)
Jason Z. S. Hu, Ondrej Lhoták
and its decidable fragments. Proc. ACM Program. Lang. 4 (POPL) (2020)
Ifaz Kabir, Yufeng Li, Ondrej Lhoták
ιDOT: a DOT calculus with object initialization. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Ming-Ho Yee, Ayaz Badouraly, Ondrej Lhoták, Frank Tip, Jan Vitek
Precise Dataflow Analysis of Event-Driven Applications. CoRR (2019)
Pavel Parízek, Ondrej Lhoták
Fast detection of concurrency errors by state space traversal with randomization and early backtracking. Int. J. Softw. Tools Technol. Transf. 21 (4) (2019)
Jason Z. S. Hu, Ondrej Lhoták
Undecidability of $D_{<: }$ and Its Decidable Fragments. CoRR (2019)
Marianna Rapoport, Ondrej Lhoták
A path to DOT: formalizing fully path-dependent types. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Marianna Rapoport, Ondrej Lhoták
A Path To DOT: Formalizing Fully-Path-Dependent Types. CoRR (2019)
Ifaz Kabir, Ondrej Lhoták
κDOT: scaling DOT with mutation and constructors. SCALA@ICFP (2018)
Magnus Madsen, Ondrej Lhoták
Safe and sound program analysis with Flix. ISSTA (2018)
Magnus Madsen, Ramin Zarifi, Ondrej Lhoták
Tail call elimination and data representation for functional languages on the Java virtual machine. CC (2018)
Magnus Madsen, Ondrej Lhoták
Implicit Parameters for Logic Programming. PPDP (2018)
Magnus Madsen, Ondrej Lhoták, Frank Tip
A model for reasoning about JavaScript promises. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby
Who you gonna call?: analyzing web requests in Android applications. MSR (2017)
Marianna Rapoport, Ifaz Kabir, Paul He, Ondrej Lhoták
A Simple Soundness Proof for Dependent Object Types. CoRR (2017)
Marianna Rapoport, Ifaz Kabir, Paul He, Ondrej Lhoták
A simple soundness proof for dependent object types. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Asya Frumkin, Yotam M. Y. Feldman, Ondrej Lhoták, Oded Padon, Mooly Sagiv, Sharon Shoham
Property Directed Reachability for Proving Absence of Concurrent Modification Errors. VMCAI (2017)
Dmitry Petrashko, Ondrej Lhoták, Martin Odersky
Miniphases: compilation using modular and efficient tree transformations. PLDI (2017)
Marianna Rapoport, Ondrej Lhoták
Mutable WadlerFest DOT. FTfJP@ECOOP (2017)
Rei Thiessen, Ondrej Lhoták
Context transformations for pointer analysis. PLDI (2017)
Dan Brotherston, Werner Dietl, Ondrej Lhoták
Granullar: gradual nullable types for Java. CC (2017)
Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby
Who you gonna call? Analyzing Web Requests in Android Applications. CoRR (2017)
Magnus Madsen, Ming-Ho Yee, Ondrej Lhoták
From Datalog to flix: a declarative language for fixed points on lattices. PLDI (2016)
Marianna Rapoport, Ondrej Lhoták
Mutable WadlerFest DOT. CoRR (2016)
Dmitry Petrashko, Vlad Ureche, Ondrej Lhoták, Martin Odersky
Call graphs for languages with parametric polymorphism. OOPSLA (2016)
Ondrej Lhoták, Xipeng Shen, Ettore Tiotto, Martin Hirzel, Clark Verbrugge
14th compiler-driven performance workshop. CASCON (2015)
Magnus Madsen, Frank Tip, Ondrej Lhoták
Static analysis of event-driven Node.js JavaScript applications. OOPSLA (2015)
Pavel Parízek, Ondrej Lhoták
Model checking of concurrent programs with static analysis of field accesses. Sci. Comput. Program. 98 (2015)
Marianna Rapoport, Ondrej Lhoták, Frank Tip
Precise Data Flow Analysis in the Presence of Correlated Method Calls. SAS (2015)
Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip
Type-Based Call Graph Construction Algorithms for Scala. ACM Trans. Softw. Eng. Methodol. 25 (1) (2015)
Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis, Ondrej Lhoták, José Nelson Amaral, Bor-Yuh Evan Chang, Samuel Z. Guyer, Uday P. Khedker, Anders Møller, Dimitrios Vardoulakis
In defense of soundiness: a manifesto. Commun. ACM 58 (2) (2015)
Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip
Constructing Call Graphs of Scala Programs. ECOOP (2014)
Alan Leung, Ondrej Lhoták, Ghulam Lashari
Parallel execution of Java loops on Graphics Processing Units. Sci. Comput. Program. 78 (5) (2013)
Ondrej Lhoták, Yannis Smaragdakis, Manu Sridharan
Pointer Analysis (Dagstuhl Seminar 13162). Dagstuhl Reports 3 (4) (2013)
Karim Ali, Ondrej Lhoták
Averroes: Whole-Program Analysis without the Whole Program. ECOOP (2013)
Ondrej Lhoták, José Nelson Amaral, Kit Barton, Martin Hirzel, J. Gregory Steffan
11th Compiler-Driven Performance Workshop. CASCON (2012)
Karim Ali, Ondrej Lhoták
Application-Only Call Graph Construction. ECOOP (2012)
Pavel Parízek, Ondrej Lhoták
Predicate abstraction of Java programs with collections. OOPSLA (2012)
Mark Marron, Ondrej Lhoták, Anindya Banerjee
Programming Paradigm Driven Heap Analysis. CC (2012)
Jonathan Rodriguez, Ondrej Lhoták
Actor-Based Parallel Dataflow Analysis. CC (2011)
Nomair A. Naeem, Ondrej Lhoták
Faster Alias Set Analysis Using Summaries. CC (2011)
Ondrej Lhoták, Kwok-Chiang Andrew Chung
Points-to analysis with efficient strong updates. POPL (2011)
Pavel Parízek, Ondrej Lhoták
Identifying future field accesses in exhaustive state space traversal. ASE (2011)
Pavel Parízek, Ondrej Lhoták
Randomized Backtracking in State Space Traversal. SPIN (2011)
Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhoták
Pick your contexts well: understanding object-sensitivity. POPL (2011)
Clark Verbrugge, J. Gregory Steffan, Mark G. Stoodley, Kit Barton, Ondrej Lhoták
9th Workshop on Compiler-Driven Performance. CASCON (2010)
Nomair A. Naeem, Ondrej Lhoták, Jonathan Rodriguez
Practical Extensions to the IFDS Algorithm. CC (2010)
Ondrej Lhoták, Stephen Curial, José Nelson Amaral
An Optimal Encoding to Represent a Single Set in an ROBDD. IEEE Trans. Computers 59 (4) (2010)
Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem
Collaborative Runtime Verification with Tracematches. J. Log. Comput. 20 (3) (2010)
Nomair A. Naeem, Ondrej Lhoták
Efficient alias set analysis using SSA form. ISMM (2009)
Ondrej Lhoták, Stephen Curial, José Nelson Amaral
Using XBDDs and ZBDDs in points-to analysis. Softw. Pract. Exp. 39 (2) (2009)
Alan Leung, Ondrej Lhoták, Ghulam Lashari
Automatic parallelization for graphics processing units. PPPJ (2009)
Greg Steffan, Mark G. Stoodley, David Grove, Ondrej Lhoták, Kit Barton
8th Workshop on Compiler-Driven Performance. CASCON (2009)
Nomair A. Naeem, Ondrej Lhoták
Validating temporal properties of interacting objects. OOPSLA Companion (2008)
Ondrej Lhoták, Laurie J. Hendren
Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation. ACM Trans. Softw. Eng. Methodol. 18 (1) (2008)
Nomair A. Naeem, Ondrej Lhoták
Typestate-like analysis of multiple interacting objects. OOPSLA (2008)
Mario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo
Efficient Set Sharing Using ZBDDs. LCPC (2008)
Ondrej Lhoták, Laurie J. Hendren
Relations as an abstraction for BDD-based program analysis. ACM Trans. Program. Lang. Syst. 30 (4) (2008)
Ghulam Lashari, Ondrej Lhoták, Michael McCool
Control Flow Emulation on Tiled SIMD Architectures. CC (2008)
Ondrej Lhoták
Comparing call graphs. PASTE (2007)
Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem
Collaborative Runtime Verification with Tracematches. RV (2007)
Adam Richard, Ondrej Lhoták
OOMatch: pattern matching as dispatch in Java. OOPSLA Companion (2007)
Ondrej Lhoták, Stephen Curial, José Nelson Amaral
Using ZBDDs in Points-to Analysis. LCPC (2007)
Eric Bodden, Laurie J. Hendren, Ondrej Lhoták
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring. ECOOP (2007)
Pavel Avgustinov, Julian Tibble, Eric Bodden, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Ganesh Sittampalam
Efficient trace monitoring. OOPSLA Companion (2006)
Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere
Aspects for Trace Monitoring. FATES/RV (2006)
Ondrej Lhoták, Laurie J. Hendren
Context-Sensitive Points-to Analysis: Is It Worth It?. CC (2006)
Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble
: An Extensible AspectJ Compiler. LNCS Trans. Aspect Oriented Softw. Dev. 1 (2006)
Ondrej Lhoták, Laurie J. Hendren
Run-time evaluation of opportunities for object inlining in Java. Concurr. Pract. Exp. 17 (5-6) (2005)
Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Bruno Dufour, Christopher Goard, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Clark Verbrugge
abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research. OOPSLA Companion (2005)
Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble
Adding trace matching with free variables to AspectJ. OOPSLA (2005)
Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble
: The AspectBench Compiler for AspectJ. GPCE (2005)
Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble
Optimising aspectJ. PLDI (2005)
Anatole Le, Ondrej Lhoták, Laurie J. Hendren
Using Inter-Procedural Side-Effect Information in JIT Optimizations. CC (2005)
Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble
abc: an extensible AspectJ compiler. AOSD (2005)
Ondrej Lhoták, Laurie J. Hendren
Jedd: a BDD-based relational extension of Java. PLDI (2004)
Jennifer Lhoták, Ondrej Lhoták, Laurie J. Hendren
Integrating the Soot Compiler Infrastructure into an IDE. CC (2004)
Jennifer Lhoták, Ondrej Lhoták
Visualizing Program Analysis with the Soot-Eclipse Plugin. Electron. Notes Theor. Comput. Sci. 107 (2004)

Ondrej Lhoták.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ondrej Lhoták