Personal profile
Research interests
Computer Science / Information Technology - Type systems
Computer Science / Information Technology - Functional programming
Computer Science / Information Technology - Generative programming
Computer Science / Information Technology - Language design
Computer Science / Information Technology - Compiler optimizations
Related documents
Education/Academic qualification
PhD in Computer Science, PhD, Swiss Federal Institute of Technology Lausanne
2020
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
A Lightweight Type System for Scope and Effect Safety with Complete Bidirectional & Boolean-algebraic Type Inference
PARREAUX, L. (PI)
25/09/24 → 24/09/27
Project: Research
-
Optimizing Functional Programs by Building on Optimal Graph Reduction Techniques
PARREAUX, L. (PI)
1/01/22 → 30/06/25
Project: Research
Research output
-
The Simple Essence of Boolean-Algebraic Subtyping: Semantic Soundness for Algebraic Union, Intersection, Negation, and Equi-recursive Types
Chau, C. Y. & Parreaux, L., 8 Jan 2026, In: Proceedings of the ACM on Programming Languages. 10, POPL, p. 1353-1382 30 p.Research output: Contribution to journal › Journal Article › peer-review
Open Access -
A lightweight type-and-effect system for invalidation saftey0tracking permanent and temporary invalidation with constraint-based subtype inference
Gao, C. & Parreaux, L., 9 Oct 2025, In: Proceedings of the ACM on Programming Languages. 9, OOPSLA2, p. 2623-2653 31 p., 3763144.Research output: Contribution to journal › Journal Article › peer-review
Open Access1 Link opens in a new tab Citation (Scopus) -
Being Lazy When It Counts Practical Constant-Time Memory Management for Functional Programming
Lam, C. K. & Parreaux, L., 2024, Functional and Logic Programming - 17th International Symposium, FLOPS 2024, Proceedings. Gibbons, J. & Miller, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 188-216 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14659 LNCS).Research output: Chapter in Book/Conference Proceeding/Report › Conference Paper published in a book › peer-review
1 Link opens in a new tab Citation (Scopus) -
Fast and Optimal Extraction for Sparse Equality Graphs
Goharshady, A. K., Lam, C. K. & Parreaux, L., 8 Oct 2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA2, 361.Research output: Contribution to journal › Journal Article › peer-review
Open Access7 Link opens in a new tab Citations (Scopus) -
Implementation for Seamless Scope-Safe Metaprogramming through Polymorphic Subtype Inference (Short Paper)
Gao, C. (Composer) & Parreaux, L. E. V., 2024Research output: Non-textual form › Software
Awards
-
Distinguished Artifact at OOPSLA 2025
GAO, C. (Recipient) & PARREAUX, L. (Recipient), 2025
Prize: Other Research Award and Prize
-
Nomination for SENG Teaching Excellence Appreciation Award 2023-24
PARREAUX, L. E. V. (Recipient), Dec 2025
Prize: Honorary Award
-
-
OOPSLA Distinguished Paper Award
PARREAUX, L. E. V. (Recipient), 2024
Prize: Best Paper Award and Prize
-
OOPSLA Distinguished Paper Award
PARREAUX, L. E. V. (Recipient), 2024
Prize: Best Paper Award and Prize