CS312 Assignments

Picking Up Problem Sets:  Normally, problem set submission is online.  Written assignments, if assigned, should be submitted to the course administrative assistant, Bill Hogan, in Upson 4119 by 4pm of the due date.  Graded assignments and exams and regrade forms can be picked up from Bill during regular business hours.  You must have a valid picture ID.  (Sorry, you may not pick up your friends' homework for them.  Cornell takes academic privacy very seriously.)

Regrades:  Regrades must be submitted within two weeks after the return of the assignment.  In order to qualify for a regrade, you must obtain a regrade form from Bill in 4119 Upson, fill it out, and staple it to the front of your assignment.  Submit your regrade to Bill.  If the form is missing or not stapled to the front, we will not regrade it.

Grading Conventions: Submit each problem on a separate sheet of paper.  The grade for each problem is written at the top of the paper next to the big number one.  A circled S denotes a violation of a style rule; see the style guide.

Downloading Files: To download files, click on the links below. You can also download them from the CMS, however if you are not registered for CS 312 in the CMS you will not be able to download the files. Please contact the course staff if you can't download the file.

Submitting Files: You will use the Course Management System (CMS), located at http://cms.csuglab.cornell.edu/ to to submit assignments. If you do not see CS 312 as one of your courses in the system, please contact the course staff to be added. To submit the files, click the submit button for the appropriate assignment. On the next page, use the browse button to select the files you would like to submit, and hit upload to submit the files. You may submit as many times as you wish, but only your last submission will be used for grading. For later assignments you will have to use the 'groups' link to create and manage a group.

Problem Set 1: An Introduction to SML. Due: February 3, 11:59PM
[Download source files]

Problem Set 2: More ML Programming. Due: February 17, 11:59PM
[Download source files]

Problem Set 3: Specification and Testing. Due: March 2nd, 11:59PM
[Download source files]

Problem Set 4: Stream Operations. Due: March 18th, 11:59PM
[Download source files]

Problem Set 5: Concurrent Language Interpreter. Due: April 15, 11:59PM
Robot Control Language Reference
[Download source files]