Debugging & Verifying Programs -- CS 340d -- Homepage

Homepage: http://www.cs.utexas.edu/users/hunt/class/2019-spring/cs340d/cs340d.html

        Unique Number:  50960
           Class Room:  GDC 4.304

           Class Days:  Monday, Wednesday

           Class Time:  9:30 am -- 10:50 am

           Instructor:  "Warren A. Hunt, Jr." <hunt@cs.utexas.edu>
  Instructor Observer:  "Charles Sandel" <sandel@cs.utexas.edu>

   Teaching Assistant:  "Abheek Ghosh" <abheek@cs.utexas.edu>

     Office Locations:  Hunt:    GDC 7.818
                        Ghosh:   GDC 3.802A
                        Sandel:  GDC 7.814B

         Office Hours:  Hunt:   Mondays:               11:00 am to  1:00 pm
                        Hunt:   Wednesdays:            11:00 am to 11:45 am
                        Ghosh:  Tuesdays, Thursdays:   11:00 am to 12:20 pm
                        Sandel: Mondays, Wednesdays:   11:00 am to  1:00 pm

Office Hours Location:  GDC 3rd floor atrium (but if you don't find us there,
                        try Warren's GDC 7.818 and/or Charles' GDC 7.814B  office)
                        Ghosh:  TA Desk 1 (GDC floor 1)

     TA Announcements:  Use piazza.com

Every time you start to work, check this page! This webpage and the webpages transitively reachable from this webpage are the definitive resource for assignments, laboratories, and other class-related issues. The UT Canvas system will be used to record grades and to provide some information.

Below are links to the course announcement, syllabus, and homework and laboratory assignments. Announcements and additional information will incrementally appear during the semester.

Due date for Lab 2 has been changed to: April 22, 2019. Due date for HW #9 has been changed to April 24, 2019.

Lab 2 input/output specification has been posted on Piazza @149.