Programming Languages Reading Group, 2014

The list of papers read in 2014

12/12/2014 - A Language Designer’s Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs, Eelco Visser, Guido Wachsmuth, Andrew Tolmach. In ONWARD'14.( LINK)

28/11/2014 - The Programming Language Wars (Questions and Responsibilities for the Programming Language Community), The Programming Language Wars (Questions and Responsibilities for the Programming Language Community). In ONWARD'14 ( LINK)

21/11/2014 - SAPLING Practice Talks. Those presenting at SAPLING will give practice talks.

06/11/2014 - Korz: Simple, Symmetric, Subjective, Context-Oriented Programming, David Ungar, Harold Ossher, Doug Kimelman. In DLS 2014. ( LINK)

31/10/2014 - Design and Evaluation of Gradual Typing for Python, Michael Vitousek, Andrew Kent, Jeremy Siek, and Jim Baker. In DLS'14. ( LINK)

12/09/2014 - What’s Wrong with Git? A Conceptual Design Analysis, Santiago Perez De Rosso Daniel Jackson. In ONWARD'13. ( LINK)

05/09/2014 - How Programming Languages Will Co-evolve with Software Engineering: A Bright Decade Ahead, Emerson Murphy-Hill and Dan Grossman. In FOSE 2014. c

29/08/2014 - Checking Correctness of TypeScript Interfaces for JavaScript Libraries, Asger Feldthaus and Anders Møller. In OOPSLA 2014 (to appear). ( LINK)

21/08/2014 - Curse of the Excluded Middle, Erik Meijer, Communcations of the ACM, 2014. ( LINK)

14/08/2014 - Resugaring: Lifting Evaluation Sequences through Syntactic Sugar, Justin Pombrio and Shriram Krishnamurthi, PLDI'14. ( LINK)

18/07/2014 - Practice presentations ahead of ECOOP by Tim and Paley

11/07/2014 - Natural Proofs for Data Structure Manipulation in C using Separation Logic, Edgar Pek, Xiaokang Qiu and P. Madhusudan, PLDI'14. ( LINK)

04/07/2014 - What Good Are Strong Specifications?, Nadia Polikarpova,% Carlo A. Furia%, Yu Pei%, Yi Wei% and Bertrand Meyer%, ICSE'13. ( LINK)

27/06/2014 - ?

20/06/2014 - Programmers’ Build Errors: A Case Study (at Google), Hyunmin Seo, Caitlin Sadowski, Sebastian Elbaum, Edward Aftandilian, and Robert Bowdidge, ICSE'14 ( LINK)

13/06/2014 - no meeting

06/06/2014 - Expressing and Verifying Probabilistic Assertions, Adrian Sampson, Pavel Panchekha, Todd Mytkowicz Kathryn S. McKinley, Dan Grossman and Luis Ceze, PLDI 2014 ( LINK)

29/05/2014 - Safely Composable Type-Specific Languages, Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, and Alex Potanin, and Jonathan Aldrich, ECOOP 2014 ( LINK)

28/03/2014 - Notes on Postmodern Programming, James Noble and Robert Biddle, ONWARD, 2005 ( LINK)

21/03/2014 - Software Libraries and Their Reuse: Entropy, Kolmogorov Complexity, and Zipf’s Law, Todd L. Veldhuizen. LCSD, 2005 ( LINK)

07/03/2014 - Graceful Dialects, Michael Homer, Timothy Jones, James Noble, Kim B. Bruce, and Andrew P. Black. In ECOOP 2014 (to appear). ( LINK)

14/02/2014 - Sound compilation of reals, Eva Darulova and Viktor Kuncak. In POPL 2014 (to appear) ( LINK)

07/02/2014 - James Noble's Summer Scholars to talk!

31/01/2014 - Nick Cameron to talk on Rust

24/01/2014 - SAFE: A Clean-Slate Architecture for Secure Systems, Silviu Chiricescux, Andr´e DeHon%, Delphine Demange, et al, HST'13 ( LINK)

17/01/2014 - Summer Scholars (Daniel and Mate) to talk about their work over the summer.

10/01/2014 - Some thoughts on security after ten years of qmail 1.0, Daniel J. Bernstein, CSAW'07 ( LINK)