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

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

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

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

COMP4981	Final Year Project
COMP6613E	Theory of Types and Programming Languages
CPEG4901	Computer Engineering Final Year Project in COMP
UROP1100F	Undergraduate Research Opportunities Series 1

No Teaching Assignments

Research Postgraduate (RPG) Supervision

From January 2020 to December 2023 (As of 28 March 2023)

Current RPGs

Doctor of Philosophy

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
BHANUKA, Ishan
Computer Science and Engineering
FAN, Andong
Computer Science and Engineering
CHAU, Chun Yin
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

2021 2

2020 2

2019 2

2018 2

2017 2

2016 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 28 March 2023)

Current RPGs

Projects

From January 2021 to December 2023

Your browser is out of date!