CSE P505: Programming Languages

Spring 2006

Interesting/Relevant Papers

Students are not responsible for these papers. They are just a sample of accessible research papers that were mentioned in class as relevant to a particular topic (or your instructor thought of them later).

• MapReduce: Simplified Data Processing on Large Clusters
  Jeffrey Dean and Sanjay Ghemawat
  6th Symposium on Operating System Design and Implementation 2004
  
  
• Safe Kernel Extensions Without Run-Time Checking.
  George C. Necula, Peter Lee
  2nd Symposium on Operating System Design and Implementation 1996
  
  
• The essence of XML
  Jérôme Siméon, Philip Wadler
  30th Symposium on Principles of Programming Languages 2003
  
  
• C++ Templates as Partial Evaluation
  Todd L. Veldhuizen
  Workshop on Partial Evaluation and Semantics-Based Program Manipulation 1999
  
  
• The influence of browsers on evaluators or, continuations to program web servers
  Christian Queinnec
  5th International Conference on Functional Programming 2000
  
  
• Automatically Restructuring Programs for the Web
  Graunke, Findler, Krishnamurthi, Felleisen
  Automated Software Engineering 2001
  
  
• Cyclone: A safe dialect of C
  Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, Yanling Wang
  USENIX Annual Technical Conference 2002
  
  
• Adding wildcards to the Java programming language
  Mads Torgersen, Christian Plesner Hansen, Erik Ernst, Peter von der Ahé, Gilad Bracha, Neal M. Gafter
  ACM Symposium on Applied Computing 2004
  
  
• Threads cannot be implemented as a library
  Hans-J. Boehm
  ACM Conference on Programming Language Design and Implementation 2005
  
  
• Types for Safe Locking: Static Race Detection for Java
  Martin Abadi, Cormac Flanagan, and Stephen N. Freund
  ACM Transactions on Programming Languages and Systems 2006
  
  
• AtomCaml: First-Class Atomicity via Rollback
  Michael F. Ringenburg, Dan Grossman
  International Conference on Functional Programming 2005.
  
  
• Uniprocessor Garbage Collection Techniques
  Paul R. Wilson
  International Workshop on Memory Management 1992
  
  
• Language Support for Regions
  David Gay, Alexander Aiken
  ACM Conference on Programming Language Design and Implementation 2001