Projects per year
Personal profile
Research interests
Computer Science / Information Technology - Programming languages
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
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
Dive into the research topics where Lionel PARREAUX is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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
-
A Lightweight Type-and-Effect System for Invalidation Safety: Tracking 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., 366.Research output: Contribution to journal › Journal Article › peer-review
Open Access -
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 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 Access3 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
-
Seamless Scope-Safe Metaprogramming through Polymorphic Subtype Inference (Short Paper)
GAO, C. & PARREAUX, L., Oct 2024, p. 121-127.Research output: Contribution to conference › Conference Paper › peer-review
Awards
-
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
-