Comment Feed for Channel 9 - Byron Cook: Terminator - Proving Good Things Will Eventually Happen http://ecn.channel9.msdn.com/o9/previewImages/100/249430_100x75.jpg Channel 9 - Byron Cook: Terminator - Proving Good Things Will Eventually Happen Here's another installment from MSR Cambridge (much more to come). This time, I was lucky enough to get some time with Byron Cook, a researcher in MSR's Programming Principles and Tools group focusing on static analysis of system code to hunt for algorithms and code fragments that will most likely induce a system state lovingly referred to by all as a Hang. You know, when nothing seems to work anymore, you can't use your mouse or keyboard, windows are frozen in time and you resort to a hard reboot. Well, what is a hang, exactly? How is a hang directly related to events? Did you know that a typical hang is event-related (never ending event response) caused by kernel mode code (drivers mostly) that never, well, terminates?Byron and team have written a very interesting tool that analyzes code, tests it against proofs of correctness (mathematical proofs, indeed) and alerts developers at design time that some code they've written is heading down a very slippery slope that will end in a hang. Terminator is proof based. OK. How does Terminator work, you ask? Proofs? It's all about prooving termination. Please tune in and find out. This is a really cool introduction to the notion of mathematically prooving that good things will eventually happen in code.PS. I just found out that, like myself, Byron is an Evergreen State College alumnus. Small world! en Wed, 19 Jun 2013 12:01:50 GMT Wed, 19 Jun 2013 12:01:50 GMT Rev9 Re: Byron Cook: Terminator - Proving Good Things Will Eventually Happen Very interesting... (although, would've loved a "deep dive" type of thing where we could get some white boarding / demos).

Any research paper / samples (even better - existing technologies) on this subject?

posted by keeron

]]> http://channel9.msdn.com/Blogs/Charles/Byron-Cook-Terminator-Proving-Good-Things-Will-Eventually-Happen#c633199075100000000 Fri, 13 Jul 2007 07:11:50 GMT http://channel9.msdn.com/Blogs/Charles/Byron-Cook-Terminator-Proving-Good-Things-Will-Eventually-Happen#c633199075100000000 keeron Re: Byron Cook: Terminator - Proving Good Things Will Eventually Happen I had the same question and then found these links, which have pointers to papers:

http://research.microsoft.com/~bycook
http://research.microsoft.com/terminator



posted by rizzo

]]> http://channel9.msdn.com/Blogs/Charles/Byron-Cook-Terminator-Proving-Good-Things-Will-Eventually-Happen#c633199119380000000 Fri, 13 Jul 2007 08:25:38 GMT http://channel9.msdn.com/Blogs/Charles/Byron-Cook-Terminator-Proving-Good-Things-Will-Eventually-Happen#c633199119380000000 rizzo Re: Byron Cook: Terminator - Proving Good Things Will Eventually Happen
this^->AddressOfPapers = %here; // \/

http://research.microsoft.com/~bycook
http://research.microsoft.com/terminator


And yes I know, I really have got too much time on my hands.
But when your unemployed,  thats life.

Im going to watch the video later.

Im interested in all programming languages, I've tried everything from Pascal to C++.

Many Thanks
Tom

posted by Tominator2005

]]> http://channel9.msdn.com/Blogs/Charles/Byron-Cook-Terminator-Proving-Good-Things-Will-Eventually-Happen#c633199318200000000 Fri, 13 Jul 2007 13:57:00 GMT http://channel9.msdn.com/Blogs/Charles/Byron-Cook-Terminator-Proving-Good-Things-Will-Eventually-Happen#c633199318200000000 Tominator2005 Re: Byron Cook: Terminator - Proving Good Things Will Eventually Happen posted by Charles

]]> http://channel9.msdn.com/Blogs/Charles/Byron-Cook-Terminator-Proving-Good-Things-Will-Eventually-Happen#c633199340440000000 Fri, 13 Jul 2007 14:34:04 GMT http://channel9.msdn.com/Blogs/Charles/Byron-Cook-Terminator-Proving-Good-Things-Will-Eventually-Happen#c633199340440000000 Charles Re: Byron Cook: Terminator - Proving Good Things Will Eventually Happen
keeron wrote:


Very interesting... (although, would've loved a "deep dive" type of thing where we could get some white boarding / demos).

Any research paper / samples (even better - existing technologies) on this subject?



Byron will be in Redmond this summer and I'll do a Going Deep episode with him on Terminator. That ought to provide the "deep dive" you're looking for.
C

posted by Charles

]]> http://channel9.msdn.com/Blogs/Charles/Byron-Cook-Terminator-Proving-Good-Things-Will-Eventually-Happen#c633202098720000000 Mon, 16 Jul 2007 19:11:12 GMT http://channel9.msdn.com/Blogs/Charles/Byron-Cook-Terminator-Proving-Good-Things-Will-Eventually-Happen#c633202098720000000 Charles Re: Byron Cook: Terminator - Proving Good Things Will Eventually Happen This Byron is a cool guy.

Liveness is not dead - it just smells funny.

posted by tolaat

]]> http://channel9.msdn.com/Blogs/Charles/Byron-Cook-Terminator-Proving-Good-Things-Will-Eventually-Happen#c633264737210000000 Thu, 27 Sep 2007 07:08:41 GMT http://channel9.msdn.com/Blogs/Charles/Byron-Cook-Terminator-Proving-Good-Things-Will-Eventually-Happen#c633264737210000000 tolaat