Author Archive

Formal verification of an operating system kernel

Posted in Uncategorized on Tuesday, June 8th, 2010. One comment so far
Tags: , ,

Only 3 days left for C++0x Comments!

Posted in Uncategorized on Monday, May 24th, 2010. 11 comments so far

EOP Exercise Round-Up: Chapter 2

Posted in EoP Study Group, Exercises on Wednesday, March 31st, 2010. 8 comments so far

To Auto or Not? That is the Question

Posted in Uncategorized on Saturday, February 27th, 2010. 41 comments so far

Site Problems Fixed

Posted in Uncategorized on Wednesday, February 10th, 2010. No comments yet

Order I Say!

Posted in Uncategorized on Tuesday, February 2nd, 2010. 75 comments so far

EOP Exercise Round-Up: Chapter 1

Posted in EoP Study Group, Exercises on Friday, January 15th, 2010. One comment so far

Onward, Forward!

Posted in Value Semantics on Monday, December 7th, 2009. 46 comments so far
Tags: ,

“Elements of Programming” Study Group

Posted in EoP Study Group on Thursday, November 19th, 2009. One comment so far
Tags:

Report from Santa Cruz C++ Committee Meeting

Posted in Uncategorized on Monday, November 2nd, 2009. 14 comments so far
◀ Older Entries
Newer Entries ▶