| ActiveMac | Anonymous | Create a User | Reviews | News | Forums | Advertise |
|
|
|
User Controls |
|
New User |
|
Login |
|
Edit/View My Profile |
|
|
|
|
|
|
|
ActiveMac |
|
Articles |
|
Forums |
|
Links |
|
News |
|
News Search |
|
Reviews |
|
|
|
|
|
|
|
News Centers |
|
Windows/Microsoft |
|
DVD |
|
ActiveHardware |
|
Xbox |
|
MaINTosh |
|
News Search |
|
|
|
|
|
|
|
ANet Chats |
|
The Lobby |
|
Special Events Room |
|
Developer's Lounge |
|
XBox Chat |
|
|
|
|
|
|
|
FAQ's |
|
Windows 98/98 SE |
|
Windows 2000 |
|
Windows Me |
|
Windows "Whistler" XP |
|
Windows CE |
|
Internet Explorer 6 |
|
Internet Explorer 5 |
|
Xbox |
|
DirectX |
|
DVD's |
|
|
|
|
|
|
|
TopTechTips |
|
Registry Tips |
|
Windows 95/98 |
|
Windows 2000 |
|
Internet Explorer 4 |
|
Internet Explorer 5 |
|
Windows NT Tips |
|
Program Tips |
|
Easter Eggs |
|
Hardware |
|
DVD |
|
|
|
|
|
|
|
Latest Reviews |
|
Applications |
|
Microsoft Windows XP Professional |
|
Norton SystemWorks 2002 |
|
|
|
Hardware |
|
Intel Personal Audio Player 3000 |
|
Microsoft Wireless IntelliMouse Explorer |
|
|
|
|
|
|
|
Site News/Info |
|
About This Site |
|
Affiliates |
|
ANet Forums |
|
Contact Us |
|
Default Home Page |
|
Link To Us |
|
Links |
|
Member Pages |
|
Site Search |
|
Awards |
|
|
|
|
|
|
|
Credits |
 |
Going Deep: Byron Cook: Inside Terminator | |
|
||
| Time: 05:43 EST/10:43 GMT | News Source: Channel 9 | Posted By: Jonathan Tigner | ||
|
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. | ||
|
Write Comment
Return to News |
Displaying 776 through 787 of 787 Prev | First |
The time now is
7:57:39 AM
ET.
Any comment problems? E-mail us |
| #784 By 4240821 (188.253.25.226) at 1/24/2026 7:46:22 PM |
|
https://telegra.ph/Toulons-Maritime-Marvels-From-Ancient-Secrets-to-Modern-Sea-Power-12-18
https://telegra.ph/Jennifer-Lawrences-Shocking-Revelation-What-She-Really-Thinks-About-Hollywoods-Toughest-Role-12-18 https://telegra.ph/Zenith-of-the-Soul-Finding-Inner-Peace-in-the-Everyday-12-18 https://telegra.ph/Odermatts-Grøden-Glare-Secret-Training-Sparks-Seismic-Ski-Buzz-12-18-2 https://telegra.ph/Carabao-Cup-Shocker-Underdogs-Tame-Giants-in-Dramatic-Upset-12-18-4 https://telegra.ph/Mamen-Mendizábal-Spanish-TVs-fiery-interviewer-set-to-ignite-the-political-landscape-12-18 https://telegra.ph/Putins-Gambit-Arctic-Ice-Melts-New-Global-Tensions-Rise-12-18 https://telegra.ph/Gizo-Mamageishvili-Storms-Graz-with-Unprecedented-Performance-12-18 https://telegra.ph/YB-GC-Drops-Explosive-New-Track-Fans-Are-Losing-It-12-18 https://telegra.ph/Payal-Gaming-Viral-Video-What-the-Hype-is-All-About-12-18 |
| #785 By 4240821 (188.253.25.226) at 1/25/2026 7:11:44 AM |
|
https://telegra.ph/Amir-Richardsons-Explosive-Comeback-A-New-Era-Dawns-01-19
https://telegra.ph/Marlaskas-Masterstroke-A-Bold-Move-or-a-Risky-Gamble-01-19 https://telegra.ph/Eala-Smashes-Through-to-Next-Round-with-Dominant-Display-01-19-4 https://telegra.ph/NFL-Quarterbacks-Unprecedented-Comeback-From-Bench-to-Super-Bowl-MVP-Contender-01-19-3 https://telegra.ph/PIMCO-Bets-Big-on-Volatility-Hedge-Funds-Brace-for-Impact-01-19 https://telegra.ph/Mojmír-Maděrič-A-Masterclass-in-Maestro-ship-01-19-2 https://telegra.ph/Mojmír-Maděrič-A-Masterclass-in-Maestro-ship-01-19 https://telegra.ph/Iga-Świątek-Dominates-A-Polish-Powerhouse-on-the-Rise-01-19-4 https://telegra.ph/NFL-Quarterbacks-Unprecedented-Comeback-From-Bench-to-Super-Bowl-MVP-Contender-01-19-2 https://telegra.ph/Bätzing-The-Future-of-Hot-Takes-is-Now-01-19 |
|
Write Comment
Return to News |
Displaying 776 through 787 of 787 Prev | First |
The time now is
7:57:39 AM
ET.
Any comment problems? E-mail us |
