Cool Bits

The place to post and read about cool things you've learned about and are of interest to the group. Please add things to top of list.

• Moshe pointed out this cool meeting scheduling tool (Walid, 08/03/27)
• SciVee (Walid, 07/08/22)
• We don't hear of Ed Lazawska near enough. I encourage everyone to checkout his web-page (Walid, 07/06/23)
• Michael Swift has used some transactional memory ideas to improve the reliability of existing device drivers (Walid, 07/3/12).
• This dissertation looks like a very nice introduction to proving properties about real-valued functions (Walid, 07/1/8).
• How should you run a conference? Some very interesting ideas are being considered.
• Another nice article from Wikipedia on multi-core processors
• This seems to be a good place to get the news on embedded computing
• There is a nice Wikipedia article on Sudoku. I've started playing this game recently, and was wondering if games like this can be useful in teaching computer science ideas. In the meantime, it's just fun! (Walid, 06/9/2)
• University of Houston gets grant from NASA to host robotics competitions. (Walid, 06/08/02)
• Jim Larus has an insighful collection of quotes by other people on the difficulty of writing correct software. (Walid, 06/08/01)
• Stephen Cook seems to have a really cool book on the way, dealing with describing complexity classes in terms of their reasoning power. Check out his homepage. (Walid, 06/08/01)
• Jordan Johnson, who I met at the concurrency summer school, pointed me to what seems to be a nice Scheme-based way to teach compilers. Check out this paper on the nanopass compiler. (Walid, 06/08/01)