Dave O'Hallaron and I are
authors of the textbook titled Computer Systems: A Programmer's
Perspective, now in its third edition.
More information can be found on the CS:APP Web Page.
We have a
blog in which we discuss
both the contents of the book and its use as a textbook.
Check out my publication list, complete
with links to electronic versions of many of the papers.
Check out my most cited paper: ``Graph-Based Algorithms for Boolean Function Manipulation,''
IEEE Transactions on Computers, Vol. C - 35, No. 8, August, 1986,
pp. 677 - 691. This version includes footnotes giving updates on some of
the ideas and conjectures presented in the paper.
As an illustration of what binary decision diagrams (BDDs) can be used for, take a look at Interesting Maps page I
have created based on some recent work by
Don Knuth. Pursuing graph coloring a bit further, check out my colorings of the
McGregor graph.
The full-blown version of my curriculum vitae:
Adobe Acrobat | HTML] This includes publications, presentations, students, etc.
If you visit my home office, you'll see an interesting weaving hanging
on the wall created by Lois Bryant. Lois is my sister, but she's also a well-respected textile artist.
This weaving is inspired by the design and application of microprocessors. The lefthand side shows the equations by which one reasons about a processor design. The center section mimics an
Intel Pentium chip, and the righthand side displays the bits that the processor generates.
