Ondrej Lhoták

According to our database, Ondrej Lhoták authored at least 101 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Qualifying System F_<: Some Terms and Conditions May Apply.

Edward Lee, Yaoyu Zhao, Ondrej Lhoták, James You, Kavin Satheeskumar, Jonathan Immanuel Brachthäuser

Proc. ACM Program. Lang., 2024

Pure Methods for roDOT (Artifact).

Vlastimil Dort, Yufeng Li, Ondrej Lhoták, Pavel Parízek

Dagstuhl Artifacts Ser., 2024

Pure Methods for roDOT.

Vlastimil Dort, Yufeng Li, Ondrej Lhoták, Pavel Parízek

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

Capturing Types.

Aleksander Boruch-Gruszecki, Martin Odersky, Edward Lee, Ondrej Lhoták, Jonathan Immanuel Brachthäuser

ACM Trans. Program. Lang. Syst., December, 2023

Initializing Global Objects: Time and Order.

Fengyun Liu, Ondrej Lhoták, David Hua, Enze Xing

Proc. ACM Program. Lang., October, 2023

Simple Reference Immutability for System F.

Edward Lee, Ondrej Lhoták

Proc. ACM Program. Lang., October, 2023

TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism.

Matt D'Souza, James You, Ondrej Lhoták, Aleksandar Prokopec

Proc. ACM Program. Lang., October, 2023

Qualifying System F-sub.

Edward Lee, Yaoyu Zhao, James You, Kavin Satheeskumar, Ondrej Lhoták, Jonathan Immanuel Brachthäuser

CoRR, 2023

Simple Reference Immutability for System F-sub.

Edward Lee, Ondrej Lhoták

CoRR, 2023

Dependency-Free Capture Tracking.

Edward Lee, Kavin Satheeskumar, Ondrej Lhoták

Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, 2023

Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints.

Jonathan Lindegaard Starup, Magnus Madsen, Ondrej Lhoták

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Scoped Capabilities for Polymorphic Effects.

Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee, Jonathan Immanuel Brachthäuser, Ondrej Lhoták

CoRR, 2022

Explicit nulls with unsafe nulls.

Yaoyu Zhao, Ondrej Lhoták

Proceedings of the Scala@ECOOP 2022: 13th ACM SIGPLAN Scala Symposium, 2022

Flix: A Meta Programming Language for Datalog.

Magnus Madsen, Jonathan Lindegaard Starup, Ondrej Lhoták

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

2021

A Study of Call Graph Construction for JVM-Hosted Languages.

Karim Ali, Xiaoni Lai, Zhaoyi Luo, Ondrej Lhoták, Julian Dolby, Frank Tip

IEEE Trans. Software Eng., 2021

Tracking Captured Variables in Types.

Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták, Martin Odersky

CoRR, 2021

Safer exceptions for Scala.

Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták

Proceedings of the SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, 2021

Safe object initialization, abstractly.

Fengyun Liu, Ondrej Lhoták, Enze Xing, Nguyen Cao Pham

Proceedings of the SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, 2021

2020

Fixpoints for the masses: programming with first-class Datalog constraints.

Magnus Madsen, Ondrej Lhoták

Proc. ACM Program. Lang., 2020

A type-and-effect system for object initialization.

Fengyun Liu, Ondrej Lhoták, Aggelos Biboudis, Paolo G. Giarrusso, Martin Odersky

Proc. ACM Program. Lang., 2020

ιDOT: a DOT calculus with object initialization.

Ifaz Kabir, Yufeng Li, Ondrej Lhoták

Proc. ACM Program. Lang., 2020

Undecidability of <i>d_<:</i> and its decidable fragments.

Jason Z. S. Hu, Ondrej Lhoták

Proc. ACM Program. Lang., 2020

Scala with Explicit Nulls (Artifact).

Abel Nieto, Yaoyu Zhao, Ondrej Lhoták, Angela Chang, Justin Pu

Dagstuhl Artifacts Ser., 2020

Blame for Null (Artifact).

Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták

Dagstuhl Artifacts Ser., 2020

Scala with Explicit Nulls.

Abel Nieto, Yaoyu Zhao, Ondrej Lhoták, Angela Chang, Justin Pu

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

Blame for Null.

Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

A Semantics for the Essence of React.

Magnus Madsen, Ondrej Lhoták, Frank Tip

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

Reference Mutability for DOT.

Vlastimil Dort, Ondrej Lhoták

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Fast detection of concurrency errors by state space traversal with randomization and early backtracking.

Pavel Parízek, Ondrej Lhoták

Int. J. Softw. Tools Technol. Transf., 2019

A path to DOT: formalizing fully path-dependent types.

Marianna Rapoport, Ondrej Lhoták

Proc. ACM Program. Lang., 2019

Precise Dataflow Analysis of Event-Driven Applications.

Ming-Ho Yee, Ayaz Badouraly, Ondrej Lhoták, Frank Tip, Jan Vitek

CoRR, 2019

Undecidability of $D_{<: }$ and Its Decidable Fragments.

Jason Z. S. Hu, Ondrej Lhoták

CoRR, 2019

2018

κDOT: scaling DOT with mutation and constructors.

Ifaz Kabir, Ondrej Lhoták

Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 2018

Implicit Parameters for Logic Programming.

Magnus Madsen, Ondrej Lhoták

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

Safe and sound program analysis with Flix.

Magnus Madsen, Ondrej Lhoták

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Tail call elimination and data representation for functional languages on the Java virtual machine.

Magnus Madsen, Ramin Zarifi, Ondrej Lhoták

Proceedings of the 27th International Conference on Compiler Construction, 2018

2017

A simple soundness proof for dependent object types.

Marianna Rapoport, Ifaz Kabir, Paul He, Ondrej Lhoták

Proc. ACM Program. Lang., 2017

A model for reasoning about JavaScript promises.

Magnus Madsen, Ondrej Lhoták, Frank Tip

Proc. ACM Program. Lang., 2017

Property Directed Reachability for Proving Absence of Concurrent Modification Errors.

Asya Frumkin, Yotam M. Y. Feldman, Ondrej Lhoták, Oded Padon, Mooly Sagiv, Sharon Shoham

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Context transformations for pointer analysis.

Rei Thiessen, Ondrej Lhoták

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Miniphases: compilation using modular and efficient tree transformations.

Dmitry Petrashko, Ondrej Lhoták, Martin Odersky

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Who you gonna call?: analyzing web requests in Android applications.

Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby

Proceedings of the 14th International Conference on Mining Software Repositories, 2017

Mutable WadlerFest DOT.

Marianna Rapoport, Ondrej Lhoták

Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017

Granullar: gradual nullable types for Java.

Dan Brotherston, Werner Dietl, Ondrej Lhoták

Proceedings of the 26th International Conference on Compiler Construction, 2017

2016

From Datalog to flix: a declarative language for fixed points on lattices.

Magnus Madsen, Ming-Ho Yee, Ondrej Lhoták

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Call graphs for languages with parametric polymorphism.

Dmitry Petrashko, Vlad Ureche, Ondrej Lhoták, Martin Odersky

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015

Type-Based Call Graph Construction Algorithms for Scala.

Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip

ACM Trans. Softw. Eng. Methodol., 2015

Model checking of concurrent programs with static analysis of field accesses.

Pavel Parízek, Ondrej Lhoták

Sci. Comput. Program., 2015

In defense of soundiness: a manifesto.

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

Commun. ACM, 2015

Precise Data Flow Analysis in the Presence of Correlated Method Calls.

Marianna Rapoport, Ondrej Lhoták, Frank Tip

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Static analysis of event-driven Node.js JavaScript applications.

Magnus Madsen, Frank Tip, Ondrej Lhoták

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

14th compiler-driven performance workshop.

Ondrej Lhoták, Xipeng Shen, Ettore Tiotto, Martin Hirzel, Clark Verbrugge

Proceedings of 25th Annual International Conference on Computer Science and Software Engineering, 2015

2014

Constructing Call Graphs of Scala Programs.

Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

Parallel execution of Java loops on Graphics Processing Units.

Alan Leung, Ondrej Lhoták, Ghulam Lashari

Sci. Comput. Program., 2013

Pointer Analysis (Dagstuhl Seminar 13162).

Ondrej Lhoták, Yannis Smaragdakis, Manu Sridharan

Dagstuhl Reports, 2013

Averroes: Whole-Program Analysis without the Whole Program.

Karim Ali, Ondrej Lhoták

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

Predicate abstraction of Java programs with collections.

Pavel Parízek, Ondrej Lhoták

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Application-Only Call Graph Construction.

Karim Ali, Ondrej Lhoták

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Programming Paradigm Driven Heap Analysis.

Mark Marron, Ondrej Lhoták, Anindya Banerjee

Proceedings of the Compiler Construction - 21st International Conference, 2012

11th Compiler-Driven Performance Workshop.

Ondrej Lhoták, José Nelson Amaral, Kit Barton, Martin Hirzel, J. Gregory Steffan

Proceedings of the Center for Advanced Studies on Collaborative Research, 2012

2011

Randomized Backtracking in State Space Traversal.

Pavel Parízek, Ondrej Lhoták

Proceedings of the Model Checking Software, 2011

Pick your contexts well: understanding object-sensitivity.

Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhoták

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Points-to analysis with efficient strong updates.

Ondrej Lhoták, Kwok-Chiang Andrew Chung

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Identifying future field accesses in exhaustive state space traversal.

Pavel Parízek, Ondrej Lhoták

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Actor-Based Parallel Dataflow Analysis.

Jonathan Rodriguez, Ondrej Lhoták

Proceedings of the Compiler Construction - 20th International Conference, 2011

Faster Alias Set Analysis Using Summaries.

Nomair A. Naeem, Ondrej Lhoták

Proceedings of the Compiler Construction - 20th International Conference, 2011

2010

An Optimal Encoding to Represent a Single Set in an ROBDD.

Ondrej Lhoták, Stephen Curial, José Nelson Amaral

IEEE Trans. Computers, 2010

Collaborative Runtime Verification with Tracematches.

Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem

J. Log. Comput., 2010

Practical Extensions to the IFDS Algorithm.

Nomair A. Naeem, Ondrej Lhoták, Jonathan Rodriguez

Proceedings of the Compiler Construction, 19th International Conference, 2010

9th Workshop on Compiler-Driven Performance.

Clark Verbrugge, J. Gregory Steffan, Mark G. Stoodley, Kit Barton, Ondrej Lhoták

Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

2009

Using XBDDs and ZBDDs in points-to analysis.

Ondrej Lhoták, Stephen Curial, José Nelson Amaral

Softw. Pract. Exp., 2009

Automatic parallelization for graphics processing units.

Alan Leung, Ondrej Lhoták, Ghulam Lashari

Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

Efficient alias set analysis using SSA form.

Nomair A. Naeem, Ondrej Lhoták

Proceedings of the 8th International Symposium on Memory Management, 2009

8th Workshop on Compiler-Driven Performance.

Greg Steffan, Mark G. Stoodley, David Grove, Ondrej Lhoták, Kit Barton

Proceedings of the 2009 conference of the Centre for Advanced Studies on Collaborative Research, 2009

2008

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

Ondrej Lhoták, Laurie J. Hendren

ACM Trans. Softw. Eng. Methodol., 2008

Relations as an abstraction for BDD-based program analysis.

Ondrej Lhoták, Laurie J. Hendren

ACM Trans. Program. Lang. Syst., 2008

Validating temporal properties of interacting objects.

Nomair A. Naeem, Ondrej Lhoták

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Typestate-like analysis of multiple interacting objects.

Nomair A. Naeem, Ondrej Lhoták

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Efficient Set Sharing Using ZBDDs.

Mario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo

Proceedings of the Languages and Compilers for Parallel Computing, 2008

Control Flow Emulation on Tiled SIMD Architectures.

Ghulam Lashari, Ondrej Lhoták, Michael McCool

Proceedings of the Compiler Construction, 17th International Conference, 2008

2007

Comparing call graphs.

Ondrej Lhoták

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

OOMatch: pattern matching as dispatch in Java.

Adam Richard, Ondrej Lhoták

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Using ZBDDs in Points-to Analysis.

Ondrej Lhoták, Stephen Curial, José Nelson Amaral

Proceedings of the Languages and Compilers for Parallel Computing, 2007

A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring.

Eric Bodden, Laurie J. Hendren, Ondrej Lhoták

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2006

<i>abc</i> : An Extensible AspectJ Compiler.

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

LNCS Trans. Aspect Oriented Softw. Dev., 2006

Efficient trace monitoring.

Pavel Avgustinov, Julian Tibble, Eric Bodden, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Ganesh Sittampalam

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Aspects for Trace Monitoring.

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

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

Context-Sensitive Points-to Analysis: Is It Worth It?.

Ondrej Lhoták, Laurie J. Hendren

Proceedings of the Compiler Construction, 15th International Conference, 2006

2005

Run-time evaluation of opportunities for object inlining in Java.

Ondrej Lhoták, Laurie J. Hendren

Concurr. Pract. Exp., 2005

Optimising aspectJ.

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

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Adding trace matching with free variables to AspectJ.

Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

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 Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Clark Verbrugge

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

<i>abc</i>: The AspectBench Compiler for AspectJ.

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

Proceedings of the Generative Programming and Component Engineering, 2005

Using Inter-Procedural Side-Effect Information in JIT Optimizations.

Anatole Le, Ondrej Lhoták, Laurie J. Hendren

Proceedings of the Compiler Construction, 14th International Conference, 2005

abc: an extensible AspectJ compiler.

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

Proceedings of the 4th International Conference on Aspect-Oriented Software Development, 2005

2004

Visualizing Program Analysis with the Soot-Eclipse Plugin.

Jennifer Lhoták, Ondrej Lhoták

Proceedings of the Second Eclipse Technology Exchange: eTX and the Eclipse Phenomenon, 2004

Jedd: a BDD-based relational extension of Java.

Ondrej Lhoták, Laurie J. Hendren

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

Integrating the Soot Compiler Infrastructure into an IDE.

Jennifer Lhoták, Ondrej Lhoták, Laurie J. Hendren

Proceedings of the Compiler Construction, 13th International Conference, 2004

2003

Points-to analysis using BDDs.

Marc Berndl, Ondrej Lhoták, Feng Qian, Laurie J. Hendren, Navindra Umanee

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

Scaling Java Points-to Analysis Using SPARK.

Ondrej Lhoták, Laurie J. Hendren

Proceedings of the Compiler Construction, 12th International Conference, 2003

1999

Estimating Precision by Random Sampling (poster abstract).

Gordon V. Cormack, Ondrej Lhoták, Christopher R. Palmer

Proceedings of the SIGIR '99: Proceedings of the 22nd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 1999