Index of /pag/pubs

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]Adam-Kiezun.html.gz11-Jul-2011 05:12 3.2K 
[   ]Adrian-Birka.html.gz11-Jul-2011 05:11 1.3K 
[   ]Alan-Donovan.html.gz11-Jul-2011 05:11 1.5K 
[   ]Alex-Rolfe.html.gz11-Jul-2011 05:12 1.0K 
[   ]Amy-Williams.html.gz11-Jul-2011 05:12 1.2K 
[   ]Benjamin-Morse.html.gz11-Jul-2011 05:12 1.0K 
[   ]BoshernitsanDS2006-abstract.html.gz12-Nov-2008 05:03 1.3K 
[   ]BrabermanFGY2008-abstract.html.gz12-Nov-2008 05:03 1.3K 
[   ]BrabermanGY2005_submittedLCTES2005-abstract.html.gz.gz12-Nov-2008 05:03 1.1K 
[   ]BrabermanGY2006-abstract.html.gz12-Nov-2008 05:03 1.2K 
[   ]Carlos-Pacheco.html.gz11-Jul-2011 05:12 2.5K 
[   ]ChristodorescuJK2007-abstract.html.gz12-Nov-2008 05:03 1.2K 
[   ]CovaBFV2007-abstract.html.gz12-Nov-2008 05:03 1.4K 
[   ]CsallnerSX2008-abstract.html.gz12-Nov-2008 05:03 1.3K 
[   ]CsallnerTS2008-abstract.html.gz12-Nov-2008 05:03 1.5K 
[   ]David-Glasser.html.gz11-Jul-2011 05:12 1.4K 
[   ]David-Saff.html.gz11-Jul-2011 05:12 2.4K 
[   ]EvansP2006-abstract.html.gz12-Nov-2008 05:03 1.5K 
[   ]FeiM2006-abstract.html.gz12-Nov-2008 05:03 751  
[   ]FisherWZW2008-abstract.html.gz12-Nov-2008 05:03 1.5K 
[   ]Garbervetsky2007-abstract.html.gz12-Nov-2008 05:03 1.7K 
[   ]GoslingJSB2005-abstract.html.gz12-Nov-2008 05:03 706  
[   ]Jaime-Quinonez.html.gz11-Jul-2011 05:12 1.4K 
[   ]JavaCC-abstract.html.gz12-Nov-2008 05:03 530  
[   ]JavaCommunity-abstract.html.gz12-Nov-2008 05:03 538  
[TXT]Jeff-H-Perkins.html11-Jul-2011 05:12 9.7K 
[   ]Jeff-Mellen.html.gz11-Jul-2011 05:12 1.1K 
[   ]Jeremy-W-Nimmer.html.gz.gz11-Jul-2011 05:12 1.6K 
[   ]Jikes-abstract.html.gz12-Nov-2008 05:03 539  
[   ]KAP_Pro-abstract.html.gz12-Nov-2008 05:03 519  
[   ]KiezunGJE2008-abstract.html.gz13-Oct-2008 10:48 1.4K 
[   ]KuzminaG2007_WODA-abstract.html.gz12-Nov-2008 05:03 1.3K 
[   ]Laura-Dean.html.gz11-Jul-2011 05:11 1.0K 
[   ]LeavensBR2006_JML-abstract.html.gz12-Nov-2008 05:03 1.1K 
[   ]Lee-Lin.html.gz11-Jul-2011 05:12 1.4K 
[   ]LiblitNZAJ2003-abstract.html.gz12-Nov-2008 05:03 954  
[   ]LindholmY99_CFF5-abstract.html.gz12-Nov-2008 05:03 682  
[   ]LindholmY_JVMS3-abstract.html.gz12-Nov-2008 05:03 643  
[   ]LoK2006-abstract.html.gz12-Nov-2008 05:03 764  
[   ]LorenzoliMP2007-abstract.html.gz12-Nov-2008 05:03 1.3K 
[   ]LorenzoliMP2008-abstract.html.gz12-Nov-2008 05:03 1.4K 
[   ]Mahmood-Ali.html.gz11-Jul-2011 05:11 1.8K 
[   ]Makefile.gz11-Oct-2010 13:59 1.0K 
[   ]MarianiP2007-abstract.html.gz12-Nov-2008 05:03 1.3K 
[   ]Matthew-M-Papi.html.gz11-Jul-2011 05:12 1.8K 
[   ]Matthew-S-Tschantz.html.gz11-Jul-2011 05:12 1.8K 
[   ]Mauve-abstract.html.gz12-Nov-2008 05:03 534  
[   ]McCamant2006-abstract.html.gz11-Jul-2011 05:10 1.4K 
[   ]Michael-D-Ernst.html.gz11-Jul-2011 05:12 11K 
[   ]Michael-Harder.html.gz11-Jul-2011 05:12 1.2K 
[   ]MullerPHL2006-abstract.html.gz12-Nov-2008 05:03 712  
[   ]NainarCRL2007-abstract.html.gz12-Nov-2008 05:03 1.2K 
[   ]Nii-Dodoo.html.gz11-Jul-2011 05:11 1.2K 
[   ]PachecoLB2008-abstract.html.gz14-Sep-2009 14:01 813  
[   ]PachecoPhD_2009-abstract.html.gz11-Oct-2010 14:10 684  
[   ]PerkinsKLABCPSSSWZEP2009-abstract.html.gz11-Aug-2009 05:10 1.0K 
[   ]Philip-J-Guo.html.gz11-Jul-2011 05:12 1.9K 
[   ]PolikarpovaCM2008-abstract.html.gz12-Nov-2008 05:03 1.4K 
[   ]PotatinLZE2009-abstract.html.gz11-Feb-2010 12:30 773  
[   ]README.gz06-Mar-2007 14:32 431  
[   ]Rad2005-abstract.html.gz12-Nov-2008 05:03 1.2K 
[   ]RenCR2006-abstract.html.gz12-Nov-2008 05:03 1.4K 
[   ]Samir-V-Meghani.html.gz11-Jul-2011 05:12 917  
[   ]ShankarB2007-abstract.html.gz12-Nov-2008 05:03 1.2K 
[   ]Shay-Artzi.html.gz11-Jul-2011 05:11 2.5K 
[   ]Stephen-J-Garland.html.gz11-Jul-2011 05:12 1.2K 
[   ]Stephen-McCamant.html.gz11-Jul-2011 05:12 2.7K 
[   ]Sunghun-Kim.html.gz11-Jul-2011 05:12 2.2K 
[   ]TillmannCS2006-abstract.html.gz12-Nov-2008 05:03 727  
[   ]Toh-Ne-Win.html.gz11-Jul-2011 05:12 1.4K 
[   ]WSA-abstract.html.gz12-Nov-2008 05:03 545  
[   ]WSDL-abstract.html.gz12-Nov-2008 05:03 563  
[   ]WienerKV2008-abstract.html.gz12-Nov-2008 05:03 1.0K 
[   ]XMethods.org-abstract.html.gz12-Nov-2008 05:03 487  
[   ]YangEBBD2006-abstract.html.gz12-Nov-2008 05:03 773  
[   ]Yoav-Zibin.html.gz11-Jul-2011 05:12 2.0K 
[   ]YuanX2005-abstract.html.gz12-Nov-2008 05:03 1.3K 
[   ]Yuriy-Brun.html.gz11-Jul-2011 05:11 1.6K 
[   ]Zibin2010-abstract.html.gz12-Oct-2010 11:25 757  
[   ]abstract-headfoot.html.gz14-Sep-2009 13:59 415  
[   ]abstract-type-issta2006-abstract.html.gz11-Jul-2011 05:10 1.3K 
[   ]annotation-study-fse2002-abstract.html.gz11-Jul-2011 05:10 1.7K 
[   ]annotations-jsr308-abstract.html.gz11-Jul-2011 05:10 694  
[   ]author-headfoot.html.gz14-Sep-2009 13:59 783  
[   ]authors.gz26-Oct-2009 08:44 646  
[   ]automatic-patching-sosp2008-abstract.html.gz14-Sep-2009 14:01 1.9K 
[   ]automatic-patching-sosp2009-abstract.html.gz11-Jul-2011 05:10 1.9K 
[   ]bettenburg-msr-2008-abstract.html.gz11-Jul-2011 05:10 1.1K 
[   ]bettenburg-msr-2008.pdf.gz24-Mar-2008 17:05 882K 
[   ]bugs-webapps-issta2008-abstract.html.gz11-Sep-2010 05:10 1.5K 
[   ]bugs-webapps-tr2009-abstract.html.gz11-Sep-2010 05:10 1.4K 
[   ]bugs-webapps-tse2010-abstract.html.gz11-Jul-2011 05:10 1.7K 
[   ]byauthor-headfoot.html.gz14-Sep-2009 13:59 476  
[   ]byauthor.html.gz11-Jul-2011 05:12 956  
[   ]bytopic-headfoot.html.gz14-Sep-2009 13:59 802  
[   ]bytopic.html.gz11-Jul-2011 05:11 14K 
[   ]c-preprocessor-tse2002-abstract.html.gz11-Jul-2011 05:10 1.8K 
[   ]call-sequences-abstract.html.gz11-Jul-2011 05:10 916  
[   ]cfrontend-morse-mengthesis-abstract.html.gz11-Jul-2011 05:10 1.4K 
[   ]cfrontend-morse-mengthesis.pdf.gz12-Aug-2002 00:17 271K 
[   ]cfrontend-morse-mengthesis.ps.gz06-Aug-2002 10:30 154K 
[   ]classify-tests-ecoop2005-abstract.html.gz11-Jul-2011 05:10 1.8K 
[   ]colin-rtv-2005-abstract.html.gz12-Nov-2008 05:03 799  
[   ]concurrent-history-tr053-abstract.html.gz11-Jul-2011 05:10 1.3K 
[   ]concurrent-refactoring-icse2009-abstract.html.gz11-Jul-2011 05:10 1.5K 
[   ]concurrent-refactoring-tr057-abstract.html.gz11-Jan-2009 05:10 1.5K 
[   ]conttest-plugin-etx2004-abstract.html.gz11-Jul-2011 05:10 1.5K 
[   ]conttest-saff-smthesis.pdf.gz04-Feb-2004 08:27 610K 
[   ]conttest-saff-smthesis.ps.gz04-Feb-2004 08:26 746K 
[   ]create-attacks-icse2009-abstract.html.gz11-Jul-2011 05:10 1.6K 
[   ]create-attacks-tr054-abstract.html.gz11-Jan-2009 05:10 1.5K 
[   ]csallner-icse-2006-abstract.html.gz12-Nov-2008 05:03 1.3K 
[   ]ct-user-study-issta2004-abstract.html.gz11-Jul-2011 05:10 1.5K 
[   ]daikon-tool-scp2007-abstract.html.gz11-Jul-2011 05:10 1.6K 
[   ]deadlock-library-ecoop2005-abstract.html.gz11-Jul-2011 05:10 1.4K 
[   ]ductile-icse2011-abstract.html.gz11-Jul-2011 05:10 1.3K 
[   ]dynamic-tutorial-ase2005-abstract.html.gz11-Jul-2011 05:10 1.4K 
[   ]economics-foser2010-abstract.html.gz11-Jul-2011 05:10 1.2K 
[   ]faultid-brun-mengthesis.pdf.gz25-Jan-2004 13:21 192K 
[   ]faultid-brun-mengthesis.ps.gz25-Jan-2004 13:21 281K 
[   ]feedback-testgen-icse2007-abstract.html.gz11-Jul-2011 05:10 1.7K 
[   ]field-initialization-tr100201-abstract.html.gz11-Jul-2011 05:10 1.3K 
[   ]fix-homedir-tilde.pl.gz21-Nov-2003 19:45 149  
[   ]footloose-wmcsa2003-abstract.html.gz11-Jul-2011 05:10 1.2K 
[   ]generate-specs-issta2002-abstract.html.gz11-Jul-2011 05:10 1.7K 
[   ]genericlibs-tip-ecoop2005-abstract.html.gz11-Jul-2011 05:10 1.6K 
[   ]genericlibs-tip-ecoop2005.pdf.gz06-May-2005 17:35 167K 
[   ]generics-donovan-smthesis-2004.pdf.gz05-Nov-2004 11:14 1.5M 
[   ]generics-donovan-smthesis-2004.ps.gz05-Nov-2004 11:14 241K 
[   ]glasser-meng-thesis-final.pdf.gz21-Aug-2007 18:53 362K 
[   ]glasser-testfactor-mengthesis-abstract.html.gz11-Jul-2011 05:10 1.1K 
[   ]glasser-testfactor-mengthesis.pdf.gz03-Oct-2007 13:50 362K 
[   ]groupthink-2006-abstract.html.gz11-Jul-2011 05:10 1.7K 
[   ]guo-mixedlevel-mengthesis-abstract.html.gz11-Jul-2011 05:10 1.4K 
[   ]guo-mixedlevel-mengthesis.pdf.gz05-May-2006 16:19 314K 
[   ]haloop-vldb2010-abstract.html.gz11-Jul-2011 05:10 1.3K 
[   ]immutability-generics-fse2007-abstract.html.gz11-Jul-2011 05:10 1.8K 
[   ]immutability-tr908.pdf.gz09-Jul-2003 11:29 260K 
[   ]immutability-tr908.ps.gz09-Jul-2003 11:29 222K 
[   ]improve-testsuite-harder-mengthesis.pdf.gz04-Jun-2002 10:26 217K 
[   ]improve-testsuite-harder-mengthesis.ps.gz04-Jun-2002 10:26 150K 
[   ]improve-testsuite-icse2003-abstract.html.gz11-Jul-2011 05:10 1.5K 
[   ]improve-testsuite-tr848.pdf.gz04-Jun-2002 11:21 241K 
[   ]improve-testsuite-tr848.ps.gz.gz04-Jun-2002 11:21 149K 
[   ]index-headfoot.html.gz14-Sep-2009 13:59 729  
[   ]index.html.gz11-Jul-2011 05:11 13K 
[   ]infer-refimmutability-ecoop2008-abstract.html.gz11-Jul-2011 05:10 1.7K 
[   ]infer-refimmutability-quinonez-mengthesis.pdf.gz30-May-2008 00:19 336K 
[   ]infer-repair-issta2006-abstract.html.gz11-Jul-2011 05:10 1.9K 
[   ]infoflow-mccamant-phdthesis-abstract.html.gz11-Jul-2011 05:10 1.8K 
[   ]infoflow-mccamant-phdthesis.pdf.gz27-May-2008 17:40 539K 
[   ]infoflow-mccamant-phdthesis.ps.gz27-May-2008 17:40 515K 
[   ]infoflow-proof-plas2007-abstract.html.gz11-Jul-2011 05:10 1.3K 
[   ]infoflow-proof-plas2007.pdf.gz23-May-2007 16:13 115K 
[   ]infoflow-proof-plas2007.ps.gz23-May-2007 16:13 69K 
[   ]initialization-icse2011-abstract.html.gz11-Jul-2011 05:10 1.3K 
[   ]instantiating-generics-oopsla2004-abstract.html.gz.gz.gz11-Jul-2011 05:10 2.0K 
[   ]invariants-ernst-phdthesis-abstract.html.gz11-Jul-2011 05:10 2.0K 
[   ]invariants-implications-abstract.html.gz11-Aug-2008 13:10 1.4K 
[   ]invariants-incremental-fse2004-abstract.html.gz11-Jul-2011 05:10 1.4K 
[   ]invariants-pointers-tr991102-20000317-abstract.html.gz11-Jul-2011 05:10 1.6K 
[   ]invariants-relevance-icse2000-abstract.html.gz11-Jul-2011 05:10 1.6K 
[   ]invariants-tse2001-abstract.html.gz11-Jul-2011 05:10 1.7K 
[   ]invariants-verify-rv2001-abstract.html.gz11-Jul-2011 05:10 1.5K 
[   ]ioa-simulator-dean-mengthesis-abstract.html.gz11-Jul-2011 05:10 1.0K 
[   ]ioa-simulator-dean-mengthesis.pdf.gz02-Aug-2003 12:27 205K 
[   ]ioa-simulator-dean-mengthesis.ps.gz02-Aug-2003 12:27 174K 
[   ]jml-tools-sttt2005-abstract.html.gz11-Jul-2011 05:10 1.4K 
[   ]kim-tse-2008-abstract.html.gz11-Jul-2011 05:10 1.4K 
[   ]kim-tse-2008.pdf.gz24-Mar-2008 17:20 2.7M 
[   ]legacy-verification-vstte2005-abstract.html.gz11-Jul-2011 05:10 1.4K 
[   ]machlearn-errors-icse2004-abstract.html.gz11-Jul-2011 05:10 1.4K 
[   ]mariani-phd-2005-abstract.html.gz12-Nov-2008 05:03 693  
[   ]mock-factoring-paste2004-abstract.html.gz11-Jul-2011 05:10 1.5K 
[   ]mutability-ase2007-abstract.html.gz29-Sep-2008 04:32 1.4K 
[   ]mutability-jase2009-abstract.html.gz11-Jul-2011 05:10 1.6K 
[   ]oo-test-gen-mtoos2006-abstract.html.gz11-Jul-2011 05:10 1.6K 
[   ]ownership-immutability-oopsla2010-abstract.html.gz11-Jul-2011 05:10 1.7K 
[   ]ownership-immutability-tr0913-abstract.html.gz11-Jul-2011 05:10 1.0K 
[   ]ownership-immutability-tr1016-abstract.html.gz11-Jul-2011 05:10 972  
[   ]pacheco-testing-msthesis.pdf.gz09-May-2005 08:38 125K 
[   ]pacheco-testing-msthesis.ps.gz09-May-2005 08:38 92K 
[   ]parameterizing-generics-icse2007-abstract.html.gz11-Jul-2011 05:10 1.7K 
[   ]paste2005-proceedings-abstract.html.gz.gz11-Jul-2011 05:10 1.2K 
[   ]pittsfield-proof-tr06-035.pdf.gz17-May-2006 13:47 146K 
[   ]pittsfield-proof-tr06-035.ps.gz17-May-2006 13:47 134K 
[   ]pittsfield-tr988.pdf.gz06-May-2005 17:21 248K 
[   ]pittsfield-tr988.ps.gz06-May-2005 17:21 69K 
[   ]pittsfield-usenix2006-abstract.html.gz11-Jul-2011 05:10 1.5K 
[   ]pittsfield-usenix2006.pdf.gz17-May-2006 13:53 96K 
[   ]pittsfield-usenix2006.ps.gz17-May-2006 13:53 84K 
[   ]pluggable-checkers-icse2011-abstract.html.gz11-Jul-2011 05:10 1.4K 
[   ]pluggable-checkers-issta2008-abstract.html.gz11-Jul-2011 05:10 2.0K 
[   ]pluggable-checkers-papi-mengthesis.pdf.gz30-May-2008 00:01 447K 
[   ]predicate-fields-oopsla2005-abstract.html.gz11-Jul-2011 05:10 1.2K 
[   ]predicates-dodoo-mengthesis-abstract.html.gz11-Jul-2011 05:10 1.3K 
[   ]predicates-dodoo-mengthesis.ps.gz05-Sep-2002 17:26 349K 
[   ]predicates-tr914-abstract.html.gz11-Jul-2011 05:10 1.4K 
[   ]predict-faults-icse2007-abstract.html.gz11-Jul-2011 05:10 1.3K 
[   ]predict-faults-icse2007.pdf.gz12-Feb-2007 15:29 345K 
[   ]prioritize-warnings-fse2007-abstract.html.gz11-Jul-2011 05:10 1.4K 
[   ]prioritize-warnings-msr2007-abstract.html.gz11-Jul-2011 05:10 1.1K 
[   ]randomtesting-pacheco-phdthesis-abstract.html.gz11-Jul-2011 05:10 1.6K 
[   ]randoop-case-study-abstract.html.gz11-Jul-2011 05:10 1.3K 
[   ]ref-immutability-oopsla2004-abstract.html.gz11-Jul-2011 05:10 1.7K 
[   ]ref-immutability-oopsla2005-abstract.html.gz11-Jul-2011 05:10 1.7K 
[   ]refactor-deprecated-paste2005-abstract.html.gz11-Jul-2011 05:10 1.4K 
[   ]refactor-deprecated-paste2005.pdf.gz11-Sep-2005 09:48 24K 
[   ]refactor-deprecated-paste2005.ps.gz11-Sep-2005 09:48 22K 
[   ]refactoring-icsm2001-abstract.html.gz11-Jul-2011 05:10 1.3K 
[   ]refactoring-tip-ecoop2003-abstract.html.gz11-Jul-2011 05:10 1.3K 
[   ]refactoring-tip-ecoop2003.pdf.gz04-Mar-2004 08:30 362K 
[   ]refactoring-tip-rc23238.pdf.gz19-Jun-2004 17:26 321K 
[   ]refactoring-type-constraints-rc24804-abstract.html.gz11-Jul-2011 05:10 1.2K 
[   ]repro-crashes-tr054.pdf.gz10-Dec-2007 15:48 174K 
[   ]repro-crashes-tr054.ps.gz10-Dec-2007 15:48 99K 
[   ]reproduce-failures-ecoop2008-abstract.html.gz11-Jul-2011 05:10 1.4K 
[   ]rudd-mixedlevel-mengthesis-abstract.html.gz11-Jul-2011 05:10 1.2K 
[   ]se-perspectives-panel-icse2001-abstract.html.gz11-Jul-2011 05:10 1.2K 
[   ]secret-max-flow-pldi2008-abstract.html.gz11-Jul-2011 05:10 1.6K 
[   ]secret-max-flow-pldi2008.pdf.gz31-Mar-2008 14:24 262K 
[   ]secret-max-flow-pldi2008.ps.gz31-Mar-2008 14:24 313K 
[   ]secret-max-flow-tr057.pdf.gz20-Dec-2007 20:35 230K 
[   ]secret-max-flow-tr057.ps.gz20-Dec-2007 20:35 268K 
[   ]secret-tracking-tr076.pdf.gz17-Nov-2006 16:16 166K 
[   ]secret-tracking-tr076.ps.gz17-Nov-2006 16:16 138K 
[   ]simexecution-sttt2004-abstract.html.gz11-Jul-2011 05:10 1.3K 
[   ]speculation-foser2010-abstract.html.gz11-Jul-2011 05:10 1.2K 
[   ]speculative-merge-tr100301-abstract.html.gz11-Jul-2011 05:10 1.5K 
[   ]staticdynamic-tap2010-abstract.html.gz11-Jul-2011 05:10 1.3K 
[   ]staticdynamic-woda2003-abstract.html.gz11-Jul-2011 05:10 1.1K 
[   ]steering-issta2004-abstract.html.gz11-Jul-2011 05:10 1.6K 
[   ]steering-lin-mengthesis.pdf.gz12-Aug-2004 15:38 264K 
[   ]steering-lin-mengthesis.ps.gz12-Aug-2004 15:39 195K 
[   ]string-solver-tr004-abstract.html.gz11-Jul-2011 05:10 1.6K 
[   ]synoptic-slaml2010-abstract.html.gz11-Jul-2011 05:10 1.3K 
[   ]test-factoring-ase2005-abstract.html.gz11-Jul-2011 05:10 1.4K 
[   ]test-factoring-doctoral-icse2005.pdf.gz28-Jan-2005 12:26 8.7K 
[   ]test-factoring-doctoral-icse2005.ps.gz28-Jan-2005 12:26 11K 
[   ]test-theory-demo-oopsla2007-abstract.html.gz11-Jul-2011 05:10 1.3K 
[   ]test-theory-demo-oopsla2007.pdf.gz13-Aug-2007 10:53 89K 
[   ]test-theory-poster-oopsla2007-abstract.html.gz11-Jul-2011 05:10 1.2K 
[   ]test-theory-poster-oopsla2007.pdf.gz13-Aug-2007 10:53 78K 
[   ]testgen-ase2006-abstract.html.gz11-Jul-2011 05:10 1.2K 
[   ]testing-theories-tr002-abstract.html.gz11-Jul-2011 05:10 1.3K 
[   ]thmprove-newin-mengthesis-abstract.html.gz11-Jul-2011 05:10 1.6K 
[   ]thmprove-newin-mengthesis.pdf.gz05-Jun-2003 16:05 790K 
[   ]thmprove-newin-mengthesis.ps.gz05-Jun-2003 16:05 388K 
[   ]tschantz-refimmut-mengthesis-as-submitted.pdf.gz05-Sep-2006 05:07 967K 
[   ]tschantz-refimmut-mengthesis.pdf.gz13-May-2007 19:34 437K 
[   ]upgrades-ecoop2004-abstract.html.gz11-Jul-2011 05:10 1.5K 
[   ]upgrades-fse2003-abstract.html.gz11-Jul-2011 05:10 1.6K 
[   ]upgrades-mccamant-smthesis.pdf.gz15-Jan-2004 14:18 379K 
[   ]upgrades-mccamant-smthesis.ps.gz15-Jan-2004 17:10 313K 
[   ]upgrades-savcbs2004-abstract.html.gz11-Jul-2011 05:10 1.5K 
[   ]verify-distributed-tr841-abstract.html.gz.gz11-Jul-2011 05:10 1.5K 
[   ]wasted-time-issre2003-abstract.html.gz11-Jul-2011 05:10 1.7K 
[   ]web-service-subst-wsmate2006-abstract.html.gz11-Jul-2011 05:10 1.1K 
[   ]whitebox-fuzzing-pldi2008-abstract.html.gz11-Jul-2011 05:10 1.5K 
[   ]whitebox-fuzzing-pldi2008.pdf.gz27-Apr-2008 11:01 157K 
[   ]woda2003-proceedings-abstract.html.gz11-Jul-2011 05:10 2.0K 
[   ]workflow-rolfe-mengthesis-abstract.html.gz11-Jul-2011 05:10 1.0K 
[   ]workflow-rolfe-mengthesis.pdf.gz02-Aug-2003 12:43 275K 
[   ]workflow-rolfe-mengthesis.ps.gz23-May-2002 17:53 172K 
[   ]ws_demo.mov.gz07-Jun-2006 18:02 18M 
[   ]xiao-invdetopt-mengthesis-abstract.html.gz11-Jul-2011 05:10 1.3K 
[   ]xiao-invdetopt-mengthesis.pdf.gz12-Feb-2007 13:30 284K 
[   ]xie-ase-2006-abstract.html.gz12-Nov-2008 05:03 1.8K 

Apache/2.2.22 (Ubuntu) Server at groups.csail.mit.edu Port 80