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