1 Parametric Heap Usage Analysis for Functional Programs Leena Unnikrishnan Scott D. Stoller.
Compiler Construction Tools Libby Rasnick Christopher Newport University CPSC 560 Spring 2003.
Tool Support for Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent
Pay-to-use strong atomicity on conventional hardware Martín Abadi, Tim Harris, Mojtaba Mehrara Microsoft Research.
Practical pairing of generative programming with functional programming.
A recommender system for generalizing and refining code templates
1 FWO Research Network Foundations of Software Evolution Research Meeting Friday, September 20, 2002 Technical University of Vienna Vienna, Austria.
Runtime Analysis and Program Transformations for Dynamic Programs John Blatz CS 325/425 April 26, 2006.
Advanced Compiler Design CSE 231 Instructor: Sorin Lerner.
Embedded Computer Architecture 5KK73 TU/e 2014 heco/courses/EmbeddedComputerArchitecture Henk Corporaal heco.
Static Analysis of Embedded C Code John Regehr University of Utah Joint work with Nathan Cooprider.
Recap from last time We saw various different issues related to program analysis and program transformations You were not expected to know all of these.