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

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

Lecture Notes

• Class 00 (January 23, 2019): Introduction, course overview.
If you do not know, familiarize yourself with how to compile C programs.
Also find out how to produce assembler when using the C compiler. Quiz 0.

• Class 01 (January 28, 2019): Introduction to C
Discussion of Homework 1 and Lab #0 assignments.
• Class 02 (January 30, 2019): Word-counting discussion.
Quiz 1.

• Class 03 (February 4, 2019): Introduction to C-language types, memory layout.
• Class 04 (February 6, 2019): x86 architecture (a review from CS429)
Review of the compilation process, C to x86 binary.

• Class 05 (February 11, 2019): Introduction to invariants.
Discussion of HW #3. Quiz 2.
If we have time, we will introduce the "od" command.
• Class 06 (February 13, 2019): Lab 1 discussion.
In-Class programming -- bring your laptops.
Possible discussion of Using the "make" command. Quiz 3.

• Class 07 (February 18, 2019): x86 architecture (a review from CS429)
  More Lab #1 discussion..
• Class 08 (February 20, 2019): Continuation of invariants.
  In-Class programming -- bring your laptops. Quiz 4.
  The "make" command.

• Class 09 (February 25, 2019): Lab 1 Discussion. x86 architecture
  We will discuss the memory layout, and how you can inspect it.
• Class 10 (February 27, 2019): Introduction to tools for inspecting binary programs, such as od .
  We may also look at nm, objdump, and even gdb . Bring your laptops.
  The example program used in class: class-cp-example.c

• Class 11 (March 4, 2019): Use of objdump and gdb. Exam review.
• Class 12 (March 6, 2019): In-class exam.

• Class 13 (March 11, 2019): Discussion concerning in-class exam., Lab #2 discussion.
• Class 14 (March 13, 2019): Memory allocation and garbage collection

• Class 15 (March 25, 2019): In-class animation of dynamic memory allocation.
• Class 16 (March 27, 2019): "Flipped class" -- bring your laptop, in class.
  Use of "git" by all. Further Laboratory 2 discussion.

• Class 17 (April 1, 2019): Continued discussion of Lab 2
Charles discusses using the "make" command. Start reading the class textbook.

• Class 18 (April 3, 2019): Discussion of fixed-width arithmetic and related mathematics.
Read and understand Chapters 1 & 2 of the class textbook.
Ivan Sutherland visit.

• Class 19 (April 9, 2019): Discussion of Lab 2
Homework #9 delayed by two weeks; now due April 24, 2019.
• Class 20 (April 11, 2019) Discussion of Baker allocation mechanism..

• Class 21 (April 15, 2019): Discussion of Baker GC
• Class 22 (April 17, 2019) Discussion of Chapters 1 & 2 of the class textbook.

• Class 23 (April 22, 2019): Continued discussion of Chapters of 1 & 2 of the class textbook
Charles further discusses using the "make" command.
• Class 24 (April 24, 2019): Discussion of Class Textbook Chapter 5, Quiz.

• Class 25 (April 29, 2019): Exam Review, Question and Answer period for Lab 3, HW #10
• Class 26 (May 1, 2019): Second, In-Class Exam

• Class 27 (May 6, 2019): Help session for Lab 3 and HW #10
• Class 28 (May 8, 2019): Quiz (double credit), Short Course Review, Stump the Professor

Return to CS340d course homepage.