| Piazza Forum
CS 6610 - Homework
All homework must be completed individually. You may discuss the problems
with others but you must turn in your own work. You may either (1) email me
your PDF file, (2) give me your homework in class, (3) give me your
homework during my office hours, or (4) slip your homework under my office
door. If the homework assignment includes a programming component, you must
email me your code.
Homework is due at 11:50 pm on the day indicated unless otherwise
Do not make use of any other delivery method
for your homework (e.g., carrier pigeons, my faculty mailbox).
Homework 0 Written
- Be sure to get BLAST 2.5 — older versions will not work.
tcas.i testcase -- TCAS is an
implementation of a traffic collision avoidance system provided by
- export PATH=.:$PATH
- pblast.opt -craig 2 -dfs -nolattice tcas.i -L PROPERTY1A
- pblast.opt -craig 2 -dfs -nolattice tcas.i -L PROPERTY2B
- Note that BLAST often writes the counter-example trace to a file in
the current directory (and not to the screen).
- BLAST may not work on a modern OSX Mac. If so, you'll have to find a
working machine (e.g., department Unix machine, Unix VM image, etc.).
Old instructions for getting BLAST
working on a Mac are available but may not work for you. The
instructor does not provide support for running BLAST on a Mac.
Homework 1 Written
Homework 1 Code.
Homework 2 Written
Homework 2 Code.
Homework 2 LaTeX Source
Homework LaTeX Style File.
Homework 2 Partial Answer Key.
Homework 3 Written
Homework 3 Code.
Homework 3 LaTeX Source.
Homework 3 Partial Answer Key
(includes extra denotational semantics information not relevant for this
Homework 4 Written
Homework 4 LaTeX Source
Homework 4 Complete and Detailed Answer Key.
- Homework 5.
Random Somewhat-Related Humor
- Research Glossary
(note "interesting to me")
- The Guru of Chelm
- How To Prove It
(alternative techniques to structural induction)
(taking math too seriously)
- Hamlet PowerPoint
(problems with all-PowerPoint presentations)
- Universal Poker
(proof theory: why is Truth's opposite "Void"?)
- Chess Books
(useful background reading)
- Polynomial Hierarchy
Collapses: Thousands Feared Tractable
- Microsoft Patches
(exceptional situations and error handling)
- C Problem
- USENET Homework
(asking for help)
- Linux Development Order
- GCC International
(promoting international understanding)
- Microsoft Buys TeX
(note "What were we thinking?" and "third-party display driver")
- Feel-Good Abstraction
(at what level should we analyze and design?)
- Parametric Worm
(Microsoft security explained)
- 1776 Computers
- Security Important
(system and user security)
- Secure README
(security through obscurity)
- Tarzan Learns Email
(explaining CS to the laity)
- Jobs Translated
(meanings of terse utterances)
- How I Met My Wife
(is Wes speaking English?)
Other Similar Courses
Here are some example homeworks from similar
courses at other universities (these are probably a bit more
"implementation-heavy" than what you'll see in this course):