@LParreaux

PL researcher interested in Types, Abstraction, Compilers & Optimization (TACO lab, https://xitter.cf/t.co/gv3C7sR5X4). Assistant Professor at HKUST.

 Hong Kong
lptk.github.io/
Joined October 2017
  • Tweets368
  • Following163
  • Followers689
32Media
Indeed, I'm still looking for PhD and MPhil research students interested in the theory and practice of programming language design & implementation! I'm in particular looking for one to work on Haskell/FP optimization and one to work on a compiler for quantum physics experiments
Yihong Zhang@yihongz_bot20 Oct 2022
Check out this paper on formalizing Scala 3! Lionel has been working on both theories and implementations of a new paradigm of object-oriented languages. I was interning with Lionel at HKUST in 2021 summer and it was great. Please consider his group if you are applying for PhD!
11
Doing heavy proof work with LLMs is virtually indistinguishable from AI psychosis except for the fact that you get a Lean artifact at the end.
1
9
1,325
The #GPCE26 paper submission deadline has been extended to March 12, 2026! CfP: 2026.ecoop.org/home/gpce-202… Like last year, GPCE will be co-located with ECOOP (in Brussels, Belgium) rather than SPLASH. Please help to spread the news! @GPCECONF
2
3
256
AI agents seem great at replacing teams of programmers that churn out buggy messes nobody wants to maintain. Mediocre companies are set to save a lot of money!
4
230
Congratulations @odersky for receiving the SIGPLAN Programming Languages Achievement Award! Your work is a great inspiration for me :) Well deserved!
3
17
1
106
6,575
Do you agree that OOPSLA and ICFP are top-tier PL venues? github.com/emeryberger/CSran…

OOPSLA and ICFP are top-tier PL venues · Issue #8893 · emeryberger/CSrankings

I think that nowadays most would recognize that OOPSLA is one of the top-tier PL venues. The second-tier PL venues are more like ESOP, ECOOP, and CGO (still excellent conferences with very high sta...

github.com
5
3
3
21
4,347
Currently, one can't even perma-link the full PL ranking (including OOPSLA and ICFP), and this is "a feature, not a bug: only top tier venues are included in permalinks" github.com/emeryberger/CSran…

URLs for PL rankings · Issue #2086 · emeryberger/CSrankings

I'm attempting to a permanent URL to the rankings including all programming languages venues. I can do something like: http://csrankings.org/#/fromyear/2015/toyear/2019/index?plan for example, ...

github.com
1
4
686
Category theory is what you get when you start from normal mathematical facts and keep asking "why?" until the answers become meaningless.
7
3
1
59
4,440
Getting triggered by my toddler's Youtube video
3
446
If looking for a faculty position and not afraid to move, you should really consider this! The department is super friendly and the research conditions are almost unbeatable. By the way, in Hong Kong the internet is free and English is an official language.
HKUST Computer Science and Engineering@HKUSTCSE25 Oct 2024
We are recruiting! Applications including 1) a cover letter, 2) a full curriculum vitae, 3) names and contact information of at least three referees, 4) a research statement, and 5) a teaching statement should be submitted via facrecruit.hkust.edu.hk/.
1
5
1,119
Today I talked at the IWACO workshop about my ideas on Modular Borrowing Without Ownership or Linear Types. You can check out the slides and recording on the website!
3
11
47
3,130
Here's the link to the website: 2024.splashcon.org/details/i…
1
309
I had a frame I wasn't using
2
1
68
7,438
When Rust programmers tell you to just use an arena and indices instead of pointers and dynamic memory to encode your data structures, they're essentially asking you to write a small virtual machine to work around the limitations of their programming language.
33
25
21
545
142,161
Honored and grateful that our paper was distinguished at ICFP 2024! It's about using "type inference and elaboration", a new compiler optimization technique, to automatically remove intermediate data structures from functional programs.
ICFP Conference@icfp_conference4 Sep 2024
Replying to @icfp_conference
The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures by Yijia Chen and Lionel Parreaux dl.acm.org/doi/10.1145/36746…
3
4
55
3,899
Our system is called Lumberhack. It's a play on words with the fact that removing intermediate data structures is known in the literature as "deforestation" 🙃
3
553
Yijia Chen presents his great work with @LParreaux on using type-based flow analysis to implement deforestation.
1
5
14
1,492
Last week, we were delighted to receive the visit of Dr. Vladimir Rubanov and Anton Soldatov from Huawei R&D. We held an improvised mini-workshop focusing on our many common research interests. Looking forward to future collaborations and exchanges! cse.hkust.edu.hk/~parreaux/p…
11
550
The UNSOUND submission server is now open for talk proposals! Deadline is July 15 AoE. unsound2024.hotcrp.com/
Lionel Parreaux@LParreaux11 Jun 2024
Do you like poking holes in your favorite compiler’s type checker? Are you interested in discussing the various sources of unsoundness in type system and verification tools with like-minded PL nerds? The UNSOUND workshop at SPLASH 2024 is for you! Talk proposal deadline is Jul 15
5
591
Do you like poking holes in your favorite compiler’s type checker? Are you interested in discussing the various sources of unsoundness in type system and verification tools with like-minded PL nerds? The UNSOUND workshop at SPLASH 2024 is for you! Talk proposal deadline is Jul 15
2
14
2
47
6,367
Link to the website: 2024.splashcon.org/home/unso… The HotCRP instance will be up and running soon.
3
439
Load more