PL Reading Group
Fall 2019 — 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 |
|---|---|---|
|
Sep 27
|
PLSE |
Planning |
|
Oct 4
|
Max |
A Taste of Rewrite Systems Term Rewriting & E-Graphs 1 - Czar: Max |
|
Oct 11
|
Josh |
Graph Transformation for Specification and Programming
|
|
Oct 18
|
Chandra |
Simplify: A Theorem Prover for Program Checking
|
|
Oct 25
|
Chandra |
Equality Saturation: a New Approach to Optimization
|
|
Nov 1
|
Remy |
Answer Set Programming at a Glance
|
|
Nov 8
|
Ben |
Applications of ASP |
|
Nov 15
|
Ben |
ASP, the Frame Problem and Plan Generation We’ll continue on with the frame problem from last week’s paper (the second half of the KR portion). Following this we will look into Lifschitz’ paper on ASP and Plan Generation. |
|
Nov 22
|
PLDI Deadline |
No meeting |
|
Nov 29
|
Thanksgiving |
No meeting |
|
Dec 6
|
Nick Walker |
ASP application: Open-World Reasoning for Service Robots Useful tutorial for the paper: https://nickwalker.us/projects/planning-for-user-commands |
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.