Princeton University
Computer Science Department

COS 516 / ELE 516
Automated Reasoning about Software

Aarti Gupta

Fall 2023

General Information | Schedule | Policies

Homeworks and Assignments, Class Project

The policy is similar to COS 510 (and other COS courses).

For homeworks and assignments, discussions with others are permitted, where the goal is to aid your understanding. However, the submitted work/code should be entirely your own.

For code submissions, please also submit a README file where you should name the individuals that you received help from or provided help to. Also briefly mention the nature of the help you received or provided.

For the class project, you can work in teams of two. Discussions with your team-mate and with others are permitted.

For any of these (homeworks, assignments, and class project), please DO NOT copy or get solutions from resources outside the current course offering.

ChatGPT: You may NOT make use of ChatGPT or other AI composition software for creating your work/code for the homeworks and assignments. However, you are very welcome to suggest and work on a course project (with permission) that explores use of ChatGPT for automated reasoning about software. Please discuss it with us first!

If you have any questions or concerns, please discuss these policies with the instructor.


Submission Policy


Lectures

We encourage you to attend the lectures and to participate actively in the course. These will be components of your Participation grade.


Exam Conduct

Conduct during in-class exams is covered by the University Honor Code.


Grading

Your final grade will be weighted as follows:

Component Weight
Homeworks/Assignments 40%
Class Project 30%
Midterm Exam 25%
Participation 5%