SPLASH 2019 PLMW
as the organisers put it
SPLASH is the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity. SPLASH embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages—at the intersection of programming languages and software engineering. SPLASH 2019 will take place in Athens from Sunday 20th to Friday 25th of October 2019. SPLASH includes the following co-located conferences: OOPSLA, Onward!, GPCE, SLE, DLS, and MPLR; as well as a large array of workshops and events. The Rebase track (formerly “SPL ...
who it's for
phd applicants, graduate students, programming languages researchers, academic faculty, conference presenters, research software engineers, technical communicators
topics
deciding on a PhD; producing new knowledge; language workbench generation; declarative name-binding DSLs; scope graphs for binding; incremental name analysis; constraint-based resolution; CGI abstracts for papers; relaxed-memory semantics (promises); QuickCheck randomized property testing
| title | author | length |
|---|---|---|
| Why do a PhD? | Yannis Smaragdakis | 42m |
A PhD is a training to produce new knowledge that rewards deep, patient curiosity more than coursework or short-term metrics. Expect years of uncertainty, slow… | ||
| What is PL Research? | Eelco Visser | 46m |
PL research centers on ways to get programming stuff for free: given X (syntax, specs) produce Y (IDE, compiler, proof) automatically. Concrete chain: a… | ||
| How To Write Papers So People Can Read Them | Derek Dreyer | 50m |
Prescribes concrete, checkable rules: start sentences with old to new information and give each paragraph one paragraph one point so readers never lose the… | ||
| How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond | Kenny Foner | 46m |
Personal account of a bipolar diagnosis, internship at MSR and a transition to industry at Galois, and concrete coping strategies: therapy and psychiatric… | ||
| Unaccustomed As I Am to Public Speaking | John Hughes | 40m |
Randomized property testing with QuickCheck generates concrete counterexamples and actually finds real bugs: a CAN bus priority-inversion that chose the wrong… | ||
| nothing matches | ||