Lionel PARREAUX

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

Assistant Professor
Department of Computer Science and Engineering



(852) 2358 8341
parreaux@ust.hk
Room 3562
Personal Web

---

Google Scholar
jQqTdHwAAAAJ

ORCID
0000-0002-8805-0728

Scopus ID
57190394119




Research Interest Publications Projects Teaching Assignment RPG Supervision




Research Interest

---

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



Publications

---

All Years 11 2022 0 2021 2 2020 2 2019 2 2018 2 2017 2 2016 1

---

Expand All Collapse All


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
TyDe 2018: Type-Driven Development Workshop, St. Louis, United States, 27 September 2018
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, June 2016, p. 1907-1922
Shaikhha, Amir; Klonatos, Yannis; Parreaux, Lionel; Brown, Lewis; Dashti, Mohammad; Koch, Christoph Conference paper


Expand All Collapse All


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


Expand All Collapse All


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


Expand All Collapse All


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.


Expand All Collapse All


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
TyDe 2018: Type-Driven Development Workshop, St. Louis, United States, 27 September 2018
Parreaux, Lionel; Koch, Christoph E.


Expand All Collapse All


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.


Expand All Collapse All


Conference paper 1

How to architect a query compiler
SIGMOD '16: Proceedings of the 2016 International Conference on Management of Data, June 2016, p. 1907-1922
Shaikhha, Amir; Klonatos, Yannis; Parreaux, Lionel; Brown, Lewis; Dashti, Mohammad; Koch, Christoph


Expand All Collapse All


2016 1

How to architect a query compiler
SIGMOD '16: Proceedings of the 2016 International Conference on Management of Data, June 2016, p. 1907-1922
Shaikhha, Amir; Klonatos, Yannis; Parreaux, Lionel; Brown, Lewis; Dashti, Mohammad; Koch, Christoph Conference paper


No Publications






Teaching Assignment

---

2021-22 Winter 0 2021-22 Fall 3 2020-21 Summer 3 2020-21 Spring 0 2020-21 Winter 0 2020-21 Fall 0

---

COMP4901U Computer Language Processing and Compiler Design
COMP4971A Independent Work
COMP4981 Final Year Project


COMP4971A Independent Work
COMP4981 Final Year Project
CPEG4901 Computer Engineering Final Year Project in COMP


No Teaching Assignments


No Teaching Assignments


No Teaching Assignments


No Teaching Assignments






Research Postgraduate (RPG) Supervision From January 2019 to December 2022 (As of 30 January 2022)

---

Current RPGs

---

---

Doctor of Philosophy CHENG, Luyu
Computer Science and Engineering( 2021 - )

---

Master of Philosophy BHANUKA, Ishan
Computer Science and Engineering( 2022 - )

ROUILLE, Elise Paulette Annick
Computer Science and Engineering( 2021 - )

CHAU, Chun Yin
Computer Science and Engineering( 2020 - )









ProjectsFrom January 2020 to December 2022

---

All Projects 1

---

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


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


RGC - Early Career Scheme


Project Team (HKUST)
PARREAUX Lionel (Lead)


2022 -