aspuru-list March 2007

aspuru-list@lists.fas.harvard.edu

13 participants
51 discussions

[Aspuru-Guzik group list] [iic-seminars] [Colloquium] REMINDER: Automatic termination proofs for software (Byron Cook)

by colloquium＠deas.harvard.edu

my.harvard calendar reminder: Event Information: Date : 3/1/2007 Start Time : 04:00 PM End Time : 05:00 PM Title : Automatic termination proofs for software (Byron Cook) Description : Harvard University Computer Science Colloquium Series 33 Oxford St., Cambridge, MA 02138 Colloquium Automatic termination proofs for software Byron Cook Microsoft http://research.microsoft.com/~bycook Thursday, March 1, 2007 4:00PM Maxwell Dworkin G125 (Ice Cream at 3:30PM - Maxwell Dworkin 2nd Floor Lounge Area) Abstract I will describe recent advances in the area of automatic program termination analysis. I will also discuss TERMINATOR, the Microsoft tool which implements these recent advances. We've recently used TERMINATOR to prove that Windows device driver dispatch routines always return control back to their caller. TERMINATOR has also found a number of critical termination bugs in device drivers. Host: Professor Norman Ramsey Location : Maxwell Dworkin G125 (Ice Cream at 3:30PM - Maxwell Dworkin 2nd Floor Lounge Area) URL : Phone : Calendar : Computer Science Colloquium Series _______________________________________________ Colloquium mailing list Colloquium(a)deas.harvard.edu https://lists.deas.harvard.edu/mailman/listinfo/colloquium _______________________________________________ iic-seminars mailing list iic-seminars(a)calists.harvard.edu http://calists.harvard.edu/mailman/listinfo/iic-seminars

17 years, 1 month

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

aspuru-list March 2007