Spring 2019 — Friday, 3:30pm — Gates 287

Subscribe to the calendar: iCal or Google Calendar.

We’ll be reading and discussing exciting recent papers from the broader Software Engineering and Programming Language community, with a slight bias toward topics folks in UW PLSE are exploring.

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
Apr 5	OOPSLA deadline Room: CSE 203	No meeting, OOPSLA deadline
Apr 12	Everyone! Room: CSE 203	Specifying 590P and Synthesizing the Schedule TBD.
Apr 19	Doug Room: Gates 287	Julia: dynamism and performance reconciled by design TBD.
Apr 26	Marisa Room: Gates 287	Capturing the future by replaying the past TBD.
May 3	Talia Room: Gates 287	Identifying refactoring opportunities for replacing type code with subclass and state TBD.
May 10	Oak Room: Gates 287	Root cause of blame TBD.
May 17	Bill Room: Gates 287	Compiler fuzzing through deep learning TBD.
May 24	Cancelled Room: -	Cancelled TBD.
May 31	Zach, Chandra, Martin Room: Gates 287	Continuous formal verification of Amazon s2n TBD.
Jun 7	Steven Room: Gates 287	Evolving a language in and for the real world: C++ 1991-2006 TBD.

Reading Papers

It may be useful to skim various advice 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 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 Spring

• POPL 2019

• OOPSLA 2018

• CAV 2018

• ICSE 2019