Fixpoints for the masses: programming with first-class Datalog constraints
Madsen, Magnus, Lhoták, Ondřej
Published in Proceedings of ACM on programming languages (13.11.2020)
Published in Proceedings of ACM on programming languages (13.11.2020)
Get full text
Journal Article
A model for reasoning about JavaScript promises
Madsen, Magnus, Lhoták, Ondřej, Tip, Frank
Published in Proceedings of ACM on programming languages (01.10.2017)
Published in Proceedings of ACM on programming languages (01.10.2017)
Get full text
Journal Article
Initializing Global Objects: Time and Order
Liu, Fengyun, Lhoták, Ondřej, Hua, David, Xing, Enze
Published in Proceedings of ACM on programming languages (16.10.2023)
Published in Proceedings of ACM on programming languages (16.10.2023)
Get full text
Journal Article
A path to DOT: formalizing fully path-dependent types
Rapoport, Marianna, Lhoták, Ondřej
Published in Proceedings of ACM on programming languages (01.10.2019)
Published in Proceedings of ACM on programming languages (01.10.2019)
Get full text
Journal Article
TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism
D'Souza, Matt, You, James, Lhoták, Ondřej, Prokopec, Aleksandar
Published in Proceedings of ACM on programming languages (16.10.2023)
Published in Proceedings of ACM on programming languages (16.10.2023)
Get full text
Journal Article
ιDOT: a DOT calculus with object initialization
Kabir, Ifaz, Li, Yufeng, Lhoták, Ondřej
Published in Proceedings of ACM on programming languages (13.11.2020)
Published in Proceedings of ACM on programming languages (13.11.2020)
Get full text
Journal Article
Qualifying System F<:: Some Terms and Conditions May Apply
Lee, Edward, Zhao, Yaoyu, Lhoták, Ondřej, You, James, Satheeskumar, Kavin, Brachthäuser, Jonathan Immanuel
Published in Proceedings of ACM on programming languages (29.04.2024)
Published in Proceedings of ACM on programming languages (29.04.2024)
Get full text
Journal Article
A type-and-effect system for object initialization
Liu, Fengyun, Lhoták, Ondřej, Biboudis, Aggelos, Giarrusso, Paolo G., Odersky, Martin
Published in Proceedings of ACM on programming languages (13.11.2020)
Published in Proceedings of ACM on programming languages (13.11.2020)
Get full text
Journal Article
A simple soundness proof for dependent object types
Rapoport, Marianna, Kabir, Ifaz, He, Paul, Lhoták, Ondřej
Published in Proceedings of ACM on programming languages (01.10.2017)
Published in Proceedings of ACM on programming languages (01.10.2017)
Get full text
Journal Article
Undecidability of d <: and its decidable fragments
Hu, Jason Z. S., Lhoták, Ondřej
Published in Proceedings of ACM on programming languages (01.01.2020)
Published in Proceedings of ACM on programming languages (01.01.2020)
Get full text
Journal Article
Parallel execution of Java loops on Graphics Processing Units
Leung, Alan, Lhoták, Ondřej, Lashari, Ghulam
Published in Science of computer programming (01.05.2013)
Published in Science of computer programming (01.05.2013)
Get full text
Journal Article
Identifying future field accesses in exhaustive state space traversal
Parizek, Pavel, Parizek, Pavel, Lhotak, Ondrej
Published in 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (06.11.2011)
Published in 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (06.11.2011)
Get full text
Conference Proceeding