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

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
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; 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

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

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; 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

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

No Publications

Teaching Assignment

COMP3031	Principles of Programming Languages
COMP4971A	Independent Work
COMP4981	Final Year Project
COMP4981H	Final Year Thesis

COMP4971A	Independent Work
COMP4981	Final Year Project
COMP4981H	Final Year Thesis

COMP4901U	Modern Compiler Construction
COMP4981	Final Year Project
UROP2100I	Undergraduate Research Opportunities Series 2

COMP3031	Principles of Programming Languages
COMP4981	Final Year Project
UROP1100H	Undergraduate Research Opportunities Series 1

COMP4981	Final Year Project
UROP1000	Undergraduate Research Opportunities
UROP1100G	Undergraduate Research Opportunities Series 1

No Teaching Assignments

Research Postgraduate (RPG) Supervision

From January 2020 to December 2023 (As of 30 September 2023)

Current RPGs

Doctor of Philosophy

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

GAO, Cunyuan
Computer Science and Engineering
YANG, Ruqing
Computer Science and Engineering
BHANUKA, Ishan
Computer Science and Engineering
FAN, Andong
Computer Science and Engineering

Projects

From January 2021 to December 2023

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

2022 3

2021 2

2020 2

2019 2

2018 2

2017 2

2016 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

2017 2

2016 1

Teaching Assignment

Research Postgraduate (RPG) Supervision

From January 2020 to December 2023 (As of 30 September 2023)

Current RPGs

Projects

From January 2021 to December 2023

Your browser is out of date!