Index of /users/rushby/slides

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]CCAE-HAMES-year-end-2008.pdf07-Oct-2008 10:39 2.4M 
[   ]DeLong-CCAE-ICCC-07.pdf19-Sep-2007 10:30 722K 
[   ]MNSPPprojectupdate_Oct07.pdf07-Oct-2008 10:43 182K 
[   ]MNSPPprojectupdate_Oct07.ppt07-Oct-2008 10:43 246K 
[TXT]README.html29-Jan-2006 04:19 897  
[   ]TTTech_DASC_2011.pdf04-Nov-2011 15:36 761K 
[   ]aaa13.pdf01-Nov-2013 04:16 73K 
[   ]aaa15.pdf02-Feb-2016 15:31 159K 
[   ]acsac07.pdf13-Dec-2007 08:34 100K 
[   ]adaptive-cert11.pdf29-Oct-2011 11:39 50K 
[   ]advance04.pdf29-Jan-2004 17:53 127K 
[   ]aesscs14.pdf13-May-2014 05:40 128K 
[   ]afm06-sal.pdf21-Aug-2006 11:23 167K 
[   ]afm06.pdf21-Aug-2006 11:23 59K 
[   ]aiaa09.pdf14-Apr-2009 14:42 72K 
[   ]aiaa09.ps.gz14-Apr-2009 14:42 63K 
[   ]allied-train01.pdf27-Aug-2001 22:41 291K 
[   ]allied-train01.ps.gz25-Apr-2001 08:07 115K 
[   ]areatalk-feb06.pdf24-Feb-2006 17:57 97K 
[   ]bakery.ps.gz28-Jun-2000 20:38 106K 
[   ]berkeley13.pdf08-Oct-2013 10:53 122K 
[   ]beyondscada06.pdf15-Mar-2006 11:19 29K 
[   ]beyondscada06.ps.gz15-Mar-2006 11:49 35K 
[   ]brian11.pdf24-Jun-2011 16:08 83K 
[   ]cambridge08.pdf28-Nov-2008 14:29 149K 
[   ]cambridge11.pdf24-Jun-2011 14:55 108K 
[   ]cases09.pdf28-May-2009 08:41 113K 
[   ]cats07.pdf04-Feb-2008 10:45 140K 
[   ]cav-cade96.dvi.Z04-Aug-1996 19:28 21K 
[   ]cav-cade96.ps.gz04-Aug-1996 19:27 49K 
[   ]cav00.ps.gz25-Oct-2005 10:28 126K 
[   ]collins02.pdf28-Oct-2002 13:17 158K 
[   ]collins02.ps.gz28-Oct-2002 13:17 93K 
[   ]confusion01.ps.gz09-Sep-2001 17:01 110K 
[   ]consc-rat15.pdf12-Nov-2015 19:04 75K 
[   ]constitution08.pdf23-May-2008 10:39 60K 
[   ]cps-pi12.pdf22-Oct-2012 16:40 154K 
[   ]csr95.dvi.Z28-Feb-1997 21:07 32K 
[   ]csr95.ps.gz28-Feb-1997 21:07 57K 
[   ]dagstuhl-jan13.pdf30-Jan-2013 06:21 105K 
[   ]dagstuhl02.pdf04-Nov-2002 11:18 63K 
[   ]dagstuhl02.ps.gz04-Nov-2002 11:18 76K 
[   ]darpa-its99.ps.gz06-Oct-1999 04:45 57K 
[   ]dasc-ima08.pdf30-Oct-2008 14:21 51K 
[   ]dasc08.pdf30-Oct-2008 14:21 1.7M 
[   ]dasc99.ps.gz14-Oct-1999 08:20 125K 
[   ]dcca97.ps.gz28-Feb-1997 20:30 71K 
[   ]dhs07.pdf24-Sep-2007 03:22 56K 
[   ]dhs08.pdf23-May-2008 10:39 55K 
[   ]disappear01.ps.gz09-Sep-2001 17:06 82K 
[   ]drhe05.pdf17-Jun-2005 14:46 123K 
[   ]drhe05.ps.gz17-Jun-2005 14:46 85K 
[   ]dsn03.pdf25-Jun-2003 10:59 16K 
[   ]dsn03.ps.gz25-Jun-2003 10:59 36K 
[   ]eecs149-guest09.pdf13-Apr-2009 08:59 151K 
[   ]efftestgen.pdf01-Nov-2004 11:59 153K 
[   ]efftestgen.ps.gz01-Nov-2004 11:59 100K 
[   ]emergentm12.pdf12-Mar-2012 15:17 65K 
[   ]emsoft11.pdf10-Oct-2011 20:43 100K 
[   ]erts06.pdf26-Jan-2006 01:10 174K 
[   ]erts06.ps.gz26-Jan-2006 01:10 148K 
[   ]eu-usa99.ps.gz06-May-1999 11:39 75K 
[   ]faa03-modcert.pdf02-Oct-2003 10:17 76K 
[   ]faa03-modcert.ps.gz02-Oct-2003 10:15 67K 
[   ]faa03-partition.pdf02-Oct-2003 10:17 37K 
[   ]faa03-partition.ps.gz02-Oct-2003 10:13 50K 
[   ]facs11.pdf14-Sep-2011 23:08 145K 
[   ]fase03.pdf01-Jul-2003 07:48 108K 
[   ]fase03.ps.gz01-Jul-2003 07:48 47K 
[   ]fda08.pdf23-May-2008 10:39 85K 
[   ]fellow04.pdf04-Nov-2004 15:30 123K 
[   ]fm-elsewhere00.pdf03-Aug-2001 17:58 242K 
[   ]fm-elsewhere00.ps.gz16-Oct-2000 16:00 108K 
[   ]fm-tut.pdf22-Nov-2009 23:23 400K 
[   ]fm99.ps.gz28-Sep-1999 07:33 113K 
[   ]fmis11.pdf24-Jun-2011 15:11 101K 
[   ]fmlunch98.ps.gz19-Mar-1998 08:20 729K 
[   ]fmtutorial.pdf18-Sep-2001 14:38 301K 
[   ]fmtutorial.ps.gz18-Sep-2001 14:36 89K 
[   ]forte00.ps.gz16-Oct-2000 16:00 81K 
[   ]forte97-4.ps.gz06-Nov-1997 23:43 141K 
[   ]forte97.ps.gz06-Nov-1997 23:42 139K 
[   ]fse4tut.dvi.Z28-Feb-1997 21:04 33K 
[   ]fse4tut.ps.gz28-Feb-1997 21:05 72K 
[   ]fse97.ps.gz12-May-2000 17:01 95K 
[   ]fsttcs96.dvi.Z25-Feb-1997 18:02 22K 
[   ]fsttcs96.ps.gz25-Feb-1997 18:03 56K 
[   ]ftcs93.pdf15-May-2012 17:58 81K 
[   ]ftrtft02.pdf16-Sep-2002 11:04 153K 
[   ]ftrtft02.ps.gz16-Sep-2002 11:04 61K 
[   ]geni-feb06.pdf07-Feb-2006 05:43 62K 
[   ]gm04.pdf19-Jan-2005 07:38 46K 
[   ]gm04.ps19-Jan-2005 07:39 101K 
[   ]gnc08-unexpected.pdf19-Aug-2008 14:24 61K 
[   ]gnc08-verification.pdf19-Aug-2008 14:24 102K 
[   ]hacms-ko-ta2.pdf22-Aug-2012 13:55 874K 
[   ]hacms-ko-ta3.pdf22-Aug-2012 13:57 87K 
[   ]hacms-ko-ta4.pdf22-Aug-2012 13:57 96K 
[   ]hacms-law12.pdf04-Dec-2012 06:57 98K 
[   ]hames08.pdf07-Oct-2008 08:06 1.7M 
[   ]hase00.ps.gz20-Nov-2000 10:28 75K 
[   ]hcmdss07.pdf26-Jun-2007 07:30 120K 
[   ]hcss-as06.pdf10-Oct-2006 14:14 57K 
[   ]hcss-as06.ps10-Oct-2006 14:14 116K 
[   ]hcss03.ps.gz01-May-2003 14:28 43K 
[   ]hcss07.pdf11-May-2007 13:57 81K 
[   ]hcss07.ps.gz11-May-2007 13:50 56K 
[   ]hdcc01.ps.gz15-Jan-2001 11:48 40K 
[   ]hessd99.ps.gz04-Nov-1999 14:13 128K 
[   ]hscc06.pdf29-Mar-2006 15:55 169K 
[   ]hscc06.ps.gz29-Mar-2006 15:55 113K 
[   ]hugin08.pdf23-May-2008 10:39 45K 
[   ]iccc07.pdf19-Sep-2007 10:30 79K 
[   ]iccc08.pdf13-Nov-2008 16:48 87K 
[   ]icdcit16.pdf02-Feb-2016 15:32 96K 
[   ]iceccs-jitc07.pdf25-Jul-2007 10:07 57K 
[   ]iceccs-jitc07.ps.gz25-Jul-2007 10:05 51K 
[   ]iceccs-vsi07.pdf25-Jul-2007 10:07 46K 
[   ]iceccs-vsi07.ps.gz25-Jul-2007 10:06 45K 
[   ]icfem05.pdf19-Jan-2006 17:21 211K 
[   ]icfem05.ps.gz19-Jan-2006 17:21 803K 
[   ]icfem98.ps.gz25-Nov-1998 16:44 103K 
[   ]iis11.pdf13-Feb-2011 16:35 110K 
[   ]iowa13.pdf07-Mar-2013 09:05 198K 
[   ]isre97.dvi.Z24-Feb-1997 15:17 17K 
[   ]isre97.ps.gz24-Feb-1997 15:19 46K 
[   ]itces06.pdf04-Apr-2006 14:36 142K 
[   ]ithaca99.ps.gz26-May-1999 10:08 57K 
[   ]itofeb96.ps.gz22-Feb-1996 13:38 62K 
[   ]itojan96-4up.ps.gz26-Jan-1996 16:35 111K 
[   ]itojan96.ps.gz22-Feb-1996 13:45 111K 
[   ]jaist07.pdf04-Feb-2008 10:45 153K 
[   ]jpl98.ps.gz19-Feb-1998 17:05 115K 
[   ]jslc01.ps.gz11-Nov-2001 21:06 101K 
[   ]kestrel05.pdf20-Mar-2007 03:59 169K 
[   ]laas06.pdf20-Mar-2006 04:56 111K 
[   ]laas06.ps.gz20-Mar-2006 04:56 89K 
[   ]law08.pdf12-Aug-2008 20:27 62K 
[   ]law09.pdf06-Aug-2009 08:06 77K 
[   ]law10.pdf24-Jun-2011 16:09 106K 
[   ]law13.pdf11-Dec-2013 12:37 196K 
[   ]lfm2000.ps.gz18-Jun-2000 08:18 88K 
[   ]lfmw08.pdf23-May-2008 10:39 114K 
[   ]logicandrel17.pdf20-Jun-2017 04:52 105K 
[   ]logik-cafe-may16.pdf23-May-2016 05:54 159K 
[   ]marktoberdorf10.pdf24-Jun-2011 16:08 317K 
[   ]marktoberdorf16-1.pdf26-Aug-2016 13:03 185K 
[   ]marktoberdorf16-2.pdf28-Aug-2016 14:51 206K 
[   ]marktoberdorf16-3.pdf02-Nov-2016 08:56 943K 
[   ]marktoberdorf16-4.pdf21-Aug-2016 19:27 163K 
[   ]marktoberdorf16-5.pdf21-Aug-2016 19:27 114K 
[   ]marktoberdorf2010.pdf15-Aug-2010 01:36 317K 
[   ]mipp-jan07.pdf06-Feb-2007 10:40 83K 
[   ]mipp-oct06.pdf26-Oct-2006 03:23 107K 
[   ]mipp-oct06.ps.gz26-Oct-2006 03:23 65K 
[   ]modalpvs17.pdf08-Jun-2017 12:51 176K 
[   ]movep2k.ps.gz28-Jun-2000 20:33 106K 
[   ]nasa-esmd07.pdf19-Apr-2007 09:20 74K 
[   ]nasa-fm08.pdf18-May-2009 14:03 91K 
[   ]newclockwork12.pdf26-Oct-2012 09:00 89K 
[   ]nfm13.pdf16-May-2013 07:16 200K 
[   ]nicta-talk03.pdf12-Jun-2003 17:23 108K 
[   ]nicta-talk03.ps.gz12-Jun-2003 17:14 47K 
[   ]nicta-tut03.pdf12-Jun-2003 17:26 271K 
[   ]nicta-tut03.ps.gz12-Jun-2003 17:27 148K 
[   ]nicta13.pdf22-Apr-2013 16:58 198K 
[   ]nps04.pdf11-Feb-2004 18:27 89K 
[   ]og-apr07.pdf01-May-2007 07:04 68K 
[   ]og-jan07.pdf02-Mar-2007 11:59 62K 
[   ]og-jul08.pdf28-Jul-2008 10:02 58K 
[   ]ontologicalarg.pdf03-Oct-2013 12:59 186K 
[   ]open-group-17april2013.pdf16-Apr-2013 18:46 174K 
[   ]open-group-18april2013.pdf17-Apr-2013 18:22 73K 
[   ]pces-kickoff.ps.gz08-Aug-2000 11:09 61K 
[   ]pces_quad00.ppt08-Aug-2000 18:44 85K 
[   ]pces_quad00.ps.gz24-Aug-2000 16:19 143K 
[TXT]readme.txt11-Nov-2001 21:12 416  
[   ]resrep01.pdf18-Sep-2001 14:44 109K 
[   ]resrep01.ps.gz18-Sep-2001 14:29 44K 
[   ]rushby-bertinoro16.pdf18-May-2016 05:03 89K 
[   ]rushby-ist2016.pdf08-Mar-2016 22:39 86K 
[   ]rv08.pdf23-May-2008 10:40 92K 
[   ]rv08.ps.gz25-Apr-2008 14:59 64K 
[   ]safecomp1-01.ps.gz11-Oct-2001 18:36 85K 
[   ]safecomp2-01.ps.gz06-Oct-2001 17:30 109K 
[   ]safecomp13.pdf24-Sep-2013 22:14 196K 
[   ]sal.ps.gz16-Jul-1998 22:40 75K 
[   ]sas14.pdf30-Apr-2014 11:52 166K 
[   ]sbmf12.pdf25-Sep-2012 07:01 173K 
[   ]scade03.pdf05-May-2003 10:20 111K 
[   ]scade03.ps.gz05-May-2003 10:20 47K 
[   ]scade03_2_bw.pdf29-Apr-2003 14:25 96K 
[   ]scade03_2_color.pdf29-Apr-2003 14:27 95K 
[   ]scc08.pdf23-May-2008 10:40 113K 
[   ]scs02.pdf19-Oct-2002 18:37 250K 
[   ]scs02.ps.gz19-Oct-2002 18:35 100K 
[   ]sefm06.pdf23-Oct-2007 13:39 178K 
[   ]sefm06.ps.gz29-Oct-2007 08:41 757K 
[   ]sefm09-tutorial.pdf24-Dec-2009 06:44 400K 
[   ]sefm09.pdf26-Nov-2009 18:05 82K 
[   ]sehas03.pdf12-May-2003 03:53 61K 
[   ]sehas03.ps.gz12-May-2003 03:53 30K 
[   ]shm11.pdf17-Nov-2011 19:30 108K 
[   ]shonan16.pdf22-Nov-2016 20:30 202K 
[   ]spin99.ps.gz19-Jul-1999 10:39 117K 
[   ]sreis01.pdf03-Aug-2001 17:57 113K 
[   ]sreis01.ps.gz03-Aug-2001 17:55 47K 
[   ]static09.pdf27-Jul-2009 16:04 88K 
[   ]sunysb99.ps.gz01-Feb-1999 15:59 72K 
[   ]swhm08.pdf21-Oct-2008 09:06 29K 
[   ]tacas97.dvi.Z16-Oct-1997 13:42 20K 
[   ]tacas97.ps.gz16-Oct-1997 13:43 53K 
[   ]ttaproofs.ps.gz06-Oct-2001 17:41 56K 
[   ]ttpforum01.pdf20-Feb-2001 11:19 35K 
[   ]ttpforum02.ps.gz17-Nov-2002 17:35 65K 
[   ]ttpverif99.ps.gz29-Oct-1999 12:21 98K 
[   ]tum04.pdf29-Jan-2004 16:27 177K 
[   ]ucb-oct01.ps.gz23-Oct-2001 13:36 89K 
[   ]ucb96.dvi.Z04-Dec-1996 21:50 23K 
[   ]ucb96.ps.gz25-Feb-1997 18:08 82K 
[   ]uiuc-iti06.pdf10-May-2006 14:02 125K 
[   ]uiuc-iti06.ps.gz10-May-2006 14:02 173K 
[   ]vandv-2010.pdf22-Jul-2010 09:47 104K 
[   ]verify06.pdf28-Aug-2006 15:32 172K 
[   ]verify06.ps.gz28-Aug-2006 15:32 756K 
[   ]vsr-roadmap-cert-apr06.pdf10-May-2006 10:57 79K 
[   ]vsr-roadmap-cert-apr06.ps.gz10-May-2006 10:57 156K 
[   ]vstte05-panel.pdf08-Nov-2005 11:27 41K 
[   ]vstte05-panel.ps.gz08-Nov-2005 11:27 38K 
[   ]vstte05.pdf19-Dec-2005 15:37 81K 
[   ]vstte05.ps.gz19-Dec-2005 15:37 64K 
[   ]wosd17.pdf26-Oct-2017 19:34 71K 
[   ]yices-tut_16.pdf07-Sep-2006 01:11 55K 
[   ]zum95.dvi.Z28-Feb-1997 21:00 8.7K 
[   ]zum95.ps.gz28-Feb-1997 21:01 33K 

Some of these slides are stored only in gzipped postscript (*.ps.gz) format.

If your browser cannot deal with this format, append the complete name of the file (e.g., spin99.ps.gz) onto one of the fields below.

To convert to plain postscript:

To convert to PDF (Adobe Acrobat) ...be patient, this takes a while: