xizahk / sp21

6.035 Computer Language Engineering SP21

WE WILL MAKE ALL ANNOUNCEMENTS VIA PIAZZA, SO MAKE SURE THAT YOU ENROLL

If neither this site nor the Piazza has the information you need, you should email the TA's directly

Table of Contents

1. Schedule
2. General Administrivia
   1. Course Staff
   2. MIT Catalog Description
   3. Recommended Texts
   4. Communication
   5. Grading
   6. Late policy
   7. Collaboration
   8. Compiler project
   9. Class meetings
   10. Contact
   11. Office Hours
3. Reference Materials
   1. Official References
      1. Provided During Exams
   2. Unofficial References

Schedule (Tentative)

Official MIT Calendar

                                            2021
      February                 March                   April                    May
Su Mo Tu We Th Fr Sa    Su Mo Tu We Th Fr Sa    Su Mo Tu We Th Fr Sa    Su Mo Tu We Th Fr Sa
    1  2  3  4  5  6        1  2  3  4  5  6                 1  2  3                       1
 7  8  9 10 11 12 13     7  8  9 10 11 12 13     4  5  6  7  8  9 10     2  3  4  5  6  7  8
14 15 16 17 18 19 20    14 15 16 17 18 19 20    11 12 13 14 15 16 17     9 10 11 12 13 14 15
21 22 23 24 25 26 27    21 22 23 24 25 26 27    18 19 20 21 22 23 24    16 17 18 19 20 ...
28                      28 29 30 31             25 26 27 28 29 30       

!!! Note: This schedule is tentative and may change throughout the semester. !!!

L: parsing~55 means that the topic was parsing and we covered up to slide 55.

	Monday	Tuesday	Wednesday	Thursday	Friday
02/15 - 02/19		FIRST DAY LOGISTICS FORM L: regex~39	L: regex	L: top-down	P1 RELEASE L: top-down
02/22 - 02/26	P1 INFO SESSION
03/01 - 03/05	L: shift-reduce	L: shift-reduce	L: shift-reduce	L: shift-reduce	P1 DUE L: shift-reduce
03/08 - 03/12	Student holiday	SUBMIT TEAM L: IR	L: IR	L: sem	L: sem
03/15 - 03/19	L: codegen	L: codegen	L: codegen	L: codegen	ADD DATE P2 DUE L: codegen
03/22 - 03/26	Student holiday	Student holiday			PSET A DUE
03/29 - 04/02	L: opt	L: dataflow	L: dataflow	L: dataflow	L: dataflow
04/05 - 04/09					P3 DUE
04/12 - 04/16	L: loops	L: loops	L: reg	CPW L: lattice	CPW L: lattice
04/19 - 04/23	Patriots' Day	Student holiday	L: lattice	L: lattice	P4 DUE L: lattice
04/26 - 04/30	L: parallel	L: parallel		DROP DATE	PSET B DUE
05/03 - 05/07					CHECKPOINT
05/10 - 05/14
05/17 - 05/21			P5 DUE	LAST DAY DERBY

General Administrivia

Course Staff

• Faculty
  • Martin Rinard [email protected]
  • Michael Carbin [email protected]
• TA
  • Mark Theng [email protected]

MIT Catalog Description

• Prereq -- 6.004, 6.031
• Level -- U
• Units -- 4-4-4

Analyzes issues associated with the implementation of higher-level programming languages. Fundamental concepts, functions, and structures of compilers. The interaction of theory and practice. Using tools in building software. Includes a multi-person project on compiler design and implementation.

Recommended Texts

6.035 has no officially required textbook. All of the material you need is taught in class, with the exception of the documentation for your implementation language and associated libraries. However, the following books may be helpful in implementing various components of your compiler, and are available from MIT libraries.

Modern Compiler Implementation in Java (Tiger Book)
Andrew W. Appel and Jens Palsberg
Cambridge University Press, 2002

Many other resources such as technical papers, interesting and useful blog posts, and reference guides are available on the references page.

Communication

We will distribute assignments here and make all announcements via Piazza. Important announcements will also be made via email.

Since lecture dates are not all finalized at the start of the semester, please check the schedule regularly.

Grading

Component	Weight
Project phases 2 and 3	25%
Project phases 4 and 5	50%
Problem set A	9%
Problem set B	10%
Miniquizzes	6%

For more information on the way the compiler project is graded, see the project overview.

Late policy

We expect you to submit all components of the class on time. For extensions under extenuating circumstances (e.g., you are sick for a week, family emergencies), we require a letter from one of the student deans at S^3.

Collaboration

Although you may discuss the projects with anybody, you must develop the code yourself. For the scanner/parser project, you must develop your code alone. On all subsequent projects, you should work with your team members, but you may not develop or share any code with other teams.

You may collaborate on the mini-quizzes and the problem sets, but you should write all solutions yourself.

Do not post your lab or homework solutions on publicly accessible web sites or file spaces; this enables cheating for students in future years.

Compiler project

This class involves a group project, where you will build a compiler almost entirely from scratch. Details about the project can be found here. Specific instructions for each phase of the project will be released later in the class.

Class meetings

Lectures:

• 11am-12pm MTWRF on Zoom. The link will be distributed on Piazza.

To find out whether there is lecture on a given day, check the calendar above. Lectures will be recorded, so don't worry if you can't make them.

Contact

For all general questions and/or concerns, please post on Piazza.

If the matter is private, please email the TA's directly.

Office Hours

Refer to Piazza for the latest updates about office hours. We will have additional office hours before each quiz and each phase of the project.

Reference Materials

This section contains a number of useful and/or interesting references selected by the staff. You are not expected to know most of the material on this page for the class; however, you may find it interesting and helpful.

Official References

1. The complete Intel x64 manual
2. Intel x64 Optimization Reference Manual
3. x64 wiki
4. x64 cheat sheet -- lists and tables detailing registers and assembly commands
5. x86-64 architecture guide -- a walkthrough with an example, and common commands
6. Intel x64 manual
7. Intel developer manual -- detailed description of some assembly instructions

Provided During Exams

1. x64 cheat sheet -- lists and tables detailing registers and assembly commands

Unofficial References

Interesting blog posts, papers, etc

1. Overviews
   1. LLVM compiler architecture
   2. GCC compiler architecture
2. Blogs
   1. Russ Cox's Blog -- Russ is one of the developers of Google Go, a pretty interesting language.
   2. Ian Wienand's Blog -- Whoever he is, he writes about compiler and language internals, the magic black box that is the linker, and more
   3. Matt Might's Blog -- Matt is a professor at the University of Utah and has written some very interesting articles (e.g. "Yacc is dead")
3. Papers
   1. Register Allocation & Spilling via Graph Coloring -- G.J. Chaitin / 1982. Great (short) paper on simple register allocation.
   2. Linear Scan Register Allocation
   3. Iterated Register Coalescing -- Lal George / 1996. Presents improvements/alternative to Chaitin's design. If Chaitin-style (+/-Briggs) register allocation isn't enough for you, this paper is a good read - actually, it's a good read anyway, to understand the tradeoffs
   4. Superword Level Parallelism combined with loop unrolling, a simple way to implement a vectorizing compiler
4. Miscellaneous
   1. Scala Patterns for Compiler Design
   2. 6.823 Advanced Computer Architecture lecture notes