default search action
Ondrej Lhoták
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j28]Vlastimil Dort, Yufeng Li, Ondrej Lhoták, Pavel Parízek:
Pure Methods for roDOT (Artifact). Dagstuhl Artifacts Ser. 10(2): 6:1-6:8 (2024) - [j27]Edward Lee, Yaoyu Zhao
, Ondrej Lhoták, James You
Qualifying System F<: Some Terms and Conditions May Apply. Proc. ACM Program. Lang. 8(OOPSLA1): 583-612 (2024) - [c68]Vlastimil Dort, Yufeng Li, Ondrej Lhoták, Pavel Parízek:
Pure Methods for roDOT. ECOOP 2024: 13:1-13:29 - 2023
- [j26]Edward Lee
Simple Reference Immutability for System F. Proc. ACM Program. Lang. 7(OOPSLA2): 857-881 (2023) - [j25]Fengyun Liu
Initializing Global Objects: Time and Order. Proc. ACM Program. Lang. 7(OOPSLA2): 1310-1337 (2023) - [j24]Matt D'Souza
TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism. Proc. ACM Program. Lang. 7(OOPSLA2): 1561-1588 (2023) - [j23]Aleksander Boruch-Gruszecki
Capturing Types. ACM Trans. Program. Lang. Syst. 45(4): 21:1-21:52 (2023) - [c67]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: 31:1-31:28 - [c66]Edward Lee, Kavin Satheeskumar, Ondrej Lhoták:
Dependency-Free Capture Tracking. FTfJP@ECOOP 2023: 39-43 - [e2]Clark Verbrugge, Ondrej Lhoták, Xipeng Shen:
Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, CC 2023, Montréal, QC, Canada, February 25-26, 2023. ACM 2023, ISBN 979-8-4007-0088-0 [contents] - [i11]Edward Lee, Ondrej Lhoták:
Simple Reference Immutability for System F-sub. CoRR abs/2307.04960 (2023) - [i10]Edward Lee, Yaoyu Zhao, James You, Kavin Satheeskumar, Ondrej Lhoták, Jonathan Immanuel Brachthäuser
Qualifying System F-sub. CoRR abs/2311.07480 (2023) - 2022
- [c65]Magnus Madsen, Jonathan Lindegaard Starup, Ondrej Lhoták:
Flix: A Meta Programming Language for Datalog. Datalog 2022: 202-206 - [c64]Yaoyu Zhao, Ondrej Lhoták:
Explicit nulls with unsafe nulls. SCALA@ECOOP 2022: 28 - [i9]Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee, Jonathan Immanuel Brachthäuser, Ondrej Lhoták:
Scoped Capabilities for Polymorphic Effects. CoRR abs/2207.03402 (2022) - 2021
- [j22]Karim Ali
A Study of Call Graph Construction for JVM-Hosted Languages. IEEE Trans. Software Eng. 47(12): 2644-2666 (2021) - [c63]Martin Odersky, Aleksander Boruch-Gruszecki
Safer exceptions for Scala. SCALA@SPLASH 2021: 1-11 - [c62]Fengyun Liu, Ondrej Lhoták, Enze Xing, Nguyen Cao Pham:
Safe object initialization, abstractly. SCALA@SPLASH 2021: 33-43 - [i8]Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták, Martin Odersky:
Tracking Captured Variables in Types. CoRR abs/2105.11896 (2021) - 2020
- [j21]Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták:
Blame for Null (Artifact). Dagstuhl Artifacts Ser. 6(2): 10:1-10:2 (2020) - [j20]Abel Nieto, Yaoyu Zhao, Ondrej Lhoták, Angela Chang, Justin Pu:
Scala with Explicit Nulls (Artifact). Dagstuhl Artifacts Ser. 6(2): 14:1-14:2 (2020) - [j19]Magnus Madsen, Ondrej Lhoták:
Fixpoints for the masses: programming with first-class Datalog constraints. Proc. ACM Program. Lang. 4(OOPSLA): 125:1-125:28 (2020) - [j18]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): 175:1-175:28 (2020) - [j17]Ifaz Kabir, Yufeng Li, Ondrej Lhoták:
ιDOT: a DOT calculus with object initialization. Proc. ACM Program. Lang. 4(OOPSLA): 208:1-208:28 (2020) - [j16]Jason Z. S. Hu
Undecidability of d<: and its decidable fragments. Proc. ACM Program. Lang. 4(POPL): 9:1-9:30 (2020) - [c61]Abel Nieto
Blame for Null. ECOOP 2020: 3:1-3:28 - [c60]Magnus Madsen
A Semantics for the Essence of React. ECOOP 2020: 12:1-12:26 - [c59]Vlastimil Dort
Reference Mutability for DOT. ECOOP 2020: 18:1-18:28 - [c58]Abel Nieto
Scala with Explicit Nulls. ECOOP 2020: 25:1-25:26
2010 – 2019
- 2019
- [j15]Marianna Rapoport, Ondrej Lhoták:
A path to DOT: formalizing fully path-dependent types. Proc. ACM Program. Lang. 3(OOPSLA): 145:1-145:29 (2019) - [j14]Pavel Parízek
Fast detection of concurrency errors by state space traversal with randomization and early backtracking. Int. J. Softw. Tools Technol. Transf. 21(4): 365-400 (2019) - [i7]Marianna Rapoport, Ondrej Lhoták:
A Path To DOT: Formalizing Fully-Path-Dependent Types. CoRR abs/1904.07298 (2019) - [i6]Jason Z. S. Hu, Ondrej Lhoták:
Undecidability of $D_{<: }$ and Its Decidable Fragments. CoRR abs/1908.05294 (2019) - [i5]Ming-Ho Yee, Ayaz Badouraly, Ondrej Lhoták, Frank Tip, Jan Vitek:
Precise Dataflow Analysis of Event-Driven Applications. CoRR abs/1910.12935 (2019) - 2018
- [c57]Magnus Madsen, Ramin Zarifi, Ondrej Lhoták:
Tail call elimination and data representation for functional languages on the Java virtual machine. CC 2018: 139-150 - [c56]Magnus Madsen, Ondrej Lhoták:
Safe and sound program analysis with Flix. ISSTA 2018: 38-48 - [c55]Magnus Madsen, Ondrej Lhoták:
Implicit Parameters for Logic Programming. PPDP 2018: 14:1-14:14 - [c54]Ifaz Kabir, Ondrej Lhoták:
κDOT: scaling DOT with mutation and constructors. SCALA@ICFP 2018: 40-50 - 2017
- [j13]Marianna Rapoport, Ifaz Kabir, Paul He, Ondrej Lhoták:
A simple soundness proof for dependent object types. Proc. ACM Program. Lang. 1(OOPSLA): 46:1-46:27 (2017) - [j12]Magnus Madsen, Ondrej Lhoták, Frank Tip:
A model for reasoning about JavaScript promises. Proc. ACM Program. Lang. 1(OOPSLA): 86:1-86:24 (2017) - [c53]Dan Brotherston, Werner Dietl, Ondrej Lhoták:
Granullar: gradual nullable types for Java. CC 2017: 87-97 - [c52]Marianna Rapoport, Ondrej Lhoták:
Mutable WadlerFest DOT. FTfJP@ECOOP 2017: 7:1-7:6 - [c51]Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby:
Who you gonna call?: analyzing web requests in Android applications. MSR 2017: 80-90 - [c50]Dmitry Petrashko, Ondrej Lhoták, Martin Odersky:
Miniphases: compilation using modular and efficient tree transformations. PLDI 2017: 201-216 - [c49]Rei Thiessen, Ondrej Lhoták:
Context transformations for pointer analysis. PLDI 2017: 263-277 - [c48]Asya Frumkin, Yotam M. Y. Feldman
Property Directed Reachability for Proving Absence of Concurrent Modification Errors. VMCAI 2017: 209-227 - [e1]Heather Miller, Philipp Haller, Ondrej Lhoták:
Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017. ACM 2017 [contents] - [i4]Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby:
Who you gonna call? Analyzing Web Requests in Android Applications. CoRR abs/1705.06629 (2017) - [i3]Marianna Rapoport, Ifaz Kabir, Paul He, Ondrej Lhoták:
A Simple Soundness Proof for Dependent Object Types. CoRR abs/1706.03814 (2017) - 2016
- [c47]Dmitry Petrashko, Vlad Ureche, Ondrej Lhoták, Martin Odersky:
Call graphs for languages with parametric polymorphism. OOPSLA 2016: 394-409 - [c46]Magnus Madsen, Ming-Ho Yee
From Datalog to flix: a declarative language for fixed points on lattices. PLDI 2016: 194-208 - [i2]Marianna Rapoport, Ondrej Lhoták:
Mutable WadlerFest DOT. CoRR abs/1611.07610 (2016) - 2015
- [j11]Benjamin Livshits, Manu Sridharan
In defense of soundiness: a manifesto. Commun. ACM 58(2): 44-46 (2015) - [j10]Pavel Parízek
Model checking of concurrent programs with static analysis of field accesses. Sci. Comput. Program. 98: 735-763 (2015) - [j9]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): 9:1-9:43 (2015) - [c45]Ondrej Lhoták, Xipeng Shen, Ettore Tiotto, Martin Hirzel, Clark Verbrugge:
14th compiler-driven performance workshop. CASCON 2015: 310-312 - [c44]Magnus Madsen, Frank Tip, Ondrej Lhoták:
Static analysis of event-driven Node.js JavaScript applications. OOPSLA 2015: 505-519 - [c43]Marianna Rapoport, Ondrej Lhoták, Frank Tip:
Precise Data Flow Analysis in the Presence of Correlated Method Calls. SAS 2015: 54-71 - 2014
- [c42]Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip:
Constructing Call Graphs of Scala Programs. ECOOP 2014: 54-79 - 2013
- [j8]Alan Leung, Ondrej Lhoták, Ghulam Lashari:
Parallel execution of Java loops on Graphics Processing Units. Sci. Comput. Program. 78(5): 458-480 (2013) - [c41]Karim Ali, Ondrej Lhoták:
Averroes: Whole-Program Analysis without the Whole Program. ECOOP 2013: 378-400 - [i1]Ondrej Lhoták, Yannis Smaragdakis, Manu Sridharan:
Pointer Analysis (Dagstuhl Seminar 13162). Dagstuhl Reports 3(4): 91-113 (2013) - 2012
- [c40]Ondrej Lhoták, José Nelson Amaral, Kit Barton, Martin Hirzel, J. Gregory Steffan:
11th Compiler-Driven Performance Workshop. CASCON 2012: 239-240 - [c39]Mark Marron, Ondrej Lhoták, Anindya Banerjee:
Programming Paradigm Driven Heap Analysis. CC 2012: 41-60 - [c38]Karim Ali, Ondrej Lhoták:
Application-Only Call Graph Construction. ECOOP 2012: 688-712 - [c37]Pavel Parízek
Predicate abstraction of Java programs with collections. OOPSLA 2012: 75-94 - 2011
- [c36]Nomair A. Naeem, Ondrej Lhoták:
Faster Alias Set Analysis Using Summaries. CC 2011: 82-103 - [c35]Jonathan Rodriguez, Ondrej Lhoták:
Actor-Based Parallel Dataflow Analysis. CC 2011: 179-197 - [c34]Pavel Parízek
Identifying future field accesses in exhaustive state space traversal. ASE 2011: 93-102 - [c33]Ondrej Lhoták, Kwok-Chiang Andrew Chung:
Points-to analysis with efficient strong updates. POPL 2011: 3-16 - [c32]Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhoták:
Pick your contexts well: understanding object-sensitivity. POPL 2011: 17-30 - [c31]Pavel Parízek
Randomized Backtracking in State Space Traversal. SPIN 2011: 75-89 - 2010
- [j7]Eric Bodden
Collaborative Runtime Verification with Tracematches. J. Log. Comput. 20(3): 707-723 (2010) - [j6]Ondrej Lhoták, Stephen Curial, José Nelson Amaral:
An Optimal Encoding to Represent a Single Set in an ROBDD. IEEE Trans. Computers 59(4): 574-575 (2010) - [c30]Clark Verbrugge, J. Gregory Steffan, Mark G. Stoodley, Kit Barton, Ondrej Lhoták:
9th Workshop on Compiler-Driven Performance. CASCON 2010: 412-413 - [c29]Nomair A. Naeem, Ondrej Lhoták, Jonathan Rodriguez:
Practical Extensions to the IFDS Algorithm. CC 2010: 124-144
2000 – 2009
- 2009
- [j5]Ondrej Lhoták, Stephen Curial, José Nelson Amaral:
Using XBDDs and ZBDDs in points-to analysis. Softw. Pract. Exp. 39(2): 163-188 (2009) - [c28]Greg Steffan, Mark G. Stoodley, David Grove, Ondrej Lhoták, Kit Barton:
8th Workshop on Compiler-Driven Performance. CASCON 2009: 315-316 - [c27]Nomair A. Naeem, Ondrej Lhoták:
Efficient alias set analysis using SSA form. ISMM 2009: 79-88 - [c26]Alan Leung, Ondrej Lhoták, Ghulam Lashari:
Automatic parallelization for graphics processing units. PPPJ 2009: 91-100 - 2008
- [j4]Ondrej Lhoták, Laurie J. Hendren:
Relations as an abstraction for BDD-based program analysis. ACM Trans. Program. Lang. Syst. 30(4): 19:1-19:63 (2008) - [j3]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): 3:1-3:53 (2008) - [c25]Ghulam Lashari, Ondrej Lhoták, Michael McCool:
Control Flow Emulation on Tiled SIMD Architectures. CC 2008: 100-115 - [c24]Mario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo
Efficient Set Sharing Using ZBDDs. LCPC 2008: 47-63 - [c23]Nomair A. Naeem, Ondrej Lhoták:
Typestate-like analysis of multiple interacting objects. OOPSLA 2008: 347-366 - [c22]Nomair A. Naeem, Ondrej Lhoták:
Validating temporal properties of interacting objects. OOPSLA Companion 2008: 903-904 - 2007
- [c21]Eric Bodden, Laurie J. Hendren, Ondrej Lhoták:
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring. ECOOP 2007: 525-549 - [c20]Ondrej Lhoták, Stephen Curial, José Nelson Amaral:
Using ZBDDs in Points-to Analysis. LCPC 2007: 338-352 - [c19]Adam Richard, Ondrej Lhoták:
OOMatch: pattern matching as dispatch in Java. OOPSLA Companion 2007: 771-772 - [c18]Ondrej Lhoták:
Comparing call graphs. PASTE 2007: 37-42 - [c17]Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem:
Collaborative Runtime Verification with Tracematches. RV 2007: 22-37 - 2006
- [j2]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. LNCS Trans. Aspect Oriented Softw. Dev. 1: 293-334 (2006) - [c16]Ondrej Lhoták, Laurie J. Hendren:
Context-Sensitive Points-to Analysis: Is It Worth It?. CC 2006: 47-64 - [c15]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: 20-39 - [c14]Pavel Avgustinov, Julian Tibble, Eric Bodden
Efficient trace monitoring. OOPSLA Companion 2006: 685-686 - 2005
- [j1]Ondrej Lhoták, Laurie J. Hendren:
Run-time evaluation of opportunities for object inlining in Java. Concurr. Pract. Exp. 17(5-6): 515-537 (2005) - [c13]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: 87-98 - [c12]Anatole Le, Ondrej Lhoták, Laurie J. Hendren:
Using Inter-Procedural Side-Effect Information in JIT Optimizations. CC 2005: 287-304 - [c11]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:
abc: The AspectBench Compiler for AspectJ. GPCE 2005: 10-16 - [c10]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: 88-89 - [c9]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: 345-364 - [c8]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: 117-128 - 2004
- [c7]Jennifer Lhoták, Ondrej Lhoták, Laurie J. Hendren:
Integrating the Soot Compiler Infrastructure into an IDE. CC 2004: 281-297 - [c6]Ondrej Lhoták, Laurie J. Hendren:
Jedd: a BDD-based relational extension of Java. PLDI 2004: 158-169 - [c5]Jennifer Lhoták, Ondrej Lhoták:
Visualizing Program Analysis with the Soot-Eclipse Plugin. eTX 2004: 27-31 - 2003
- [c4]Ondrej Lhoták, Laurie J. Hendren:
Scaling Java Points-to Analysis Using SPARK. CC 2003: 153-169 - [c3]Marc Berndl, Ondrej Lhoták, Feng Qian, Laurie J. Hendren, Navindra Umanee:
Points-to analysis using BDDs. PLDI 2003: 103-114 - 2002
- [c2]Ondrej Lhoták, Laurie J. Hendren:
Run-time evaluation of opportunities for object inlining in Java. Java Grande 2002: 175-184
1990 – 1999
- 1999
- [c1]Gordon V. Cormack, Ondrej Lhoták, Christopher R. Palmer:
Estimating Precision by Random Sampling (poster abstract). SIGIR 1999: 273-274
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: