Faculty Profiles - PARREAUX Lionel | The Hong Kong University of Science and Technology

Lionel PARREAUX

PhD in Computer Science
Swiss Federal Institute of Technology, Lausanne (EPFL), 2020

Assistant Professor
Department of Computer Science and Engineering

Google Scholar

jQqTdHwAAAAJ

ORCID

0000-0002-8805-0728

Scopus ID

57190394119

Research Interest

Programming languages
Type systems
Functional programming
Generative programming
Language design
Compiler optimizations

Publications

2024 3

The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures

Proceedings of the ACM on Programming Languages, v. 8, (ICFP), August 2024, article number 245, p. 249-283
Chen, Yijia; Parreaux, Lionel Emile Vincent
Article

When Subtyping Constraints Liberate A Novel Type Inference Approach for First-Class Polymorphism

Proceedings of the ACM on Programming Languages, v. 8, (POPL), January 2024, article number 48, p. 1418-1450
Parreaux, Lionel Emile Vincent; Boruch-Gruszecki, Aleksander; Fan, Andong; Chau, Chun Yin
Article

Being Lazy When It Counts

Lecture Notes in Computer Science, v. 14659 LNCS, May 2024, p. 188-216
Lam, Chun Kit; Parreaux, Lionel Emile Vincent
Conference paper

2023 2

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference

Proceedings of the ACM on Programming Languages, v. 7, (OOPSLA2), October 2023, article number 237
Bhanuka, Ishan; Parreaux, Lionel Emile Vincent; Binder, David; Brachthäuser, Jonathan Immanuel
Article

super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion

Leibniz International Proceedings in Informatics, LIPIcs, v. 263, July 2023, article number 11, p. 1-28
Fan, Andong; Parreaux, Lionel Emile Vincent
Conference paper

2022 3

A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning

Proceedings of the ACM on Programming Languages, v. 6, (OOPSLA2), October 2022, article number 179, p. 1526-1555
Boruch-Gruszecki, Aleksander; Waśko, Radosław; Xu, Yichen; Parreaux, Lionel Emile Vincent
Article

MLstruct: principal type inference in a Boolean algebra of structural types

Proceedings of the ACM on Programming Languages, v. 6, (OOPSLA2), October 2022, article number 141, p. 449-478
Parreaux, Lionel Emile Vincent; Chau, Chun Yin
Article

The Ultimate Conditional Syntax

Parreaux, Lionel
Conference paper

2021 2

Comprehending Monoids with Class

ACM International Conference Proceeding Series, August 2021, p. 17-22
Parreaux, Lionel Emile Vincent
Conference paper

Implementing path-dependent GADT reasoning for Scala 3

SCALA 2021 - Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, co-located with SPLASH 2021, October 2021, p. 22-32
Xu, Yichen; Boruch-Gruszecki, Aleksander; Parreaux, Lionel Emile Vincent
Conference paper

2020 2

Multi-stage programming in the large with staged classes

GPCE 2020: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, November 2020, p. 35-49
Parreaux, Lionel; Shaikhha, Amir
Conference paper

The simple essence of algebraic subtyping: Principal type inference with subtyping made easy (functional pearl)

Proceedings of the ACM on Programming Languages, v. 4, (ICFP), August 2020, article number 124
Parreaux, Lionel
Conference paper

2019 2

Finally, a polymorphic linear algebra language

Leibniz International Proceedings in Informatics, v. 134, July 2019, article number 25
Shaikhha, Amir; Parreaux, Lionel
Conference paper

Towards improved GADT reasoning in Scala

Scala '19: Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, July 2019, p. 12-16
Parreaux, Lionel; Boruch-Gruszecki, Aleksander; Giarrusso, Paolo G.
Conference paper

2018 2

Unifying analytic and statically-typed quasiquotes

Proceedings of the ACM on Programming Languages, v. 2, (POPL), January 2018, article number 13
Parreaux, Lionel; Voizard, Antoine; Shaikhha, Amir; Koch, Christoph E.
Article

Extended Abstract: Comprehending Monoids with Class

Parreaux, Lionel; Koch, Christoph E.
Conference paper

2017 2

Quoted staged rewriting: A practical approach to library-defined optimizations

GPCE 2017: Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, October 2017, p. 131-145
Parreaux, Lionel; Shaikhha, Amir; Koch, Christoph E.
Conference paper

Squid: Type-safe, hygienic, and reusable quasiquotes

SCALA 2017: Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, October 2017, p. 56-66
Parreaux, Lionel; Shaikhha, Amir; Koch, Christoph E.
Conference paper

2016 1

How to Architect a Query Compiler

SIGMOD '16: Proceedings of the 2016 International Conference on Management of Data / Association for Computing Machinery. New York, United States : Association for Computing Machinery, 2016, p. 1907-1922, Session 21: Hardware Acceleration and Query Compilation
Shaikhha, Amir; Klonatos, Yannis; Parreaux, Lionel; Brown, Lewis; Dashti, Mohammad; Koch, Christoph
Conference paper

Article 2

The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures

Proceedings of the ACM on Programming Languages, v. 8, (ICFP), August 2024, article number 245, p. 249-283
Chen, Yijia; Parreaux, Lionel Emile Vincent

When Subtyping Constraints Liberate A Novel Type Inference Approach for First-Class Polymorphism

Proceedings of the ACM on Programming Languages, v. 8, (POPL), January 2024, article number 48, p. 1418-1450
Parreaux, Lionel Emile Vincent; Boruch-Gruszecki, Aleksander; Fan, Andong; Chau, Chun Yin

Conference paper 1

Being Lazy When It Counts

Lecture Notes in Computer Science, v. 14659 LNCS, May 2024, p. 188-216
Lam, Chun Kit; Parreaux, Lionel Emile Vincent

Article 1

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference

Proceedings of the ACM on Programming Languages, v. 7, (OOPSLA2), October 2023, article number 237
Bhanuka, Ishan; Parreaux, Lionel Emile Vincent; Binder, David; Brachthäuser, Jonathan Immanuel

Conference paper 1

super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion

Leibniz International Proceedings in Informatics, LIPIcs, v. 263, July 2023, article number 11, p. 1-28
Fan, Andong; Parreaux, Lionel Emile Vincent

Article 2

A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning

Proceedings of the ACM on Programming Languages, v. 6, (OOPSLA2), October 2022, article number 179, p. 1526-1555
Boruch-Gruszecki, Aleksander; Waśko, Radosław; Xu, Yichen; Parreaux, Lionel Emile Vincent

MLstruct: principal type inference in a Boolean algebra of structural types

Proceedings of the ACM on Programming Languages, v. 6, (OOPSLA2), October 2022, article number 141, p. 449-478
Parreaux, Lionel Emile Vincent; Chau, Chun Yin

Conference paper 1

The Ultimate Conditional Syntax

Parreaux, Lionel

Conference paper 2

Comprehending Monoids with Class

ACM International Conference Proceeding Series, August 2021, p. 17-22
Parreaux, Lionel Emile Vincent

Implementing path-dependent GADT reasoning for Scala 3

SCALA 2021 - Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, co-located with SPLASH 2021, October 2021, p. 22-32
Xu, Yichen; Boruch-Gruszecki, Aleksander; Parreaux, Lionel Emile Vincent

Conference paper 2

Multi-stage programming in the large with staged classes

GPCE 2020: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, November 2020, p. 35-49
Parreaux, Lionel; Shaikhha, Amir

The simple essence of algebraic subtyping: Principal type inference with subtyping made easy (functional pearl)

Proceedings of the ACM on Programming Languages, v. 4, (ICFP), August 2020, article number 124
Parreaux, Lionel

Conference paper 2

Finally, a polymorphic linear algebra language

Leibniz International Proceedings in Informatics, v. 134, July 2019, article number 25
Shaikhha, Amir; Parreaux, Lionel

Towards improved GADT reasoning in Scala

Scala '19: Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, July 2019, p. 12-16
Parreaux, Lionel; Boruch-Gruszecki, Aleksander; Giarrusso, Paolo G.

Article 1

Unifying analytic and statically-typed quasiquotes

Proceedings of the ACM on Programming Languages, v. 2, (POPL), January 2018, article number 13
Parreaux, Lionel; Voizard, Antoine; Shaikhha, Amir; Koch, Christoph E.

Conference paper 1

Extended Abstract: Comprehending Monoids with Class

Parreaux, Lionel; Koch, Christoph E.

Conference paper 2

Quoted staged rewriting: A practical approach to library-defined optimizations

GPCE 2017: Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, October 2017, p. 131-145
Parreaux, Lionel; Shaikhha, Amir; Koch, Christoph E.

Squid: Type-safe, hygienic, and reusable quasiquotes

SCALA 2017: Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, October 2017, p. 56-66
Parreaux, Lionel; Shaikhha, Amir; Koch, Christoph E.

Conference paper 1

How to Architect a Query Compiler

SIGMOD '16: Proceedings of the 2016 International Conference on Management of Data / Association for Computing Machinery. New York, United States : Association for Computing Machinery, 2016, p. 1907-1922, Session 21: Hardware Acceleration and Query Compilation
Shaikhha, Amir; Klonatos, Yannis; Parreaux, Lionel; Brown, Lewis; Dashti, Mohammad; Koch, Christoph

2018 2

Unifying analytic and statically-typed quasiquotes

Proceedings of the ACM on Programming Languages, v. 2, (POPL), January 2018, article number 13
Parreaux, Lionel; Voizard, Antoine; Shaikhha, Amir; Koch, Christoph E.
Article

Extended Abstract: Comprehending Monoids with Class

Parreaux, Lionel; Koch, Christoph E.
Conference paper

2017 2

Quoted staged rewriting: A practical approach to library-defined optimizations

GPCE 2017: Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, October 2017, p. 131-145
Parreaux, Lionel; Shaikhha, Amir; Koch, Christoph E.
Conference paper

Squid: Type-safe, hygienic, and reusable quasiquotes

SCALA 2017: Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, October 2017, p. 56-66
Parreaux, Lionel; Shaikhha, Amir; Koch, Christoph E.
Conference paper

2016 1

How to Architect a Query Compiler

SIGMOD '16: Proceedings of the 2016 International Conference on Management of Data / Association for Computing Machinery. New York, United States : Association for Computing Machinery, 2016, p. 1907-1922, Session 21: Hardware Acceleration and Query Compilation
Shaikhha, Amir; Klonatos, Yannis; Parreaux, Lionel; Brown, Lewis; Dashti, Mohammad; Koch, Christoph
Conference paper

Teaching Assignment

COMP3031	Principles of Programming Languages
COMP4971C	Independent Work
COMP4981	Final Year Project
UROP1100N	Undergraduate Research Opportunities Series 1

COMP4981	Final Year Project
COMP4981H	Final Year Thesis

COMP4121	Modern Compiler Construction
COMP4971A	Independent Work
COMP4981	Final Year Project
COMP4981H	Final Year Thesis
CPEG4901	Computer Engineering Final Year Project in COMP
UROP1100L	Undergraduate Research Opportunities Series 1
UROP3200	Undergraduate Research Opportunities with Mini-conference Experience

COMP3031	Principles of Programming Languages
COMP4971A	Independent Work
COMP4981	Final Year Project
COMP4981H	Final Year Thesis
UROP1100K	Undergraduate Research Opportunities Series 1

COMP4971A	Independent Work
COMP4981	Final Year Project
COMP4981H	Final Year Thesis

No Teaching Assignments

Research Postgraduate (RPG) Supervision

From January 2021 to December 2024 (As of 21 November 2024)

Current RPGs

Doctor of Philosophy

AU, Heung Tung
Computer Science and Engineering
GAO, Cunyuan
Computer Science and Engineering
MAK, Ching Hang
Computer Science and Engineering
CHAU, Chun Yin
Computer Science and Engineering
CHEN, Yijia
Computer Science and Engineering
LAM, Chun Kit (co-supervision)
Computer Science and Engineering
CHENG, Luyu
Computer Science and Engineering

Master of Philosophy

YANG, Ruqing
Computer Science and Engineering

Graduated RPGs

Master of Philosophy

BHANUKA, Ishan
Computer Science and Engineering( Completed in 2024 )
FAN, Andong
Computer Science and Engineering( Completed in 2024 )

Projects

From January 2022 to December 2024

No Projects.
Optimizing Functional Programs by Building on Optimal Graph Reduction Techniques

建立最佳圖規約以優化函數式程式的技術 Leading

RGC - Early Career Scheme
Project Team (HKUST)
PARREAUX Lionel (Lead)
2022 -

Research Interest

Publications

2024 3

2023 2

2022 3

2021 2

2020 2

2019 2

2018 2

2017 2

2016 1

Article 2

Conference paper 1

Article 1

Conference paper 1

Article 2

Conference paper 1

Conference paper 2

Conference paper 2

Conference paper 2

Article 1

Conference paper 1

Conference paper 2

Conference paper 1

2018 2

2017 2

2016 1

Teaching Assignment

Research Postgraduate (RPG) Supervision

From January 2021 to December 2024 (As of 21 November 2024)

Current RPGs

Graduated RPGs

Projects

From January 2022 to December 2024

Your browser is out of date!