Scores and Grade: On May 15, I sent each person a message containing their scores and grade. If you did not receive it, please let me know. Enjoy the summer!
Solution: hw8 solution is available.
Reading: The last paper we'll discuss is: Cormac Flanagan and Stephen Freund, Type-based race detection for Java. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000.
Homework: hw8 is available.
Reading: After we discuss polymorphism (sections 17.{1,3}), we'll spend the rest of the semester on static program analysis. Specifically, we'll discuss the following paper. Tal Lev-Ami, Tom Reps, Mooly Sagiv, and Reinhard Wilhelm. Putting Static Analysis to Work for Verification: A Case Study. In Proceedings of the ACM International Symposium on Software Testing and Analysis (ISSTA), 2000.
Reading: Section 17.2 is hereby eliminated from the reading list. (I updated the announcement of Apr 14 accordingly.)
Exam: For the exam, it will be helpful if you are familiar with the concept of iterators over collections. For example, you might want to read the description of Java iterators.
Exam: It is essential that you bring a copy of the textbook to the eam.
Exam: Reminder: we will have an in-class exam on April 29. The exam will cover the topics in the sections of chapters 8-13 listed on the cse526 Announcements page as readings, namely, 8.1-8.5, 10.{1-4,6}, 11.1-5, 13.{1,2,4,6,10}. Please see the Exam Guidelines.
Reading: Section 16.5 is hereby eliminated from the reading list. (I updated the announcement of Apr 14 accordingly.)
Homework: hw7 solution will be distributed in class tomorrow.
Reading: We have covered or will cover sections 11.1-5, 13.{1,2,4,6,10}, 15.1-4, 16.1-5, and 17.{1,3}.
Homework: hw7 was distributed by email on Apr 5.
Exams: As announced previously by email, we will have in-class exams on March 27 and April 29. Please see the Exam Guidelines.
Homework: hw6 is available.
Solution: Solutions to hw4 will be distributed in class tomorrow.
Homework: hw5 is available.
Reading: We have covered chapters 1, 2, 3, 4, 5.1-5.6, and 6. Next, we will cover chapters 7.1, 7.4-7.5, 8.1-8.5, 10.1-10.4, and 10.6.
Homework: hw4 is available.
Solution: Solutions to hw2 and hw3 were distributed in class today. Graded hw1 was also distributed in class today.
Homework: hw3 is available.
Solution: hw1 solution is available.
Homework: hw1 due date is postponed to Thursday, Feb 13. hw2 due date is postposed to Tuesday, Feb 18. Reminder: homeworks are due in class.
Homework: hw2 is available.
Homework: hw1 due date is postponed to Tuesday, feb 11. hw1 is due in class on that date.
Homework: hw1 is available.