Comment Feed for Channel 9 - Byron Cook: Inside Terminator http://ecn.channel9.msdn.com/o9/previewImages/100/249495_100x75.jpg Channel 9 - Byron Cook: Inside Terminator A few months ago, I interviewed Byron Cook, a researcher at MSR Cambridge, about his work on Terminator, which is a proof-based analysis tool used for proving that good things will eventually happen in unmanaged code paths. That is, it's a very good thing for code to stop executing eventually otherwise system hangs occur (drivers are the number one cause of system hangs and other undesirable system-wide problems). Terminator is designed to help developers find bugs in their code that cause non-terminating execution. Many of you provided feedback after the last interview that Byron should have gone a bit deeper into the technology, including whiteboarding proofs. Well, he was recently in Redmond and agreed to be the next participant in Going Deep. Here we dig into the details of Terminator on the whiteboard and even see a demo of Terminator running over some DDK (Driver Development Kit) sample C code. Fasten your seat belts. We do jump head first into the rabbit hole.Enjoy! PS: The Download file (pointed to from the Download button below) was encoded at 512Kbs. If you want a higher bit rate file you can click here. en Wed, 22 May 2013 13:24:57 GMT Wed, 22 May 2013 13:24:57 GMT Rev9 Re: Byron Cook: Inside Terminator
It looks like there will soon be very few excuses for not having reliable device drivers at least though!

posted by Massif

]]> http://channel9.msdn.com/Shows/Going+Deep/Byron-Cook-Inside-Terminator#c633253570980000000 Fri, 14 Sep 2007 08:58:18 GMT http://channel9.msdn.com/Shows/Going+Deep/Byron-Cook-Inside-Terminator#c633253570980000000 Massif Re: Byron Cook: Inside Terminator posted by ilmar

]]> http://channel9.msdn.com/Shows/Going+Deep/Byron-Cook-Inside-Terminator#c633255759230000000 Sun, 16 Sep 2007 21:45:23 GMT http://channel9.msdn.com/Shows/Going+Deep/Byron-Cook-Inside-Terminator#c633255759230000000 ilmar Re: Byron Cook: Inside Terminator

posted by Turtle

]]> http://channel9.msdn.com/Shows/Going+Deep/Byron-Cook-Inside-Terminator#c633256149120000000 Mon, 17 Sep 2007 08:35:12 GMT http://channel9.msdn.com/Shows/Going+Deep/Byron-Cook-Inside-Terminator#c633256149120000000 Turtle Re: Byron Cook: Inside Terminator you might want to read up a bit on ada and spark: it's a fascinating world for die-hard c++ programmers especially.

cheers,
martin

posted by mwirth

]]> http://channel9.msdn.com/Shows/Going+Deep/Byron-Cook-Inside-Terminator#c633256274880000000 Mon, 17 Sep 2007 12:04:48 GMT http://channel9.msdn.com/Shows/Going+Deep/Byron-Cook-Inside-Terminator#c633256274880000000 mwirth Re: Byron Cook: Inside Terminator posted by Pon

]]> http://channel9.msdn.com/Shows/Going+Deep/Byron-Cook-Inside-Terminator#c633286405020000000 Mon, 22 Oct 2007 09:01:42 GMT http://channel9.msdn.com/Shows/Going+Deep/Byron-Cook-Inside-Terminator#c633286405020000000 Pon Re: Byron Cook: Inside Terminator
Anyways, Byron made a typo:

he was trying to prove
(x>0 && y>0 && x`=x && y`=y-1)
                        ||
(x>0 && y>0 && y`=y-1 && x`=x)

what should be is the following, because the above two are the same, unless I forgot boolean algebra:

(x>0 && y>0 && x`=x && y`=y-1)
                        ||
(x>0 && y>0 && x`=x-1 && y`=y)

Great stuff, I miss that in my day-to-day .NET life Smiley

posted by ivan_

]]> http://channel9.msdn.com/Shows/Going+Deep/Byron-Cook-Inside-Terminator#c633379984490000000 Thu, 07 Feb 2008 16:27:29 GMT http://channel9.msdn.com/Shows/Going+Deep/Byron-Cook-Inside-Terminator#c633379984490000000 ivan_ Re: Byron Cook: Inside Terminator You mention a great blog article by a Chris Broom in the video, but I'm unable to find it.  Do I have the name right?  Can someone post a link?

Thanks,

Jason

posted by jdkleban

]]> http://channel9.msdn.com/Shows/Going+Deep/Byron-Cook-Inside-Terminator#c633472490400000000 Sat, 24 May 2008 18:04:00 GMT http://channel9.msdn.com/Shows/Going+Deep/Byron-Cook-Inside-Terminator#c633472490400000000 jdkleban Re: Byron Cook: Inside Terminator posted by codism

]]> http://channel9.msdn.com/Shows/Going+Deep/Byron-Cook-Inside-Terminator#c633531260820000000 Thu, 31 Jul 2008 18:34:42 GMT http://channel9.msdn.com/Shows/Going+Deep/Byron-Cook-Inside-Terminator#c633531260820000000 codism