conf.researchr.org / 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 from EPFL, in the Data Analysis Theory and Applications Laboratory (DATA), where I created the Squid type-safe metaprogramming library for Scala.
Country:Hong Kong SAR China
Affiliation:HKUST (The Hong Kong University of Science and Technology)
Personal website: https://cse.hkust.edu.hk/~parreaux/author/lionel-parreaux/
X (Twitter): https://x.com/lparreaux
GitHub: https://github.com/LPTK
Contributions
2025
2024
GPCE
SPLASH
Unsound
ICFP
- Author of The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures (Artifact) within the Artifact Evaluation-track
- Author of The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures within the ICFP Papers and Events-track
2023
2022
SPLASH
- 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