After a long hiatus, SIGPLAN Research Highlights are back!
The highlights committee[*] is thrilled to announce four exceptional PL papers from 2021-2023 awarded in this round! ⇒
[*] Azalea Raad, Stephen Kell, Mike Bond and Erez Petrank, @natefoster.bsky.social, @lorisdanto.bsky.social, and me.
The highlights committee[*] is thrilled to announce four exceptional PL papers from 2021-2023 awarded in this round! ⇒
[*] Azalea Raad, Stephen Kell, Mike Bond and Erez Petrank, @natefoster.bsky.social, @lorisdanto.bsky.social, and me.
Comments
"egg: Fast and extensible equality saturation",
POPL'21
"Catala: a Programming Language for the Law",
ICFP'21
"Dynamic Race Detection with O(1) Samples",
POPL'23
"A Grounded Conceptual Model for Ownership Types in Rust",
OOPSLA'23
Nominate your favourite papers from 2024 by June 5, 2025 and stay tuned!
* https://www.sigplan.org/Highlights/
* https://www.sigplan.org/Highlights/Papers/