CS 432F: Compiler Design Principles
CS 728: Compiler Design

General information about the courses are available under the following headings:

 Overview | Objectives | Course Description | Prerequisites

 Staff | Textbooks | | Computing Resources | Administrative Information and Grading Policy

Also available are the following (at least from within IITD):

• e-mail to the course instructor.
• Programming assignments.

  You are to submit assignments online by first tarring them into one file. Remember only the last version of your submission prevails since earlier versions are overwritten. Then click here to submit your assignment:
  

  submit assignment 4
  Due 3 May (Extended Deadline!!)
  
• Tests and quizzes from this semester
• Student roll lists and marks.
• On-line feedback form

HOT NEWS

Check your PMT

Read comments about assignment 1

Read comments about assignment 2

Read comments about assignment 4

Overview

Objectives

Course Description

CS 432F: Compiler Design Principles

5 Credits: 3-0-4 (3 Lectures a week, no tutorial, four practical hours)

Contents. Compilers and translators; lexical and syntactic analysis, top-down and bottom up parsing techniques, internal form of source programs; semantic analysis, symbol tables, error detection and recovery, code generation and optimization. Type checking and static analysis. Algorithms and implementation techniques for type-checking, code-generation and optimization. Students will implement static analysis type checking, and optimization.

CS 728: Compiler Design

4 Credits: 3-0-2 (3 Lectures a week, no tutorial, two practical hours)

Contents. Language processors: compilers, interpreters, Front end tools, processing syntax, abstract syntax and intermediate code; semantic analysis, symbol tables, error detection and recovery; abstract machine and code generation; type systems and static analysis; data flow analysis, optimizations; practical exercises to build language processors.

Prerequisites

Staff

• Nishant Sharma
• Basant Kumar Dwivedi

Textbooks

1. modern compiler implementation in ML by A. W. Appel. Cambridge University Press, 1997. (You are advised to buy and use the Java version of the book, which is cheaper and more easily available).
2. Compilers: Principles, Techniques and Tools by A. V. Aho, R. Sethi, J. D. Ullman. Addison-Wesley, 1986.

Language-specific reference material (may not be affordable/available in a shop):

1. ML for the Working Programmer by L.C. Paulson, Cambridge University Press.
2. Online SML Tutorial by Bob Harper at CMU.
3. SML-Resources(for locals only)
   1. Tutorial on Standard ML(ps.gz)
   2. Emacs SML mode(tar.gz)
   3. SML Basis Documentation
   4. SML compilation Manager(ps.gz)
   5. ML-lex and ML-yacc (ps.gz)

Syllabus

1. Lecture 1: Introduction. What is a compiler? Why is the course hard?
2. Lecture 2: Overview of SML: Polymorphism and modules
3. Lecture 3: Overview of SML's module system: functors, abstractions.
4. Lecture 4: Lex technology. Grammars, Context-free grammars, ambiguity, example of removing ambiguity.
5. Lecture 5: Predictive Parsing (Recursive Descent): First and Follow, Building a LL(1) Parsing Table, problem of left recursion.
6. Lecture 6: Eliminating left recursion, left factoring, error recovery. LR grammars.

   ---

   Computing Resources

   • Platform: The Pentium machines running Linux in the Mini Computer Lab and Intel Technologies Lab of the Department of Computer Science and Engineering. Please ensure you have an account here.

     Please use man liberally, and definitely before asking anything of the system administrators.

   • Tools:
   • Editors:
   • The editor I prefer is emacs because it provides a customisable programming environment. Emacs comes equipped with an on-line tutorial. It supports a special ML mode as well as a noweb mode, which you may find useful in improving your productivity.
   • The native editor on any UNIX system is vi. It is always important to learn to use vi to be able to work on any UNIX system.
   • Language processors
   • The Standard ML interpreter can be invoked by typing sml at the UNIX prompt. Ml-lex and ml-yacc are the lexer and parser to be used. For details of use see the decumentation provided above
   • Version Control and Literate Programming
     • For version control use cvs, sccs or rcs. For details use the man pages. Emacs incorporates version control using cvs.
     • Noweb is a ``literate programming'' tool. It is to be used for documenting all the assignments in the course. You can find a one page primer and a sample noweb document in this directory.

   ---

   Administrative Information

   Schedule and Classrooms:

   G slot in the time table.

   Lectures in VI-301.

   Tue	2:00-3:30
   Fri	2:00-3:30

   Tutorials None!! .

   Laboratory hours at your convenience

   Make-up lectures, quiz hour (when announced)

   Exam Schedule:

   Minor I	2--5 February 2002	--to be ann--	--to be ann--
   Minor II	14--16 March 2002	--to be ann--	--to be ann--
   Major

   
    

   Marks:

   Minor, Quizzes
   Major
   Assignments and Homework
   Other Assessment

   Grading Policy:

   Per Institute regulations, an ``A'' grade will be awarded only over 80% and no student with less than 30% will be given a passing grade.

   An ``I'' grade can only be awarded only in the case of a serious illness during the major exam. A make-up exam will be scheduled at the earliest, and the ``I'' grade will be converted as soon as possible. There will be no make-up tests for the minors.

   Grades may be drastically lowered if the student fails to comply with the attendance requirements, or is dishonest.

   Other policies:

   • Attendance: The institute attendance requirements are quite clear. No student with less than 75% attendance can be awarded a passing grade. Please read institute attendance requirements and comply. Note that the minimum 75% requirement accounts for time lost due to illness.
   • Illness: In sickness or ill-health, the course instructor must be intimated at the earliest, and a Medical Certificate from the Institute Sick Bay, or from a doctor from an Institute-recognised hospital covering the period of illness must be furnished at the earliest. Only in the case of serious illnesses will I consider giving an extension on assignments or a make-up test.
   • Make-up Tests: Make-up tests (major exams only) will be given only when the student furnishes valid documentation of illness for a period including the day of the exam.
   • Late policy: Normally, I will not consider any assignments turned in late. In cases of illness I may consider giving an extension, provided the student informs me as soon as possible. an extension, provided the student informs me as soon as possible.
   • Dishonesty: Please read carefully the institute's regulations on dishonesty. Any instance of blatant academic dishonesty will result in my recommendation of the award of an 'F' grade.Minor transgressions will result at least in the lowering of a letter grade.

   ---

   ---

   Sanjiva Prasad / Dept. Computer Science and Engineering / IIT Delhi / Hauz Khas/ New Delhi 110016 / sanjiva@cse.iitd.ernet.in
   
   

   ---