Ondřej Lhoták

Registered user since Wed 14 Sep 2016

Name:Ondřej Lhoták
Country:Canada
Affiliation:University of Waterloo

Contributions

ECOOP 2023 Author of Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints within the Research Papers-track
CC 2023 Session Chair of Keynote (part of Research Papers)
PC Chair in Organizing Committee
PC Chair in Program Committee within the Research Papers-track
VMIL 2022 Committee Member in Organizing Committee within the Virtual Machines and Language Implementations-track
Scala 2022 Author of Explicit Nulls with Unsafe Nulls (Student Talk) within the Scala 2022-track
Committee Member in Program Committee within the Scala 2022-track
Scala 2021 Author of Safer Exceptions for Scala within the Scala-track
Author of Safe Object Initialization, Abstractly within the Scala-track
SPLASH 2020 Author of A Type-and-Effect System for Object Initialization within the OOPSLA-track
Author of Fixpoints for the Masses: Programming with First-Class Datalog Constraints within the OOPSLA-track
Author of ιDOT: A DOT Calculus with Object Initialization within the OOPSLA-track
Committee Member in External Review Committee within the OOPSLA-track
Author of A Type-and-Effect System for Object Initialization within the OOPSLA Artifacts-track
Author of ιDOT: A DOT Calculus with Object Initialization within the OOPSLA Artifacts-track
ECOOP 2020 Author of A Semantics for the Essence of React within the Research Papers-track
Author of Scala with Explicit Nulls within the Research Papers-track
Author of Blame for Null within the Artifacts-track
Author of Reference immutability for DOT within the Research Papers-track
Author of Blame for Null within the Research Papers-track
Author of Scala with Explicit Nulls within the Artifacts-track
ESEC/FSE 2020 Author of A Study of Call Graph Construction for JVM-Hosted Languages within the Journal First-track
PLDI 2020 Committee Member in External Program Committee within the PLDI Research Papers-track
POPL 2020 Author of Undecidability of D<: and Its Decidable Fragments within the Research Papers-track
SPLASH 2019 Author of A Path to DOT: Formalizing Fully Path-Dependent Types within the OOPSLA-track
Author of A Path to DOT: Formalizing Fully Path-Dependent Types within the OOPSLA Artifacts-track
Committee Member in Review Committee within the OOPSLA-track
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
Scala 2019 Author in Steering Committee within the Scala 2019-track
PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Scala 2018 Author of κDOT: Scaling DOT with Mutation and Constructors within the Scala 2018-track
Author of Scala with explicit nulls (student talk) within the Scala 2018-track
Committee Member in Steering Committee within the Scala 2018-track
ISSTA 2018 Author of Safe and Sound Program Analysis with Flix within the ISSTA Technical Papers-track
VMCAI 2018 Committee Member in Program Committee within the VMCAI 2018-track
SPLASH 2017 Author of A Simple Soundness Proof for Dependent Object Types within the OOPSLA-track
Author of A Model for Reasoning about JavaScript Promises within the OOPSLA-track
Scala 2017 Scala'17 Program Chair in Organizing Committee within the Scala 2017-track
Session Chair of Keynote Monday (part of Scala 2017)
FTfJP 2017 Author of Mutable WadlerFest DOT within the FTfJP 2017-track
PLDI 2017 Committee Member in External Program Committee
Author of Context Transformations for Pointer Analysis within the PLDI Research Papers-track
Author of Miniphases: Compilation using Modular and Efficient Tree Transformations within the PLDI Research Papers-track
CC 2017 Author of Granullar: Gradual Nullable Types for Java within the Research Papers-track
VMCAI 2017 Author of Property Directed Reachability for Proving Absence of Concurrent Modification Errors within the VMCAI-track
SPLASH 2016 Session Chair of Program Modeling and Learning (part of OOPSLA)
Author of Call Graphs for Languages with Parametric Polymorphism within the OOPSLA-track
ECOOP 2016 Author of Flix and its Implementation: A Language for Static Analysis within the Posters-track
PLDI 2016 Author of From Datalog to Flix: A Declarative Language for Fixed Points on Lattices within the Research Papers-track
SPLASH 2015 Author of Static Analysis of Event-Driven Node.js JavaScript Applications within the OOPSLA-track
ECOOP 2015 Publicity Chair in Organizing Committee
PLDI 2015 Committee Member in External Review Committee within the Research Papers-track
SPLASH 2012 Author of Predicate abstraction of Java programs with collections within the OOPSLA Research Papers-track
Committee Member in External Reviewers within the OOPSLA Research Papers-track