News

Course Overview

This advanced graduate course is designed as a follow-on to Program Analysis: Theory and Practice. In this course, we will follow a hands-on approach with the goal of taking program analysis projects of your choosing to publication.

Our approach will allow for both individual and team contributions. We will continue jointly developing infrastructure for analyzing JavaScript, but each of you will have a research application in mind that will drive your contributions.

Prerequisites

A significant amount of independence will be expected. A spirit of cooperation will also be expected. Experience in implementing program analyzers or compilers is needed, ideally in an ML-like language (e.g., OCaml). Having taken Program Analysis: Theory and Practice is not a strict prerequisite, but the consent of the instructor is needed in this case.

Requirements

You will be primarily evaluated on the writing, presentations, and implementation concerning your semester project. Participating in cooperative efforts will also be required and will be evaluated by your peers.

Late policy. 10% of the point value will be deducted for each day (including weekends) the assignment is late up to 3 days (i.e., on the 4th late day, the assignment will be accepted for comments but no longer for credit).

Resources

There is no required textbook.

The following book is on reserve in the Engineering Library.

Note that this book has two printings (of one edition). The second printing fixes errors, so try to get the second printing.

Tools

Discussion Blog. We will use a blog for online discussion.

Off-Campus Access. The CU library has instructions for off-campus access to certain online resources (e.g., ACM Digital Library).

OCaml.

Computing. For a Linux environment, the following are some resources:

Collaboration Policy

You are welcome and encouraged to work together in learning the material. If you worked with someone on an assignment, or if your submission includes quotes from a book, a paper, or a web site, you should thank the source. Bottom line, feel free to use whatever resources that are available to you as long as you cite them in your submission.

We will go by the honor code set forth by the University:

All students of the University of Colorado at Boulder are responsible for knowing and adhering to the academic integrity policy of this institution. Violations of this policy may include: cheating, plagiarism, aid of academic dishonesty, fabrication, lying, bribery, and threatening behavior. All incidents of academic misconduct shall be reported to the Honor Code Council and those students who are found to be in violation of the academic integrity policy will be subject to both academic sanctions from the faculty member involved and non-academic sanctions given by the Honor Code Council (including but not limited to university probation, suspension, or expulsion).

Please refer to www.colorado.edu/honorcode/ to view the specific guidelines. If you have any questions related to this policy, please contact the Honor Code Council at honor@colorado.edu.

Classroom Behavior

We trust and expect everyone to behave in a civil and courteous manner.

Discrimination and Sexual Harassment

We will go by the policies set forth by the University:

The University of Colorado at Boulder policy on Discrimination and Harassment, the University of Colorado policy on Sexual Harassment and the University of Colorado policy on Amorous Relationships apply to all students, staff and faculty. Any student, staff or faculty member who believes s/he has been the subject of sexual harassment or discrimination or harassment based upon race, color, national origin, sex, age, disability, creed, religion, sexual orientation, or veteran status should contact the Office of Discrimination and Harassment (ODH) at 303-492-2127 or the Office of Judicial Affairs at 303-492-5550. Information about the ODH, the above referenced policies and the campus resources available to assist individuals regarding discrimination or harassment can be obtained at www.colorado.edu/odh.

Special Accommodations

We will make every effort to make special accommodations that are reasonable and fair to all students. Please note that we will accept requests for adjustments during the first four weeks of class.

Disability

We will go by the disability guidelines set forth by the University:

If you qualify for accommodations because of a disability, please submit to the course staff a letter from Disability Services within the first four weeks of class so that your needs can be reasonably addressed. Disability Services determines accommodations based on documented disabilities (303-492-8671, Willard 322).

If you have a temporary medical condition or injury, see these guidelines.

Disability Services' letters for students with disabilities indicate legally mandated reasonable accommodations.

Religious Observances

We will go by the policy for religious observances set forth by the University:

Campus policy regarding religious observances requires that faculty make every effort to deal reasonably and fairly with all students who, because of religious obligations, have conflicts with scheduled exams, assignments or required attendance. In this class, we will try to accommodate religious conflicts in a reasonable manner. Please check the exam dates and submit all requests for adjustments within the first four weeks of class.

See www.colorado.edu/policies/fac_relig.html for further details on the policy.