PLMW @ ICFP 2020
as the organisers put it
What is PLMW? The Programming Languages Mentoring Workshop is designed to broaden the exposure of attendees to research and career opportunities in the field of programming languages. Most attendees are late-stage undergraduate students and early-stage graduate students. The workshop program will include technical sessions that cover both the history and current practice of core subfields within programming languages, mentoring sessions that cover effective habits for navigating the research landscape, and social sessions that create opportunities for attendees to interact with researche ...
who it's for
graduate students, undergraduate students, programming languages researchers, academic advisors, research mentors, computational biologists
topics
Context-Gap-Innovation model; sentence-level flow rules; one paragraph one point; managing your PhD and advisor; weekly meetings and planning sessions; constraint solving with Z3; CEGIS synthesis loops; SMT encoding for array partitioning; big-step and small-step semantics; evaluation contexts and abstract machines; miniKanren and Racket for reasoning; mediKanren drug repurposing
| title | author | length |
|---|---|---|
| Welcome | Lindsey Kuper, Talia Ringer, Nate Foster | 08m |
Welcome notes report concrete scale and logistics: 275 registered attendees from 32 countries on six continents, enabled by moving PLMW online so scholarships… | ||
| How To Write Papers So People Can Read Them | Derek Dreyer | 48m |
Presents a set of concrete, testable rules for readable papers: enforce sentence flow with old-to-new beginnings and endings, guarantee coherence with one… | ||
| Managing your Research, your Advisor, your PhD | Amal Ahmed | 49m |
Prioritize advisor fit over school prestige and choose projects the group actually cares about; start with a starter project that teaches needed skills and aim… | ||
| Constraint Solvers for the Working PL Researcher | Nadia Polikarpova | 39m |
Demonstrates using Z3 Python bindings to build a small toolchain that does constraint-based declarative execution, verification, and synthesis. Encodes array… | ||
| Basic Mechanics of Operational Semantics | David Van Horn | 39m |
Crash course in reading operational rules: shows concrete syntax for a tiny arithmetic language, how to read inference rules and BNF, how big-step (natural)… | ||
| How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond | Kenny Foner | 44m |
Personal account of a bipolar diagnosis followed by three years of therapy and medication, two more years in a PhD program, three additional papers, then a… | ||
| Functional Programming for COVID 19 Drug Repurposing | Nada Amin | 37m |
A reasoning engine called mediKanren implemented in Racket and miniKanren mines merged biomedical knowledge graphs (40 sources, SemMedDB ~97M edges) to propose… | ||
| nothing matches | ||