Case Study Papers
The following is a (non-exhaustive) list of papers I think are good examples of case studies in programming languages.- ArchJava: Connecting Software Architecture to Implementation. Jonathan Aldrich, Craig Chambers, and David Notkin. In Proceedings of the International Conference on Software Engineering (ICSE '02), May 2002.
- Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution. Heather Miller, Philipp Haller, and Martin Odersky. In European Conference on Object-Oriented Programming (ECOOP '14), 2014.
- A Fault-Tolerant Programming Model for Distributed Interactive Applications. Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, Mira Mezini. PACMPL (OOPSLA), 2019.
- Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy. Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, et al. PACMPL (OOPSLA), 2019.