• for

Courses:

Multithreaded Parallelism: Languages and Compilers >> Content Detail


Table of Contents



Calendar / Schedule



Calendar





Amazon logo Help support MIT OpenCourseWare by shopping at Amazon.com! MIT OpenCourseWare offers direct links to Amazon.com to purchase the books cited in this course. Click on the book titles and purchase the book from Amazon.com, and MIT OpenCourseWare will receive up to 10% of all purchases you make. Your support will enable MIT to continue offering open access to MIT courses.

This calendar provides the lecture topics for the course, along with links to corresponding lecture notes, problem sets, and quizzes. The pH Book reading assignments refer to the required textbook for the course, Nikhil, Rishiyur S., and Arvind. Implicit Parallel Programming in pH. 1st ed. Boston, MA: Morgan-Kaufmann, 2001. ISBN: 1558606440. (see Morgan Kaufmann for more information).

Part I: Programming in pH and the ג-calculus
LEC # TOPICSHANDOUTSREADINGSREMARKS
1Expressing Parallel Computation
  • pH Book,
    Chapter 1
2Implicitly Parallel Multithreaded Programming
  • Lecture Notes (PDF)
3The Lambda Calculus
  • Lecture Notes (PDF)
  • Problem Set 1 (PDF)
  • pH Book,
    Appendix A
4The Lambda Calculus with Constants and Let Bindings, Part I
  • Lecture Notes (PDF)
  • pH Book,
    Chapter 4
5The Lambda Calculus with Constants and Let Bindings, Part II
  • Lecture Notes (PDF)
  • pH Book,
    Chapter 4
6Hindley Milner Type System
  • Lecture Notes (PDF) 
  • Cardelli, Simple Polymorphic Typechecking
PS 1 Due
7Polymorphism and Overloading
  • Lecture Notes (PDF)
  • Problem Set 2 (PDF)
  • pH Book,
    Chapters 3
8Algebraic Types: Tuples and Lists
  • Lecture Notes (PDF)
  • pH Book,
    Chapter 5
9Pattern Matching and List Comprehensions
  • Lecture Notes (PDF)
  • pH Book,
    Chapter 6
10Arrays and Abstract Types
  • Lecture Notes (PDF)
  • pH Book,
    Chapter 7
11I-Structures and Open Lists
  • Lecture Notes (PDF)
  • Problem Set 3 (PDF)
  • Midterm Topics  (PDF)
  • pH Book,
    Chapter 9
PS 2 Due
Midterm Quiz
  • Midterm Quiz (PDF)

 

Part II: I/O, Side-effects and Nondeterminism

LEC # TOPICSHANDOUTSREADINGSREMARKS
12M-Structures, Part
  • Lecture Notes (PDF)
  • pH Book,  Chapter 10
13

M-Structures, Part II

  • Lecture Notes (PDF)
  • Project Suggestions (PDF)
  • pH Book, Appendix B
14The Lambda-S Calculus with Side Effects                      
  • Lecture Notes (PDF)
  • TBD

PS 3 Due

15Monads and Monadic I/O, Part I
  • Lecture Notes (PDF)
  • Problem Set 4 (PDF)
  • pH Book,
    Chapter 8
    Wadler, How to Declare an Imperative
16Monads and Monadic I/O, Part II
  • Lecture Notes (PDF)

 

Part III: BlueSpec

LEC #TOPICSHANDOUTSREADINGSREMARKS
17Bluespec 1:
A Language for Hardware Design,
Simulation and Synthesis		                                 PS 4
Due
18Bluespec 2:
Compilation Model & Intro to Programming
  • Lecture Notes (PDF)
19Bluespec 3:
The IP Lookup Problem
  • Lecture Notes (PDF)
20Bluespec 4:
Modules and Type Classes
  • Lecture Notes (PDF)
21Bluespec 5
  • Lecture Notes (PDF)

Miscellaneous Topics






© 2017 CourseTube.com, by Higher Ed Media LLC. All Rights Reserved.

LEC #TOPICSHANDOUTSREADINGSREMARKS
Bluespec Discussion (no notes)              
  • Hughes, Compile-time Analysis and Abstract Interpretation
  • Marriott, Frameworks for Abstract Interpretation
                                
22Term Rewriting Systems,
Part I
  • Lecture Notes (PDF)
23Term Rewriting Systems,
Part II
  • Lecture Notes (PDF)
Project Presentations
Project Write-Ups Due