Ondřej Lhoták -

Registered user since Wed 14 Sep 2016

Name: Ondřej Lhoták

Country: Canada

Affiliation: University of Waterloo

Personal website: http://plg.uwaterloo.ca/~olhotak/

Contributions

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 Reference immutability for DOT within the Research Papers-track Author of Blame for Null within the Research Papers-track
SPLASH 2020	Committee Member in External Review Committee within the OOPSLA-track
PLDI 2020	Committee Member in External Program Committee within the PLDI Research Papers-track
Scala 2019	Author in Steering Committee within the Scala 2019-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
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
ICFP 2019	Committee Member in External Review Committee within the Research Papers-track
VMCAI 2018	Committee Member in Program Committee within the VMCAI 2018-track
FTfJP 2017	Author of Mutable WadlerFest DOT within the FTfJP 2017-track
Scala 2017	Scala'17 Program Chair in Organizing Committee within the Scala 2017-track Session Chair of Keynote Monday (part of Scala 2017)
VMCAI 2017	Author of Property Directed Reachability for Proving Absence of Concurrent Modification Errors within the VMCAI-track
CC 2017	Author of Granullar: Gradual Nullable Types for Java within the Research Papers-track
ISSTA 2018	Author of Safe and Sound Program Analysis with Flix within the ISSTA Technical Papers-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
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
PLDI 2016	Author of From Datalog to Flix: A Declarative Language for Fixed Points on Lattices within the Research Papers-track
ECOOP 2016	Author of Flix and its Implementation: A Language for Static Analysis within the Posters-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
SPLASH 2015	Author of Static Analysis of Event-Driven Node.js JavaScript Applications within the OOPSLA-track
PLDI 2015	Committee Member in External Review Committee within the Research Papers-track
ECOOP 2015	Publicity Chair in Organizing Committee
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