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

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