N.V. Krishna:

    Continuation-Passing, Closure-Passing Style.
    Realistic Compilation by Program Transformation.


Theodore Witkamp

    Essence of Compiling with Continuations
    Vortex: An Optimizing Compiler for Object-Oriented Languages

Chapman Flack

     A Systematic Study of Functional Language Implementations

Adam Welc
   
     Array SSA Form and its Use in Parallelization
     A Simple Graph-based Intermediate Representation

Di Ma

     TIL: A Type Directed Optimizing Compiler for ML
     From System F to Typed Assembly Language

Christian Grothoff

     Efficiently Computing Static Single Assignment Form

Ben Titzer
 
     An Equivalence Between SSA and CPS
     Value Dependence Graphs

Vidyut Samanta

     A New Algorithm for Partial Redundancy Elimination based on SSA Form
     Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis

Audrey Madan
     
     Storage Shape Graphs
     A Calculus for Compiling and Linking Classes     

Mayur Naik

     Type Preserving Compilation of Featherweight Java

Chapman Flack

     Swift

Suresh Jagannathan

     MLton