Office Hours at Rice 413: Tuesday 11:00AM to 12:00PM or by appointment
TA: Rory McDaniel
Office Hours at Rice 107: Wednesday 4PM-6PM (please wear a mask to meet with Rory)
Email: rorytm at virginia dot edu
As software technology has become increasingly pervasive causing software systems to affect all aspects of our society, there is an urgent need for the development of efficient techniques for creating high-quality software. To help meet these challenges,
software analyses, a body of work that discovers and predicts facts about a program, has been developed. This course will cover traditional and state-of-the-art techniques. Topics include dynamic and static program analysis techniques,
such as automated test generation, fault localization and debugging, model inferencing, and type checking. The course includes the utilization of research tools and the development of a class project that builds and improves on existing
The course will consist of lectures on Tuesdays and mostly Q&A, quizzes, and presentations on Thursdays. Your presence and active participation are important to creating the most effective and engaging learning experience.
However, if you have troubles meeting the attendance requirement due to covid-19 or other issues, promptly reach the instructor by email to discuss potential alternatives.
A heavy workload can be expected when the assignments/project are due. There will be little hand-holding in terms of support to set the tools and complete the assignments as I expect for everyone to have the technical and programming
skills of an undergraduate CS major.
Advanced Software Development Techniques or Software Engineering course or equivalent, expertise in at least one modern programming language. For undergraduates, instructor's permission is required.
Graduate Requirement Designation:
No textbook is required.
Instructor will provide necessary reading material as part of the course through UVA Collab.
Assignments 40% (4-5)
Quizzes on materials and readings 20% (around 5)
Lightning Tool/Paper Talk 10% (1)
Project (proposal, presentation, report) 30% (5%,10%,15%)
Letter Grade Distribution.
[93, 97): A
[90, 93): A-
[87, 90): B+
[83, 87): B
[80, 83): B-
[77, 80): C+
[73, 77): C
[70, 73): C-
[67, 70): D+
[63, 67): D
[60, 63): D-
[0, 60): F
Honor Code Compliance.
Every student in this course must fully comply with all the provisions of the University Honor Code (http://honor.virginia.edu). All graded assignments and quizzes must be pledged.
Students are expected to work independently unless instructed otherwise. *Offering* and *Accepting* solutions (e.g., code, tests, text, quiz answers) from others is a serious offense. All suspected violations
will be forwarded to the Honor Committee, and you may, at the instructor discretion, receive an immediate zero on that assignment and fail the course regardless of any action taken by the Honor Committee.
Late assignments will earn partial credit so you are encouraged to submit them even if late, weighting the late penalty against the completeness of your assignment. Unless otherwise stated, late assignments will
be penalized 20% off the total possible points per late day. If you anticipate having troubles finishing an assignment in time please email me to discuss it.
If you are dissatisfied with a grade please consult me directly within a week of the day the graded assignment was returned to you. No regrade requests will be considered after this week period.
Our class will diligently follow all University regulations in effect.
Managing other Challenges.
If you anticipate any issues related to the format, materials, or requirements of this course, please email me so we can explore potential options. Students with disabilities may also wish to work with
the Student Disability Access Center (sdac.studenthealth.virginia.edu). If you are struggling with violence or discrimination, I am ready to provide support and guide you towards the many resources available at the University of Virginia.
If you need academic accommodation for a religious observance, please submit an email request to me as far in advance as possible.