Lecture Notes


CS4410/6410: Compilers
Spring 2013

Problem Set 6: Optimizing ML

Due Friday, 22 Mar 2013, 11:59pm


The goal of this problem set is to learn more about building a high-level optimizer for a modern language. In particular, you will be modifying the inlining hueristic to have a more reasonable strategy, and adding a new optimization pass that gets rid of redundant tests. More information can be found in the README file contained in the project zip file.


Download the assignment as a zip file. You will find all of the files needed for this assignment in your directory.

The file README contains more detailed directions about what you need to do. In particular, you will be modifying the file monadic.ml to complete the parts that are missing.

Submitting your work

When you have completed the assignment, zip up your ps6 directory as ps6-lastname1-lastname2 and email it to 4410staff at ccs.neu.edu.