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
|
Remy |
Precise Interprocedural Dataflow Analysis via Graph Reachability (classic) |
May 4
|
Sam and Bill |
Deepcoder: Learning To Write Programs |
May 11
|
Steve |
Efficient Sampling of SAT Solutions for Testing |
May 18
|
Chandra |
Synthesis with Abstract Examples |
May 25
|
Talia |
When Good Components Go Bad |
Jun 1
|
Pavel |
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.
Previous suggestions: