PLSE Reading Group

Winter 2018 — Friday, 3:30pm — CSE 203

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
Mar 30

Martin and Rashmi

Inferring Mutant Utility from Program Context

Apr 6

Steve and Jared

Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions

Apr 13

Doug by himself :(

Inferring and Asserting Distributed System Invariants

Apr 20

Nate and Chenglong

Program Synthesis using Abstraction Refinement

Apr 27


Precise Interprocedural Dataflow Analysis via Graph Reachability (classic)

(POPL version)

May 4

Sam and Bill

Deepcoder: Learning To Write Programs

May 11


Efficient Sampling of SAT Solutions for Testing

May 18


Synthesis with Abstract Examples

May 25


When Good Components Go Bad

Jun 1


The Road to Live Programming: Insights From the Practice


Feel free to swap papers and dates or add yourself as a co-presenter to a topic.

Some Options for Autumn

Previous suggestions: