PLMW @ PLDI 2025
as the organisers put it
The Programming Language Mentoring Workshop (PLMW) aims to broaden the exposure of late-stage undergraduate students and early-stage graduate students to research and career opportunities in programming languages. The workshop includes mentoring sessions that cover effective habits for navigating research careers, technical sessions that cover core subfields of programming languages research, and social sessions that create opportunities for students to interact with researchers in the field. Applications from underrepresented groups in computing are especially welcome. PLMW @ PLDI 2025 wi ...
who it's for
late-stage undergraduate students, early-stage graduate students, programming languages researchers, language designers, compiler engineers, formal methods researchers, human-computer interaction researchers, standards contributors
topics
clocked core language for FPGA timing; Chisel hardware tooling; HCI methods for PL evaluation; JavaScript standardization process (TC39 TG5); open inductive types and traits; nanopass fusion compilation; loop tiling for irregular codes; KD-tree to node-then-points scheduling; GPU mapping and vectorization; lock-and-key pointer metadata safety; LLVM peephole verification (Alive); correctly rounded float32 libraries (RLIBM)
| title | author | length |
|---|---|---|
| Nomads and Anvil makers | Rachit Nigam | 26m |
Argues that timing is essential for efficient FPGA accelerators and presents a concrete solution: a small core language called filament that embeds clocked… | ||
| Usable PL: Human-Computer Interaction for PL Research | Sarah E. Chasins | 33m |
Argues that HCI methods let PL research pick higher‑impact problems, refine designs, and check real effects by using three concrete study types: reconnaissance… | ||
| Standardaizing JavaScript: Call for PL researchers | Mikhail Barash, Yulia Startsev | 14m |
Overview of TC39 research group TG5 and how to engage: TG5 formalizes academic collaboration, runs monthly TG5 meetings (last Wednesday, 16:00 CET), maintains… | ||
| Language Design Where Paradigms Meet | Yizhou Zhang | 34m |
A new language called rocket extends rock with object‑oriented abstractions so inductive types and proofs are open inductive types that late‑bind constructors… | ||
| Regularizing the Irregular | Milind Kulkarni | 42m |
Argues that scheduling transformations work on irregular pointer‑based codes by hiding traversal logic behind a small abstraction and then reordering loops… | ||
| From Formal Verification to Correctly Rounded Math Libraries | Santosh Nagarakatte | 58m |
Describes concrete claims and tools: a 64-bit key lock-and-key scheme plus four metadata fields per pointer to enforce spatial and temporal memory safety; an… | ||
| Research on Different Time Horizons (and an Example with Machine-Checked Proofs) | Adam Chlipala | 57m |
Argues that long-horizon long-term systems work pays off by combining judgment with iterative prototyping, demonstrates end-to-end mechanized proofs using Coq… | ||
| nothing matches | ||