PL Reading Group

Winter 2020 — Friday, 3:30pm — Gates 287

Subscribe to the calendar: iCal or Google Calendar.

Each quarter we will explore 2-3 programming language and software engineering topics in depth. For each topic, we will read some seminal papers and some more recent papers. You can join the cse590p mailing list for weekly updates. Some paper links may point into the ACM Digital Library or the Springer online collection. Using a UW IP address, or the UW libraries off-campus access, should provide access.

Date Who What
Jan 10

Marisa

Continuations 1: The Essence of Compiling with Continuation

czar: Marisa

Jan 17

Continuations 2:

czar: Marisa

Jan 24

Ben, Chandra

Defunctionalization at work

czar: Marisa

Jan 31

Oak

Multi-stage Programming 1:

czar: Oak

Feb 7

Multi-stage Programming 2:

czar: Oak

Feb 14

Multi-stage Programming 3:

czar: Oak

Feb 21

Multi-stage Programming 4:

czar: Oak

Feb 28

Jacob

OS Verification:

czar: Jacob

Mar 6

OS Verification:

czar: Jacob

Mar 13

OS Verification:

czar: Jacob

### Reading Papers It may be useful to skim various [advice](https://freedom-to-tinker.com/2018/05/15/how-to-constructively-review-a-research-paper/) on how to constructively evaluate research papers. Note that these principles also apply to reading group discussions! When considering motivation in particular, the [Heilmeier Catechism](https://www.darpa.mil/work-with-us/heilmeier-catechism) is often a useful starting point. ### Scheduling Feel free to swap papers and dates or add yourself as a co-presenter to a topic. ### Some Options for Fall * [POPL 2019](https://popl19.sigplan.org/track/POPL-2019-Research-Papers#event-overview) * [OOPSLA 2018](https://conf.researchr.org/track/splash-2018/splash-2018-OOPSLA#About) * [CAV 2018](http://cavconference.org/2018/accepted-papers/) * [ICSE 2019](https://2019.icse-conferences.org/track/icse-2019-Technical-Papers#event-overview)