UW PLSE

UW PLSE Reading Group (Winter 2015) (Wed 3:30pm in CSE 203)

We’ll be reading and discussing exciting recent papers from the programming languages and software engineering communities. Participants should subscribe to the 590p 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 Topic
Jan 7 Konstantin Paper Sign-up
Jan 14 Eric R, Bill Notation as a Tool of Thought (1979)
Jan 21 James B, John The plastic surgery hypothesis (FSE’14)
not Feb 4 or Feb 11
Jan 28 Darioush, Daniel Ur/Web: A Simple Model for Programming the Web (POPL 2015)
Feb 4 Konstantin, Brandon H Fiat: Deductive synthesis of abstract data types in a proof assistant. (POPL’15) or
On Understanding Data Abstraction, Revisited (OOPSLA’09)
Feb 11 Doug, Eric M Compositional CompCert (POPL’15) or
From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification (POPL 2015)
Feb 18 Brian, Alex Enforcing Forward-Edge Control-Flow Integrity in GCC & LLVM (Usenix Sec 14)
Feb 25 Stuart, James W Pattern Matching w/out K (ICFP’14)
Mar 4 Max, Edward Effective Abstractions for the Verification under Relaxed Memory Models (VMCAI’15)
Mar 11 Pavel, Calvin Views on Internal and External Validity in Empirical Software Engineering (ICSE’15)
Presenter Scheduling constraints
Calvin not Feb 4 or 11

Unpicked Paper Suggestions

Eric M

Brian

Darioush

Max

Doug

Pavel

Edward

Daniel Perelman