15-411 Compiler Design, Fall 2015

Resources

This page always under construction. Links to useful resources are welcome.

Source Language: C0

The labs use increasingly more complete subsets of the C0 programming language that has been designed for 15-122 Principles of Imperative Computation, a freshman-level course at Carnegie Mellon University. C0 is a small safe subset of C with an unambiguous semantics. You are strongly encourage to learn C0, since you will be writing a compiler for this language.

• C0 Language Reference
• C0 Library Reference
• C0 Language Tutorial

Target Languages and Tools

x86-64 Machine-Level Programming

The following documents will help you fathom the depths of machine-level programming on x86-64 machines.

• x86-64 Machine-Level Programming. This document supplements Chapter 3 the textbook for 15-213 Computer Systems: A Programmer's Perspective, 1st edition, by Randal E. Bryant and David R. O'Hallaron.
• GNU Assembler User Guide. This is version (2.15) available on the lab machines. Contains i386-specific features with notes on the difference between x86 and x86-64.
• x86-64 Application Binary Interface (ABI). Specifies the rules for compilers and linkers.
• Official Intel Processor Manuals (not for the faint of heart) including the Combined Instruction Set Reference.

IA32 and Assembler Reference Material

The following are for the older Intel x86 architectures. See the newer references above for the x86-64 (also known as IA32-EM64T).

• Intel opcode table for IA32, two-page reference

LLVM

LLVM is a potential second target for the compiler for Lab 6

• LLVM Home Page
• On-line demo (for producing LLVM source from C)

Garbage Collection

Writing a garbage collector for C0 is one of the interesting options for Lab 6

• Richard Jones' Garbage Collection Page
• Paul R. Wilson: Uniprocessor Garbage Collection Techniques, 67pp, 1994

Implementation Languages

You are free to write your compilers in any language you choose. We strongly suggest choosing a statically typed language with algebraic data types and pattern matching. The course staff can provide support for the following languages: SML, OCaml, Haskell, Rust. Students with sufficient background and motivation are welcome to choose other languages.

Standard ML

• Standard ML of New Jersey (SML/NJ)
• MLton, A highly optimizing, whole program compiler mostly compatible with SML/NJ
• Poly/ML, Another high quality compiler
• Standard ML Libraries and Documentation
  • The Standard ML Basis Library
  • SML/NJ Libraries
  • ML-Lex Manual
  • ML-Yacc Manual

Java

• Java API
• JLex: lexer generator
• JFLex: lexer generator
• CUP: LALR parser generator
• ANTLR: lexer and LL parser generator

Haskell

• Haskell books and tutorials
• Parsec: monadic parser combinator library for Haskell
• Happy: parser generator for Haskell

Scala

For Fall 2015 we strongly discourage the use of Scala due to efficiency issues.

• Scala reference manuals and tutorials
• Scala API
• ScalaBison: recent LR parser generator

OCaml

• OCaml home page

F#

• F# home page

Rust

• Rust home page
• API Docs

Prior Course Instances

• Compiler Design, Fall 2014
• Compiler Design, Fall 2013
• Compiler Design, Fall 2012 (André Platzer)
• Compiler Design, Fall 2011 (André Platzer)
• Compiler Design, Fall 2010 (André Platzer)
• Compiler Design, Fall 2009
• Compiler Design, Fall 2008
• Compiler Design, Fall 2007