6.827 Multithreaded Parallelism: Languages and Compilers Fall-2006


Top
Course Info
Staff
Announcements
Syllabus
Handouts
Problem Sets
Bluespec
Links
M.I.T
C.S.A.I.L.
6.827 Fall 2006 Handouts

Released course handouts are listed below in chronological order. Revisions of previously-released handouts are listed under their dates of issue and under their original entries.

The handouts are available in PDF.

L01 - 6.827 Multithreaded Parallelism: Languages and Compilers (Introduction): 09/06/06
L02 - Functional Programming: Functions and Types: 09/12/06
L03 - Lambda Calculus: A Basis for Functional Languages: 09/14/06
L04 - A Lambda-calculus with Constants and Let-blocks: 09/19/06
L05 - Types and Simple Type Inference: 09/21/06
L06 - Type Interface: 09/26/06
L07 - Overloading, Type Classes, and Algebraic Datatypes: 09/28/06
L08 - List Comprehensions: 10/03/06
L09 - Compiling Pattern Matching and List Comprehensions: 10/05/06
L10 - Arrays and I Structures: 10/12/06
L11 - MStructures: Programming with State and Nondeterminism: 10/19/06
L12 - MStructures(Continued): plus Introduction to the I/O Monad: 10/24/06
L13 - Monadic Programming: 10/26/06
L14 - The State Monad and Friends: 10/31/06
L15 - An Hardware inspired model for parallel programming: 11/02/06
L16 - Expressing Designs for IFFT in Bluespec (BSV): 11/07/06
L17 - Exploring Microarchitectures:IP Lookup Module: 11/09/06
L18 - Fifo and Concurrency Issues: 11/14/06
L19 - The Semantics of Bluespec, i.e., a Parallel Language with Guarded Atomic Actions and Modules : 11/21/06
L20 - Static Dataflow Graphs: 11/28/06
L21 - Well Behaved Dataflow Graphs: 11/30/06
L22 - Dynamic Dataflow: 12/05/06
L24 - Scheduling Primitives for Bluespec: 12/12/06