Lionel Parreaux -

Registered user since Mon 16 Jan 2017

Name:Lionel Parreaux

Bio:

I am an Assistant Professor at the HKUST CSE department since February 2021. I am looking for students to join my research group! Please contact me (first-name dot last-name at gmail.com) if you’d like to work on something related to programming languages, type systems, or compiler optimization.

I obtained my PhD in 2020 at EPFL, in the Data Analysis Theory and Applications Laboratory (DATA), where I created the Squid type-safe metaprogramming library for Scala.

Affiliation:HKUST (The Hong Kong University of Science and Technology)

Personal website:https://cse.hkust.edu.hk/~parreaux/author/lionel-parreaux/

Twitter:https://twitter.com/lparreaux

GitHub:https://github.com/LPTK

Contributions

GPCE 2023	Committee Member in Program Committee within the GPCE 2023-track
ICFP 2023	Committee Member in Program Committee within the ICFP Research Papers-track
ECOOP 2023	Author of super-charging Object-Oriented Programming through Precise Typing of Open Recursion within the Research Papers-track
SPLASH 2022	Committee Member in Reviewers within the Student Research Competition-track Author of MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types within the OOPSLA-track Author of A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning within the OOPSLA-track Committee Member in Judges within the Student Research Competition-track
ML 2022	Committee Member in Program Committee within the ML-track Author of The Ultimate Conditional Syntax within the ML-track
Scala 2022	Committee Member in Program Committee within the Scala 2022-track
PADL 2022	Committee Member in Programme Committee within the PADL 2022-track
Scala 2021	Author of Implementing Path-Dependent GADT Reasoning for Scala 3 within the Scala-track Committee Member in Program Committee within the Scala-track
ICFP 2021	Committee Member in Program Committee within the Student Research Competition-track
SPLASH 2020	Mentor in Mentors within the PLMW-track
GPCE 2020	Author of Multi-stage Programming in the Large with Staged Classes within the GPCE-track
ICFP 2020	Author of The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl) within the ICFP Program-track
ECOOP 2019	Author of Finally, a Polymorphic Linear Algebra Language within the Research Papers-track Author of Finally, a Polymorphic Linear Algebra Language within the Posters-track
Scala 2019	Author of Towards Improved GADT Reasoning in Scala within the Scala 2019-track
TyDe 2018	Author of Extended Abstract: Comprehending Monoids with Class within the TyDe 2018-track
POPL 2018	Author of Unifying Analytic and Statically-Typed Quasiquotes within the Artifact Evaluation-track Author of Unifying Analytic and Statically-Typed Quasiquotes within the Research Papers-track
SPLASH 2017	Author of Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations within the Posters-track
GPCE 2017	Author of Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations within the GPCE 2017-track
Scala 2017	Author of Squid: Type-Safe, Hygienic, and Reusable Quasiquotes within the Scala 2017-track