PLMW @ ICFP 2023
as the organisers put it
Note: The PLMW Call for Participation is now available! The purpose of the Programming Languages Mentoring Workshop (PLMW) is both to support the careers of those who are in the beginning stages of a Ph.D, and to inform people who are considering doing a Ph.D in programming languages about PL research and potential careers that follow. Through talks and panel discussions by leaders in programming language research from academia and industry, the workshop will introduce some current topics in functional programming research (providing background for some research talks at ICFP); provide som ...
who it's for
graduate students in programming languages, prospective PhD applicants, programming languages researchers, research supervisors and advisors, research mentors, conference attendees
topics
PhD productivity techniques; writing research papers; letters of recommendation strategy; conference networking tactics; mentoring for mental health; biopsychosocial model and CBT/DBT; subtyping and computation; beta reduction on derivations; lambda calculus with records; research project management
| title | author | length |
|---|---|---|
| How to Thrive as a PhD student in PL | Sam Westrick | 48m |
Treat classes as an investment and stop taking them for the sake of neat rewards; measure progress by time and energy spent, not only by finished proofs or bug… | ||
| Getting Productive in Research | Daan Leijen, Mae Milano, Leonidas Lampropoulos, Benjamin C. Pierce, Cyrus Omar | 45m |
Panel lays out concrete moves: get at least one detailed research letter from someone who knows your work—letters are the most important factor for grad… | ||
| Getting the Most Out of ICFP | Paulette Koronkevich | 39m |
Advice for getting the most out of ICFP centers on concrete habits: prioritize a people-first perspective by making peer introductions, joining conversation… | ||
| A History of Subtyping | Benjamin C. Pierce | 48m |
Traces the technical claim that subtyping is not just a typing convenience but changes computation: adding a subsumption rule breaks the usual… | ||
| Mental Health Mentoring for PL Students | Rose Bohrer | 47m |
Shows concrete claims and tools: cites 50%+ of PhD students meeting diagnostic criteria and up to 20% undergrads self‑harm during COVID, uses the… | ||
| How to Write a Great Research Paper | Simon Peyton Jones | 01h 11m |
Start writing the paper as soon as an idea appears so writing drives the research rather than waiting for finished results; state a single key idea early, give… | ||
| nothing matches | ||