![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Ackermann-PEPM03.pdf | 2006-12-05 12:57 | 89K | |
| Ackermann-PEPM03.ps.gz | 2003-04-23 16:26 | 79K | |
| Alias-DLS10.pdf | 2010-08-12 21:26 | 831K | |
| Alias-slides.pdf | 2010-04-29 00:06 | 17M | |
| AnalRec-ICCL98.dvi.gz | 1998-03-06 00:44 | 44K | |
| AnalRec-ICCL98.html | 2000-09-03 12:56 | 2.2K | |
| AnalRec-ICCL98.pdf | 2006-12-05 12:59 | 305K | |
| AnalRec-ICCL98.ps.gz | 1998-03-06 01:30 | 126K | |
| AnalRec-PruneRec-TR97.ps.gz | 1997-07-29 18:55 | 136K | |
| Array-ICCL98.html | 2000-09-03 12:56 | 2.4K | |
| Array-ICCL98.pdf | 2006-12-05 12:59 | 270K | |
| Array-ICCL98.ps.gz | 1998-03-06 15:41 | 119K | |
| Array-TOPLAS05.pdf | 2004-08-17 17:02 | 304K | |
| Array-TR02.ps.gz | 2003-06-26 17:25 | 139K | |
| Array-TR97.ps.gz | 1997-07-29 19:13 | 141K | |
| Array-slides.ps.gz | 2000-11-15 17:33 | 100K | |
| AutoInc-ICFP98.pdf | 2006-12-05 12:59 | 93K | |
| AutoInc-ICFP98.ps.gz | 1998-07-16 17:35 | 33K | |
| BDDdetect-CAV98.pdf | 2006-12-05 12:59 | 214K | |
| BDDdetect-CAV98.ps.gz | 1998-04-10 19:53 | 84K | |
| BDDdetect-TR98.ps.gz | 1998-03-02 12:51 | 108K | |
| CCM-ASE01.dvi.gz | 2001-09-18 00:52 | 27K | |
| CCM-ASE01.pdf | 2006-12-05 12:59 | 489K | |
| CCM-ASE01.ps.gz | 2001-09-18 00:52 | 81K | |
| Cachet-KBSE95.pdf | 2006-12-05 13:00 | 251K | |
| Cachet-KBSE95.ps.gz | 1996-11-13 16:43 | 64K | |
| Cch-ICYCS95.ps.gz | 1995-04-02 20:47 | 43K | |
| Cir-PEPM95.pdf | 2006-12-05 13:00 | 243K | |
| Cir-PEPM95.ps.gz | 1996-11-13 16:54 | 78K | |
| Cir-TR95.ps.gz | 1996-11-13 16:58 | 119K | |
| Compose-PEPM12.pdf | 2011-11-28 21:18 | 156K | |
| CostAnal-TC01.pdf | 2006-12-05 13:00 | 320K | |
| CostAnal-TC01.ps.gz | 2001-09-17 17:01 | 123K | |
| Dai-POPL96.dvi.gz | 1996-11-13 17:00 | 47K | |
| Dai-POPL96.html | 2002-09-07 10:15 | 1.3K | |
| Dai-POPL96.pdf | 2006-12-05 13:00 | 257K | |
| Dai-POPL96.ps.gz | 1996-11-13 17:04 | 80K | |
| Dai-Tsd-TR95.ps.gz | 1996-11-13 17:05 | 70K | |
| DiscreteMathProg-SIGCSE21.pdf | 2021-02-23 13:12 | 653K | |
| DistConsensus-ICDCS24tut-sli.pdf | 2024-07-22 22:38 | 4.7M | |
| DistConsensus-ICDCS24tut.pdf | 2024-11-20 16:33 | 105K | |
| DistInv-TLA18.pdf | 2018-06-20 00:08 | 213K | |
| DistPL-OOPSLA12.pdf | 2012-08-10 07:30 | 216K | |
| DistPL-TOPLAS17.pdf | 2017-03-08 21:36 | 807K | |
| DistPL-slides.pdf | 2012-09-16 19:37 | 107K | |
| DistPL10-slides.pdf | 2010-10-21 02:07 | 72K | |
| DistSpec-SSS12.pdf | 2012-07-09 13:32 | 238K | |
| DistSpec-slides.pdf | 2013-09-22 10:48 | 194K | |
| Drv-ICYCS93.ps.gz | 1996-11-13 16:47 | 116K | |
| Drv-TR93-Rvs.ps.gz | 1996-11-13 16:47 | 116K | |
| DynProg-ESOP99.dvi.gz | 1998-12-16 04:52 | 35K | |
| DynProg-ESOP99.html | 2000-09-03 12:57 | 2.2K | |
| DynProg-ESOP99.pdf | 2006-12-05 13:00 | 241K | |
| DynProg-ESOP99.ps.gz | 1998-12-16 04:54 | 97K | |
| DynProg-HOSC03.pdf | 2006-12-05 13:00 | 323K | |
| DynProg-HOSC03.ps.gz | 2002-11-18 09:36 | 123K | |
| DynProg-TR98.ps.gz | 1998-10-10 21:35 | 105K | |
| DynProg-slides.ps.gz | 1999-04-13 16:13 | 104K | |
| ECvIC-PUCS98.ps.gz | 1998-05-31 15:42 | 118K | |
| ECvIC-TR98.ps.gz | 1998-07-31 16:01 | 111K | |
| ElimDeadRec-SAS99.html | 2000-09-03 12:57 | 1.7K | |
| ElimDeadRec-SAS99.pdf | 2006-12-05 13:00 | 427K | |
| ElimDeadRec-SAS99.ps.gz | 1999-06-07 22:17 | 157K | |
| ElimDeadRec-SCP03.pdf | 2006-12-05 13:00 | 459K | |
| ElimDeadRec-SCP03.ps.gz | 2001-04-02 09:44 | 163K | |
| ElimDeadRec-TR97.ps.gz | 1999-03-14 16:40 | 160K | |
| ElimDeadRec-TR98.ps.gz | 1999-03-14 16:40 | 160K | |
| FD-NDIST16-slides.pdf | 2016-12-06 10:58 | 116K | |
| FoundedSem-LFCS18.pdf | 2017-10-22 19:09 | 338K | |
| GramSimp-SAS01.pdf | 2006-12-05 13:00 | 327K | |
| GramSimp-SAS01.ps.gz | 2001-04-26 21:25 | 112K | |
| GramSimp-TR00.ps.gz | 2000-10-24 12:40 | 134K | |
| GraphQL-PADL06.pdf | 2005-10-17 12:22 | 150K | |
| HCOS-EW02.ps.gz | 2004-04-26 17:16 | 24K | |
| HwDgByInc-CHARME99.pdf | 2006-12-05 13:00 | 150K | |
| HwDgByInc-CHARME99.ps.gz | 1999-06-26 18:12 | 55K | |
| HwDgByInc-STTT03.pdf | 2006-12-05 13:00 | 946K | |
| HwDgByInc-STTT03.ps.gz | 2000-03-07 18:03 | 300K | |
| HwDgByInc-TR99.ps.gz | 1999-09-15 11:47 | 246K | |
| III-ICC03.pdf | 2006-12-05 13:00 | 77K | |
| III-ICC03.ps.gz | 2003-06-24 10:34 | 27K | |
| ImplCRBAC-PEPM06.pdf | 2005-12-22 14:56 | 149K | |
| ImplGraphQL-PPDP10.pdf | 2010-05-19 23:45 | 166K | |
| ImplOptOOP-OOPSLA05pstr.pdf | 2005-08-18 18:16 | 23K | |
| Inc-SCP95.dvi.gz | 1996-11-13 17:09 | 63K | |
| Inc-SCP95.pdf | 2006-12-05 13:00 | 373K | |
| Inc-SCP95.ps.gz | 1996-11-13 16:59 | 118K | |
| Inc-TR94.ps.gz | 1996-11-13 17:04 | 117K | |
| IncDesign-TR13.pdf | 2013-09-10 22:37 | 228K | |
| IncEff-HOSC00.pdf | 2006-12-05 13:00 | 335K | |
| IncEff-HOSC00.ps.gz | 2000-10-10 14:18 | 122K | |
| IncOQ-PPDP16.pdf | 2016-07-17 23:24 | 494K | |
| IndexDS-PEPM02.dvi.gz | 2001-11-24 09:41 | 32K | |
| IndexDS-PEPM02.html | 2002-09-07 10:23 | 1.6K | |
| IndexDS-PEPM02.pdf | 2006-12-05 13:00 | 153K | |
| IndexDS-PEPM02.ps.gz | 2001-11-24 09:43 | 63K | |
| InfoFlow-PLAS06.pdf | 2006-04-25 12:42 | 146K | |
| Inv-GPCE09.pdf | 2009-07-27 16:33 | 178K | |
| LPOP18-arxiv20.pdf | 2020-08-15 10:29 | 820K | |
| LPappl-wbook18.pdf | 2018-02-27 12:20 | 202K | |
| LclockUnfair-APPLIED18.pdf | 2018-06-09 17:49 | 573K | |
| LiveMemAnal-LCTES01.pdf | 2006-12-05 13:00 | 155K | |
| LiveMemAnal-LCTES01.ps.gz | 2001-05-17 18:19 | 54K | |
| Liveness-PODC21.pdf | 2021-06-09 23:41 | 488K | |
| LogicalLease-ICLP24.pdf | 2024-08-23 01:49 | 1.0M | |
| MCLinear-FM09.pdf | 2009-08-05 00:58 | 231K | |
| MCPDS-VMCAI06.pdf | 2005-11-18 18:00 | 195K | |
| OSQ-GPCE08.pdf | 2008-08-22 23:33 | 218K | |
| OSQ-TR07.pdf | 2007-04-25 17:19 | 205K | |
| OptOOP-OOPSLA05.pdf | 2005-08-16 12:24 | 243K | |
| OptOOP-slides.pdf | 2005-10-17 15:48 | 155K | |
| OptdHeapAnal-VMCAI03.pdf | 2006-12-05 13:00 | 227K | |
| OptdHeapAnal-VMCAI03.ps.gz | 2002-11-11 02:25 | 58K | |
| OverheadElim-PEPM16.pdf | 2015-12-19 19:49 | 488K | |
| POdetect-CAV00.ps.gz | 2000-07-25 12:19 | 144K | |
| POdetect-TR99.ps.gz | 2000-07-25 12:19 | 144K | |
| ParamRPQ-PLDI04.pdf | 2004-04-09 09:39 | 183K | |
| ParamRPQ-PLDI04.ps.gz | 2004-04-09 09:34 | 156K | |
| Paxos-arxiv17.pdf | 2017-07-21 22:47 | 319K | |
| PaxosHistVarTLAPS-NFM18.pdf | 2018-02-07 00:14 | 370K | |
| PaxosTLAPS-FM16.pdf | 2016-09-05 17:00 | 331K | |
| PointerAnal-TPLP16.pdf | 2016-08-08 11:02 | 213K | |
| Psr-IFIP97.dvi.gz | 1997-03-23 16:22 | 37K | |
| Psr-IFIP97.pdf | 2006-12-05 13:00 | 278K | |
| Psr-IFIP97.ps.gz | 1997-03-23 16:22 | 107K | |
| Psr-slides.ps.gz | 2000-11-14 12:39 | 114K | |
| QBDebug-SCAM08.pdf | 2008-07-08 02:11 | 188K | |
| RBAC-TR05.pdf | 2006-01-17 10:18 | 137K | |
| RBACchallenge-LPOP18.pdf | 2018-03-23 10:25 | 121K | |
| RBACsolution-LPOP18.pdf | 2018-06-19 23:49 | 201K | |
| RTInvCheck-WODA08.pdf | 2008-05-22 10:31 | 124K | |
| RecToItr-PEPM00.dvi.gz | 1999-12-01 18:45 | 36K | |
| RecToItr-PEPM00.pdf | 2006-12-05 13:00 | 203K | |
| RecToItr-PEPM00.ps.gz | 1999-12-01 18:46 | 75K | |
| RecToItr-TR99.ps.gz | 1999-08-04 02:45 | 93K | |
| RecToItr-slides.ps.gz | 2000-11-02 16:23 | 72K | |
| RegPathQ-MPC02.dvi.gz | 2002-04-25 13:05 | 22K | |
| RegPathQ-MPC02.html | 2002-09-07 10:19 | 2.1K | |
| RegPathQ-MPC02.pdf | 2006-12-05 13:00 | 211K | |
| RegPathQ-MPC02.ps.gz | 2002-04-25 13:12 | 71K | |
| Retrieval-PEPM07.pdf | 2006-12-19 10:53 | 155K | |
| Retrieval-TR05.pdf | 2005-11-14 10:05 | 96K | |
| RoleMiningData-LPOP20.pdf | 2020-09-07 12:51 | 133K | |
| RuleLangOverview.pdf | 2022-09-14 15:12 | 142K | |
| RulePE-AMAST08.pdf | 2008-05-17 17:30 | 217K | |
| RuleQuery-PPDP10.pdf | 2010-05-18 19:16 | 196K | |
| RuleQueryBeat-SIGMOD11.pdf | 2011-04-14 19:41 | 209K | |
| Rules-PPDP03.pdf | 2006-12-05 13:00 | 158K | |
| Rules-PPDP03.ps.gz | 2003-06-23 13:45 | 127K | |
| Rules-TOPLAS09.pdf | 2009-06-27 00:07 | 420K | |
| SCRgen-LCTES06.pdf | 2006-04-25 11:19 | 359K | |
| SIEC-SCP01.dvi.gz | 2001-04-04 09:41 | 57K | |
| SIEC-SCP01.pdf | 2006-12-05 13:00 | 408K | |
| SIEC-SCP01.ps.gz | 2001-04-04 09:49 | 142K | |
| SNIZ-SEKE09.pdf | 2009-04-14 12:56 | 255K | |
| SPKIanal-PPDP07.pdf | 2007-05-25 16:17 | 132K | |
| Scic-TOPLAS98.html | 2002-09-07 10:09 | 1.5K | |
| Scic-TOPLAS98.pdf | 2006-12-05 13:00 | 457K | |
| Scic-TOPLAS98.ps.gz | 1998-09-14 20:30 | 182K | |
| SpaceAnal-TR00.ps.gz | 2000-04-12 14:33 | 155K | |
| Thesis-TR95.dvi.gz | 1996-11-13 17:06 | 209K | |
| Thesis-TR95.ps.gz | 1996-11-13 16:52 | 342K | |
| ThesisAbs.ps.gz | 1996-11-13 16:56 | 54K | |
| ThesisIntro.ps.gz | 1996-11-13 17:00 | 66K | |
| TimeAnal-LCTES98.pdf | 2006-12-05 13:00 | 197K | |
| TimeAnal-LCTES98.ps.gz | 1998-05-16 22:17 | 75K | |
| TimeAnal-TR98.ps.gz | 1998-04-28 04:20 | 99K | |
| TimeAnalHO-PEPM02.dvi.gz | 2001-11-26 17:03 | 42K | |
| TimeAnalHO-PEPM02.pdf | 2006-12-05 13:00 | 239K | |
| TimeAnalHO-PEPM02.ps.gz | 2001-11-26 17:04 | 95K | |
| TimeAnalHO-TR99.ps.gz | 1999-12-23 18:17 | 100K | |
| ams13-slides.pdf | 2013-01-08 20:17 | 59K | |
| cuny14-slides.pdf | 2014-04-02 23:35 | 69K | |
| ibm13-slides.pdf | 2013-09-22 10:42 | 127K | |
| iii-slides.pdf | 2005-06-07 16:04 | 158K | |
| jon_thesis_may18.pdf | 2016-05-21 22:53 | 1.5M | |
| report-ETAPS99.dvi.gz | 1999-04-20 12:01 | 4.1K | |
| report-ETAPS99.ps.gz | 1999-04-20 12:05 | 27K | |
| report-PaigeNSF-SEnotes00.dvi.gz | 2000-09-14 11:06 | 5.6K | |
| report-PaigeNSF-SEnotes00.ps.gz | 2000-09-14 11:09 | 17K | |
| talk-slides.pdf | 2014-04-02 23:35 | 69K | |