UW PLSE

UW PLSE Reading Group (Autumn 2014)

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.

First Program Draft

ID Paper Assignment
Oct 1 concurrent haskell (dmoon, jrw)
Oct 8 coeffects (ecr, p92)
Oct 15 chlipala linking something something (dwoos, asnchstr)
Oct 22 (affiliates)
Oct 29 resource limits haskell (jtoman, cloncaric)
Nov 5 A Large Scale Study of Programming Languages and Code Quality in Github (kivanc, carlod)
Nov 12 bidirectional fancy (konne, epdtry)
Nov 19 late data layout (bholt, perelman)
Nov 26 (thanksgiving eve)
Dec 3 wcet (emullen,billzorn)
Dec 10 Determinacy in Static Analysis for jQuery (darioush, edward)

Suggestions

p92 oopsla 14   rate types
 
icfp 14     pattern matching w/out k
  
Concurrent Haskell
SPJ, POPL'96
http://dl.acm.org/citation.cfm?id=237794

Bidirectional Elaboration of Dependently Typed Programs
Brigitte Pientka, PPDP'14
http://www.cs.mcgill.ca/~bpientka/papers/reconstruction-long.pdf
  
Programmers’ Build Errors: A Case Study (at Google)
Caitlin Sadowski, Edward Aftandilian, Robert Bowdidge, ICSE'14
http://static.googleusercontent.com/media/research.google.com/en/us/pubs/archive/42184.pdf
  
Spyware: a change-aware development toolset
(ICSE 2008)
http://dl.acm.org/citation.cfm?id=1368219
  
Software Developers’ Perceptions of Productivity
(FSE 2014)
Pre-print: http://research.microsoft.com/apps/pubs/default.aspx?id=228971
  
Developers’ Code Context Models for Change Tasks
(FSE 2014)
Pre-print: https://www.merlin.uzh.ch/contributionDocument/download/7220
  
A Large Scale Study of Programming Languages and Code Quality in Github
(FSE 2014)
Pre-print: http://baishakhir.github.io/uploads/lang_study.pdf
  
A Formally Verified WCET Estimation Tool
André Maroneze1 , Sandrine Blazy1 , David Pichardie2 , and Isabelle Puaut1
http://drops.dagstuhl.de/opus/volltexte/2014/4600/pdf/3.pdf
  
Verification modulo versions: towards usable verification
PLDI
http://dl.acm.org/citation.cfm?id=2594326
  
Distributed REScala: An Update Algorithm for Distributed Reactive Programming
OOPSLA
Pre-print or something: http://www.guidosalvaneschi.com/attachments/papers/2014_Distributed_REScala_An_Update_Algorithm_for_Distributed_Reactive_Programming_pdf.pdf
  
Compiler Verification Meets Cross-Language Linking via Data Abstraction
Chlipala's OOPSLA paper
http://adam.chlipala.net/papers/CitoOOPSLA14/CitoOOPSLA14.pdf
  
Maximal Sharing in the Lambda Calculus with letrec
ICFP
http://www.few.vu.nl/~cgr600/linkedfiles/maxsharing-ICFP-proceedings.pdf
  
Worker/Wrapper/Makes It/Faster
ICFP
http://dl.acm.org/citation.cfm?id=2628142
  
Coeffects: A Calculus of Context-Dependent Computation
ICFP
http://www.cl.cam.ac.uk/~dao29/publ/coeffects-icfp14.pdf
  
End-to-End Verification of Stack-Space Bounds for C Programs
http://www.cs.yale.edu/homes/qcar/data/veristack-paper.pdf
  
A Theory of Changes for Higher Order Languages
https://arxiv.org/pdf/1312.0658v1.pdf
  
Getting F-Bounded Polymorphism into Shape
http://www.cs.cornell.edu/~blg59/resources/doc/effing-bound-polymorphism.pdf
  
Resource Limits for Haskell (EZYang)
http://ezyang.com/papers/ezyang13-rlimits.pdf
  
Probabilistic relational verification for cryptographic implementations
POPL
http://dl.acm.org/citation.cfm?id=2535847
  
CakeML
https://cakeml.org/popl14.pdf
  
Verve
http://research.microsoft.com/pubs/122884/pldi117-yang.pdf
  
VeriC
http://vst.cs.princeton.edu/download/VerifiableC.pdf
  
b: late data layout (oopsla 14)
   stream jit (oopsla 14)
  
jrw: towards a formally verified proof assistant (or: nuprl in coq)
(super secret work)
     VERDI related work
  
d: jquery @ oopsla 14 (hybrid staged thing)
  
vu et al. PLDI 14
  
“Compiler Validation via Equivalence Modulo Inputs”
Vu Le, Mehrdad Afshari, Zhendong Su
PLDI 2014
http://www.cs.ucdavis.edu/~su/publications/emi.pdf