Schedule

Martin Vechev talk

Idea of Garbage Collection

Reference Counting

Mark and Sweep Collector

• Pointer Reversal

Memory Fragmentation

Simple Copying Collector ←

Generational Garbage Collectors

Incremenatal Garbage Collectors

Compiler Interface to Garbage Collector

• Tiger book, Chapter 13
• Java without Coffee Breaks
• Write Barrier Removal by Static Analysis
• CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors

Motivation for Lazy Evaluation

Examples of Lazy Evaluation

Simple Implementations of Lazy Evaluation

Strictness Analysis

• http://haskell.org Haskell language
• The Implementation of Functional Programming Languages (book by Simon Peyton Jones)
• Clean (programming language)
• Tiger book, Section 15.7

Non-Determinism and Underspecification

Scaludita Examples

Uses in Testing and Lazy Evaluation Optimization

Prolog Examples

Warren abstract machine, WAM Book

Tabling transformation, like lazy evaluation, is a form of Memoization

Mode Analysis

Constraint logic programming

Synthesis for Presburger Arithmetic

• Overview of PA-Based Synthesis, slides in ppt format
• Definition of Presburger Arithmetic
• QE for Presburger Arithmetic
• COMFUSY

• Compcert - a compiler formally proved correct using the Coq interactive proof assistant
• Translation Validation - compiler emits, for each individual program, an independently verifiable certificate that the compilation was correct

• Dragon book has many chapters on parallelism, very active research question
• Parallelism for Scala

Your own compiler: the big advantage is that you understand it

Other recent open-source infrastructures:

• Soot Java Optimization Framework - works from Java Bytecodes. Well documented. Scala interfaces exist
• SAFE (Scalable And Flexible Error detection and verification) suitable in particular for type-state checking
• LLVM Compiler Infrastructure
• GCC (GNU Compiler Collection Overview) is widely used
• Scala compiler itself from http://www.scala-lang.org/
  • The Scala Compiler Corner: A collection of resources contributed by the Scala user community (by Miguel Garcia)
• Etienne's PHP analysis