Papers
Each week of the semester, we will read one published, peer-reviewed research paper from the field of programming languages and discuss it as a group in class.
This semester, the papers we will read are:
"Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I", by John McCarthy. Published in 1960 at CACM. Direct PDF link.
"The Next 700 Programming Languages", by P.J. Landin. Published in 1966 at CACM. Direct PDF link.
"Finding and Understanding Bugs in C Compilers", by Xuejun Yang, Yang Chen, Eric Eide, and John Regehr. Published in 2011 at PLDI. Direct PDF link.
"Ply: A Visual Web Inspector for Learning from Professional Webpages", by Sarah Lim, Joshua Hibschman, Haoqi Zhang, and Eleanor O’Rourke. Published in 2018 at UIST. Direct PDF link.
"On the Expressive Power of Programming Languages", by Matthias Felleisen. Published in 1991 at SCP. Direct PDF link.
"Featherweight Java: A Minimal Core Calculus for Java and GJ", by Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Published in 2001 at TOPLAS. Direct PDF link.
"Python: The Full Monty", by Joe Gibbs Politz, Alejandro Martinez, Matthew Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, and Shriram Krishnamurthi. Published in 2013 at OOPSLA. Direct PDF link.
"Propositions as Types", by Philip Wadler. Published in 2015 at CACM. Direct PDF link.
"Region-Based Memory Management in Cyclone", by Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, and James Cheney. Published in 2002 at PLDI. Direct PDF link.
Venues
The above list of papers uses short names for conference venues. Those names correspond to the following full names:
CACM: Communications of the ACM
UIST: ACM Symposium on User Interface Software and Technology
SCP: Science of Computer Programming
TOPLAS: ACM Transactions on Programming Languages and Systems
OOPSLA: ACM Conference on Object-Oriented Programming, Systems, Languages & Applications
PLDI: ACM Conference on Programming Language Design & Implementation