Calendar · Lecture Notes
MIT OpenCourseWare
Multithreaded Parallelism: Languages and Compilers
Art: not stated, Fletcher's Combined Block Telegraph Apparatus and Bell, 1889 · Public domain
- Instructor
- Prof. Arvind
- Term
- Fall 2002
- Level
- Graduate
- What's inside
- 1 exam · 1 lecture note · 42 other files · 5 web pages
- Materials open
- MIT OCW
About this course
Source: MIT OpenCourseWare 6.827 Multithreaded Parallelism: Languages and Compilers, Fall 2002, Prof. Arvind — original course page on ocw.mit.edu ↗. License: CC BY-NC-SA 4.0. Study order: MIT's own listing order, section by section. Taken from MIT's published course files, downloaded from ocw.mit.edu on September 23, 2026. How RedLectern is built.
Materials are grouped the way MIT organized them. A verified, course-wide order has not been established here.
Before you start
Prerequisites are not listed here. Check MIT's own syllabus for this course.
How this course was organized
What's here, and what isn't
- MIT's own materials here did not support a verified, course-wide order, so they are grouped by section instead.
Not included here
3 items from the source could not be safely included:
- MIT's page format for this item wasn't recognized clearly enough to place it safely. (2 items)
- Referenced in a table, but without MIT's own verified order, so it isn't used to claim a sequence.
Materials by section
Grouped by section, as MIT organized them. Not sequenced or ordered.
Lecture Notes
23 files
- Lecture 1 · Expressing Parallel Computation · Files Download
- Lecture 2 · Implicitly Parallel Programming in pH: Functions and Types · Files Download
- Lecture 3 · A ג - calculus: A Basis for Functional Languages · Files Download
- Lecture 4 · A ג - calculus with Constants and Let - blocks · Files Download
- Lecture 5 · A ג - calculus with Let - blocks (continued) · Files Download
- Lecture 6 · The Hindley-Milner Type System · Files Download
- Lecture 7 · The Hindley-Milner Type System (Continued) · Files Download
- Lecture 8 · Lists and Algebraic Types · Files Download
- Lecture 9 · Desugaring List Comprehensions and Pattern Matching · Files Download
- Lecture 10 · Programming with Arrays · Files Download
- Lecture 11 · I- Structures and Open Lists · Files Download
- Lecture 12 · M- Structures: Programming with State and Nondeterminism · Files Download
- Lecture 13 · M- Structures Continued · Files Download
- Lecture 14 · λS: A Lambda Calculus with Side - effects · Files Download
- Lecture 15 · Using Monads for Input and Output · Files Download
- Lecture 16 · Using Monads to Structure Computation · Files Download
- Lecture 17 · Bluespec - 1: A language for hardware design, simulation and synthesis · Files Download
- Lecture 18 · Bluespec - 2: Bluespec Compilation Model & Introduction to programming · Files Download
- Lecture 19 · Bluespec - 3: The IP Lookup Problem · Files Download
- Lecture 20 · Bluespec - 4: Modules and Type Classes · Files Download
- Lecture 21 · Bluespec - 5: Programming Examples · Files Download
- Lecture 22 · Term Rewriting Systems · Files Download
- Lecture 23 · The Confluence of the ג - calculus · Files Download
Assignments
15 files
- Problem Set 1 Download
- Problem Set 2 Download
- ps2-3 Download
- ps2-4 Download
- ps2-5 Download
- ps2-6 Download
- Problem Set 3 Download
- ps3-1 Download
- ps3-2 Download
- ps3-3 Download
- ps3-sample Download
- Problem Set 4 Download
- This is a supporting file for problem set 3 (language.txt) Download
- * ps4-1 Download
- ps4-2 Download
Exams
Projects
Other materials from this course
Course outline
Calendar · Lecture Notes
Lecture 2: Implicitly Parallel Multithreaded Programming
Calendar · Lecture Notes
Lecture 3: The Lambda Calculus
Calendar · Lecture Notes
Lecture 4: The Lambda Calculus with Constants and Let Bindings, Part I
Calendar · Lecture Notes
Lecture 5: The Lambda Calculus with Constants and Let Bindings, Part II
Calendar · Lecture Notes
Lecture 6: Hindley Milner Type System
Calendar · Lecture Notes
Lecture 7: Polymorphism and Overloading
Calendar · Lecture Notes
Lecture 8: Algebraic Types: Tuples and Lists
Calendar · Lecture Notes
Lecture 9: Pattern Matching and List Comprehensions
Calendar · Lecture Notes
Lecture 10: Arrays and Abstract Types
Calendar · Lecture Notes
Lecture 11: I-Structures and Open Lists
Calendar · Lecture Notes
Lecture 12: M-Structures, Part I
Calendar · Lecture Notes
Lecture 13: M-Structures, Part II
Calendar · Lecture Notes
Lecture 14: The Lambda-S Calculus with Side Effects
Calendar · Lecture Notes
Lecture 15: Monads and Monadic I/O, Part I
Calendar · Lecture Notes
Lecture 16: Monads and Monadic I/O, Part II
Calendar · Lecture Notes
Lecture 17: Bluespec 1: A Language for Hardware Design, Simulation and Synthesis
Calendar · Lecture Notes
Lecture 18: Bluespec 2: Compilation Model & Intro to Programming
Calendar · Lecture Notes
Lecture 19: Bluespec 3: The IP Lookup Problem
Calendar · Lecture Notes
Lecture 20: Bluespec 4: Modules and Type Classes
Calendar · Lecture Notes
Lecture 21: Bluespec 5
Calendar · Lecture Notes
Lecture 22: Term Rewriting Systems, Part I
Calendar · Lecture Notes
Lecture 23: Term Rewriting Systems, Part II
MIT OpenCourseWare, Prof. Arvind, 6.827 Multithreaded Parallelism: Languages and Compilers, Fall 2002.
License: CC BY-NC-SA 4.0 · Edition: Fall 2002 · Open the original course on OCW ↗
Organized by RedLectern, independent of MIT and not endorsed by MIT.
Per-resource rights are recorded on each resource; All-Rights-Reserved items are link-only, never mirrored.
