PLMW @ POPL 2020
as the organisers put it
What is PLMW? The Programming Languages Mentoring Workshop (PLMW) aims to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will engage students in a process of imagining how they might contribute to our research community. We especially encourage women and underrepr ...
who it's for
graduate students, senior undergraduate students, programming languages researchers, faculty advisors, postdoctoral researchers, research software engineers
topics
cdcl solving internals; unit clause propagation (bcp); domain specific smt solvers; Coq mechanized proofs; Isabelle/HOL formalization; CompCert-style compiler verification; abductive loop invariant synthesis; smt-based inductiveness checking; research collaboration practices and tooling; academic career preparation and mentoring; graduate student mental health; internships and industry transition
| title | author | length |
|---|---|---|
| Reasoning Under Uncertainty in SMT Solving, Research, and Life | Lindsey Kuper | 40m |
Argues that SMT progress rests on practical abstractions and shows how modern CDCL solvers actually work: CDCL (simplify, decide, learn) with unit clause / BCP… | ||
| Theorem provers are a P.L. researcher's best friend | Xavier Leroy | 39m |
Argues that mechanized proof shifts PL research from handwavy claims to verifiable artifacts, showing concrete use of Coq and Isabelle/HOL plus SMT solvers to… | ||
| Program Verification using Abductive Reasoning | Isil Dillig | 42m |
Uses abductive reasoning to synthesize loop invariants by asking what extra facts make the verification condition entail the postcondition, then checks… | ||
| Research as a collaborative effort | Marco Gaboardi | 41m |
Research collaboration is practical: start by starting with your advisor to learn durable technical techniques (not just a narrow problem), read papers to map… | ||
| PLMW Panel | W. J. Bowman, K. Foner, A. Hirsch, T. Sekiyama, J. Franco, H. Gommerstadt | 01h 07m |
Panelists give concrete, repeatable advice: find an advisor by matching projects and meeting style (cold-email faculty or pick at application time), prefer a… | ||
| How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond | Kenny Foner | 01h 05m |
Grad-school conditions correlate with much higher mental‑illness rates — 47% of graduate students report depression, academic staff show 3–4× the general… | ||
| nothing matches | ||