UW PLSE

UW SE Seminar (Spring 2014)

Mon 3:30pm in CSE 203

We’ll be reading and discussing exciting recent papers from the software engineering community. Participants should subscribe to the 590n mailing list. Note the list also has many current and former department members interested in programming languages.

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.

Schedule

Date Presenter Paper
Mar 31 Colin Organization
Apr 7 Darioush, Kivanc Code Coverage for Suite Evaluation by Developers
Coverage Is Not Strongly Correlated with Test Suite Effectiveness
Apr 14 Colin, Konstantin The Dafny Integrated Development Environment
Apr 21 Yuriy Brun (UMass) “Factors Affecting Success in Automatic Program Repair”
Apr 28 Edward Micro Execution
May 5 Doug, Calvin Toward General Diagnosis of Static Errors
May 12 Stuart Prototyping Symbolic Execution Engines for Interpreted Languages
May 19 Pavel Sound Input Filter Generation for Integer Overflow Errors
May 26 (none) MEMORIAL DAY
Jun 2 James, Doug Enhancing Symbolic Execution with Veritesting