Ondrej Lhoták

110 papers A* 10A 17B 15C 2Journal 41Unranked 24

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