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

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


        Unique Number:  52470
         Class Format:  Web-based, Zoom will be used to hold class

  Class Days and Time:  Tuesday, Thursday:   9:30 am -- 10:50 am
 Class Practical Time:  Wednesday:           4:00 pm --  5:00 pm

           Instructor:  "Warren A. Hunt, Jr." <hunt@cs.utexas.edu>
   Teaching Assistant:  "Carl Kwan" <carlkwan@utexas.edu>

        Co-Instructor:  "Charles Sandel" <sandel@cs.utexas.edu>
        Co-Instructor:  "Scott M. Staley" <smstaley@cs.utexas.edu>

         Office Hours:  Monday:       1:00 pm to  3:00 pm  

                        Tuesday:      9:00 am to  9:30 am  
                        Tuesday:     11:00 am to 12:00 pm  

                        Wednesday:   17:00 am to 18:00 pm  

                        Thursday:     9:00 am to  9:30 am  
                        Thursday:    11:00 am to 12:00 pm  


Helpful announcement About HW #9, see Carl's post on Piazza.

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.

As discussed last Thursday, we are constructing an assignment that concerns the y86 assembler that Alec Perry has written. We are breaking it into pieces so that everyone in the class can help Alec greatly improve his assembler. As a class, we will all work together to make Alec's assembler into our class assembler. We will be making assignments based on this assembler so that we can all participate.

See the class Piazza page to retrieve our CS340d Class (Alec's) Y86 Assembler. Also, don't forget to retrieve the template file for HW #7. Look near the top of the Class Assembler for example usage.

  • Course Notes, PDF Format

    Before the final, please read Ken Thompson's Turing Award paper, Reflections on Trusting Trust".

    The 0.6 version of y86 simulator code has been updated to reflect a memory_write error in the (0.5 version of) "y86_mem_write_64" routine.

  • Version 0.6 of our y86 simulator code.