Healthcare reform article
An article in the Guardian by Bee: American healthcare is in truth already rationed
Congrats to Viktor Vafeiadis
Viktor Vafeiadis has won this year's SIGPLAN Doctoral Dissertation Award. Well done!
A new look at hardware synthesis
Check out the draft of a paper we've written on hardware synthesis.
See also: PPT slides that Satnam and I presented to Bill Gates.
See also: PPT slides that Satnam and I presented to Bill Gates.
Berkeley lectures
I'm visiting Berkeley University during the month of April. During my visit I'm giving 4 lectures on termination proving. Here are the slides. Warning: they're around 20mb each.
Roger Needham award
I won the Roger Needham award. Thanks to those who nominated me, the committee, and those who were asked to write letters.............whoever you are.
Interesting termination bug
Perhaps you heard about the Zune leap year bug? Sort of an interesting bug. This is a classic example of a liveness/termination bug, as explained here. And yes..... TERMINATOR can find this bug.....
Subscribe to:
Posts (Atom)