Index of /wpis/papers

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]xu_thesis.ps2001-03-15 11:17 2.3M 
[   ]xu_thesis.pdf2001-09-10 18:18 1.8M 
[   ]wysinwyx05.ps2006-07-11 09:32 240K 
[   ]wysinwyx05.pdf2006-07-11 09:34 123K 
[   ]wysinwyx.submission.pdf2009-02-24 22:01 790K 
[   ]wysinwyx.revision2.pdf2009-11-02 17:07 933K 
[   ]wysinwyx.revision.pdf2009-09-22 20:43 830K 
[   ]wysinwyx.final.pdf2009-12-19 23:39 953K 
[   ]wcre06.pdf2006-07-28 13:40 421K 
[   ]vmcai17.pdf2016-12-05 09:52 722K 
[   ]vmcai16-invited.pdf2015-11-02 21:58 711K 
[   ]vmcai09.pdf2008-10-29 12:41 241K 
[   ]vmcai07.pdf2006-11-10 09:53 154K 
[   ]vmcai07.invited.pdf2007-01-21 09:15 360K 
[   ]vmcai04.BT.ps2003-11-06 09:35 618K 
[   ]vmcai04.BT.pdf2003-11-06 09:53 255K 
[   ]vifoup.pdf2009-02-08 22:26 293K 
[   ]tr1849.pdf2017-08-23 13:21 1.8M 
[   ]tr1846r1.pdf2017-07-01 08:37 554K 
[   ]tr1844.pdf2017-03-07 17:30 4.4M 
[   ]tr1840r1.pdf2017-04-18 12:52 644K 
[   ]tr1840.pdf2016-10-06 18:15 528K 
[   ]tr1839.pdf2016-12-13 15:09 510K 
[   ]tr1825.pdf2016-02-13 10:49 1.7M 
[   ]tr1824.pdf2015-10-07 22:17 1.5M 
[   ]tr1821.pdf2015-08-21 10:13 867K 
[   ]tr1814.pdf2015-02-03 09:42 942K 
[   ]tr1800.pdf2014-02-12 23:09 531K 
[   ]tr1792.pdf2013-05-11 01:10 894K 
[   ]tr1790.pdf2013-04-18 09:33 458K 
[   ]tr1789.pdf2013-04-18 09:33 229K 
[   ]tr1781.pdf2013-03-13 20:45 652K 
[   ]tr1776r1.pdf2013-08-14 10:45 1.5M 
[   ]tr1775.pdf2012-10-01 22:55 503K 
[   ]tr1713.pdf2012-04-02 12:44 960K 
[   ]tr1711.pdf2012-03-18 19:40 1.0M 
[   ]tr1710.pdf2012-05-23 08:32 492K 
[   ]tr1708.pdf2012-02-15 18:40 844K 
[   ]tr1705.pdf2012-05-23 08:34 316K 
[   ]tr1702.pdf2011-12-19 17:42 287K 
[   ]tr1701.pdf2011-10-29 15:28 320K 
[   ]tr1699r.pdf2012-09-06 16:51 461K 
[   ]tr1699.pdf2011-12-19 17:42 223K 
[   ]tr1691.pdf2011-06-17 10:32 280K 
[   ]tr1675r.pdf2011-09-01 13:13 567K 
[   ]tr1675.pdf2010-07-10 22:11 957K 
[   ]tr1674r.pdf2010-06-22 17:46 341K 
[   ]tr1674.pdf2010-06-14 11:52 334K 
[   ]tr1669.pdf2010-04-16 22:43 405K 
[   ]tr1668.pdf2010-02-17 11:54 319K 
[   ]tr1662.pdf2009-09-11 07:26 1.9M 
[   ]tr1659.pdf2009-06-04 17:53 272K 
[   ]tr1649r.pdf2009-05-11 13:04 785K 
[   ]tr1649.pdf2009-05-11 13:04 785K 
[   ]tr1640.pdf2008-07-22 10:24 260K 
[   ]tr1629r.pdf2008-02-21 07:04 289K 
[   ]tr1624.pdf2007-10-22 07:40 241K 
[   ]tr1623.pdf2007-10-22 07:44 215K 
[   ]tr1622r.pdf2007-11-23 08:22 179K 
[   ]tr1621.pdf2007-11-14 10:33 397K 
[   ]tr1598.pdf2007-07-26 13:58 326K 
[   ]tr1581.pdf2006-10-12 16:39 271K 
[   ]tr1579.pdf2006-09-30 09:47 271K 
[   ]tr1552.pdf2006-02-04 05:58 219K 
[   ]tr1548.ps2005-12-28 14:06 812K 
[   ]tr1548.pdf2005-12-28 14:10 319K 
[   ]tr1533.ps2005-07-19 03:14 948K 
[   ]tr1533.pdf2005-07-19 03:20 295K 
[   ]tr1532.ps2005-07-19 09:34 323K 
[   ]tr1532.pdf2005-09-14 17:25 162K 
[   ]tr1519.ps2005-01-17 13:03 825K 
[   ]tr1519.pdf2004-11-11 17:19 267K 
[   ]tr1516.pdf2004-07-16 12:24 204K 
[   ]tr1505.ps2004-04-13 15:36 390K 
[   ]tr1505.pdf2004-04-26 09:02 235K 
[   ]tr1504.ps2004-04-19 15:18 513K 
[   ]tr1504.pdf2004-04-26 09:02 203K 
[   ]tr1486r.ps2003-10-22 21:13 232K 
[   ]tr1486r.pdf2003-10-28 11:25 203K 
[   ]tr1486.ps2003-07-18 08:30 318K 
[   ]tr1486.pdf2003-07-19 08:56 240K 
[   ]tr1470.ps2008-02-07 13:04 878K 
[   ]tr1470.pdf2003-02-13 08:40 425K 
[   ]tr1469.ps2003-01-30 12:29 419K 
[   ]tr1469.pdf2003-01-30 12:34 219K 
[   ]tr1468.ps2003-01-26 10:10 731K 
[   ]tr1468.pdf2003-01-29 13:36 286K 
[   ]tr1461.ps2004-05-20 14:51 324K 
[   ]tr1461.pdf2004-05-20 14:51 165K 
[   ]tr1435.ps2002-02-14 17:19 18M 
[   ]tr1435.pdf2002-02-14 17:19 5.1M 
[   ]tr1425.ps2001-03-20 03:38 555K 
[   ]tr1424.ps2001-03-15 06:52 625K 
[   ]tr1424.pdf2001-09-10 18:19 220K 
[   ]tr1415r.ps2008-02-07 13:04 929K 
[   ]tr1415r.pdf2001-09-10 18:17 806K 
[   ]tr1415.ps2000-09-25 06:01 855K 
[   ]tr1415.pdf2000-09-25 05:52 369K 
[   ]tr1397.ps2008-02-07 13:04 837K 
[   ]tr1386.ps2008-02-07 13:04 1.0M 
[   ]tr1386.pdf2001-09-10 18:24 272K 
[   ]tr1384.ps1998-08-19 21:55 1.6M 
[   ]tr1383r2.ps2001-06-13 04:56 915K 
[   ]tr1383r2.pdf2001-09-10 18:17 1.2M 
[   ]tr1383r.ps2000-03-03 09:23 1.1M 
[   ]tr1383.ps1998-08-24 21:24 888K 
[   ]tr1382.ps1998-09-01 18:10 2.0M 
[   ]tr1382.pdf2001-09-10 18:24 2.3M 
[   ]tr1362.ps2008-02-07 13:04 1.2M 
[   ]tr1347r.ps2008-02-07 13:04 191K 
[   ]tr1347.ps2008-02-07 13:04 133K 
[   ]tr1337r.ps1998-08-01 23:15 645K 
[   ]tr1337.ps1997-01-31 16:01 227K 
[   ]tr1335.ps2008-02-07 13:04 321K 
[   ]tr1330.ps1996-11-18 17:30 1.0M 
[   ]tr1329.ps1996-11-18 17:44 195K 
[   ]tr1323.ps1996-08-20 21:23 590K 
[   ]tr1315.ps1996-05-14 15:24 166K 
[   ]tr1296.ps2008-02-07 13:04 247K 
[   ]tr1284.ps2008-02-07 13:04 812K 
[   ]tr1283r.ps2008-02-07 13:04 620K 
[   ]tr1283.ps2008-02-07 13:04 461K 
[   ]tr1276.ps1995-07-21 15:09 693K 
[   ]tr1169.ps2002-03-29 15:38 1.9M 
[   ]tr1128.ps2000-02-29 11:27 494K 
[   ]tr1057.ps2002-03-29 15:39 543K 
[   ]tr1038.ps2002-03-29 15:14 1.9M 
[   ]tr1037.pdf2002-06-28 07:32 6.8M 
[   ]tr962.ps2002-04-03 10:31 1.1M 
[   ]tr900.ps1995-02-08 19:39 237K 
[   ]tr900.pdf2001-09-10 18:36 92K 
[   ]tr890.ps1994-12-05 11:48 250K 
[   ]tr840.ps1994-12-05 13:52 245K 
[   ]tr819.ps1991-09-24 20:24 110K 
[   ]tr777.ps1995-01-03 12:13 367K 
[   ]tr92-1091.ps1999-01-04 12:14 461K 
[   ]tosem95.ps2008-02-07 13:04 329K 
[   ]tosem95.pdf2001-09-10 18:36 139K 
[   ]tosem92.ps2008-02-07 13:04 396K 
[   ]tosem92.pdf2001-09-10 18:38 157K 
[   ]toplas98b.ps2008-02-07 13:04 167K 
[   ]toplas98b.pdf2001-09-10 18:26 74K 
[   ]toplas98a.ps1998-01-28 11:01 914K 
[   ]toplas98a.pdf2001-09-10 18:26 549K 
[   ]toplas97a.ps1996-10-16 09:14 116K 
[   ]toplas97a.pdf2001-09-10 18:32 154K 
[   ]toplas90.ps1995-05-15 16:04 331K 
[   ]toplas90.pdf2001-09-10 18:35 161K 
[   ]toplas89.ps1994-07-15 04:27 510K 
[   ]toplas89.pdf2001-09-10 18:37 423K 
[   ]toplas13-tsl-final.pdf2013-03-05 22:54 866K 
[   ]toplas02.ps2002-06-07 17:17 942K 
[   ]toplas02.pdf2002-06-07 17:25 1.3M 
[   ]toplas00.ps2008-02-07 13:04 1.2M 
[   ]toplas00.pdf2001-09-10 18:20 296K 
[   ]toplas-rsl-differencing.pdf2010-03-23 10:45 769K 
[   ]tocl07.ps2006-12-02 10:25 603K 
[   ]tocl07.pdf2006-12-02 10:29 418K 
[   ]thakur_dissertation.pdf2014-08-23 05:00 3.6M 
[   ]tcs_submission98r2.ps1998-12-04 16:51 2.8M 
[   ]tcs_submission98r2.pdf2001-09-10 18:23 1.5M 
[   ]tcs_submission98r.ps1998-05-18 09:04 1.9M 
[   ]tcs_submission98.ps1998-01-31 21:55 1.7M 
[   ]tcs96b.ps2008-02-07 13:04 584K 
[   ]tcs96b.pdf2001-09-10 18:33 495K 
[   ]tcs96a.ps1995-02-09 13:18 448K 
[   ]tcs96a.pdf2001-09-10 18:36 186K 
[   ]tcmc_submission.ps2000-11-01 09:58 328K 
[   ]tapsoft95.ps2008-02-07 13:04 584K 
[   ]tapsoft95.pdf2001-09-10 18:36 318K 
[   ]tapas13.pdf2013-05-25 09:18 346K 
[   ]tacas08.dda-x86.pdf2008-01-04 14:36 243K 
[   ]tacas08-cba.pdf2008-01-03 02:08 220K 
[   ]tacas06.ps2006-01-05 10:32 180K 
[   ]tacas06.pdf2006-01-05 10:32 94K 
[   ]tacas06.invited.pdf2006-01-13 13:04 357K 
[   ]tacas04.scmpao.ps2004-01-06 14:12 528K 
[   ]tacas04.scmpao.pdf2004-01-06 16:01 224K 
[   ]tacas04.ndsd.ps2004-01-09 16:15 274K 
[   ]tacas04.ndsd.pdf2004-01-16 14:43 135K 
[   ]sttt02.ps2000-07-06 20:29 9.5M 
[   ]spin14.pdf2014-08-14 11:04 423K 
[   ]spin09.savsr.pdf2009-04-24 22:08 285K 
[   ]spin09.atomicity.pdf2009-05-07 08:04 748K 
[   ]spaa93.ps2008-02-07 13:04 161K 
[   ]spaa93.pdf2001-09-10 18:28 64K 
[   ]soprgs08-proofs.pdf2008-02-29 08:56 59K 
[   ]sigplan90.ps1996-01-05 17:02 139K 
[   ]sigcse09.pdf2009-06-03 10:52 82K 
[   ]scp91.ps2008-02-07 13:04 845K 
[   ]scp91.pdf2001-09-10 18:37 322K 
[   ]scp05.ps2008-02-07 13:04 2.7M 
[   ]scp05.pdf2005-06-24 13:15 1.6M 
[   ]scp04_submission.ps2008-02-07 13:04 2.7M 
[   ]scp04_submission.pdf2004-07-30 23:24 1.6M 
[   ]scmc99.ps1999-11-11 11:12 291K 
[   ]savsr.pdf2009-03-24 17:00 232K 
[   ]sas97.ps2008-02-07 13:04 443K 
[   ]sas97.pdf2006-06-19 16:29 225K 
[   ]sas17.pdf2017-07-01 08:39 487K 
[   ]sas12-staalmarck.pdf2012-09-06 16:53 437K 
[   ]sas12-bilateral-alphahat.pdf2012-06-19 00:02 545K 
[   ]sas11.pdf2011-06-13 00:13 243K 
[   ]sas10.invited.pdf2010-06-21 18:24 439K 
[   ]sas08-mpost.pdf2008-03-28 12:30 276K 
[   ]sas08-lsr.pdf2008-03-31 08:23 316K 
[   ]sas07.projection.pdf2007-06-04 21:59 311K 
[   ]sas07.guided.pdf2007-06-04 22:03 237K 
[   ]sas06-recency.pdf2006-06-08 11:00 290K 
[   ]sas06-dsw.pdf2006-06-09 23:32 206K 
[   ]sas05.ps2005-06-10 22:48 299K 
[   ]sas05.pdf2005-06-10 11:11 198K 
[   ]sas04.suan.ps2004-09-08 10:27 395K 
[   ]sas04.suan.pdf2004-09-08 10:29 190K 
[   ]sas04.ps2004-05-30 17:10 390K 
[   ]sas04.pdf2004-05-30 17:19 243K 
[   ]sas03.ps2008-02-07 13:04 844K 
[   ]sas03.pdf2003-03-26 13:50 440K 
[   ]sas01.ps2004-10-06 15:07 354K 
[   ]sas01.pdf2008-09-30 17:23 181K 
[   ]rv02.ps2002-08-13 15:11 445K 
[   ]psde84.pdf2013-11-01 15:19 611K 
[   ]psda.ps1998-10-16 15:44 306K 
[   ]popl99.ps1998-11-05 14:05 652K 
[   ]popl99.pdf2001-09-10 18:27 357K 
[   ]popl97.ps1996-11-04 11:31 315K 
[   ]popl96.ps1995-10-21 00:15 542K 
[   ]popl96.pdf2001-09-10 18:34 328K 
[   ]popl95.ps2008-02-07 13:04 390K 
[   ]popl95.pdf2001-09-10 18:06 111K 
[   ]popl94.ps1997-07-30 17:49 171K 
[   ]popl94.pdf2001-09-10 18:29 76K 
[   ]popl93.ps2008-02-07 13:04 370K 
[   ]popl93-tutorial.pdf2013-09-28 17:35 930K 
[   ]popl88b.ps1995-05-15 14:11 196K 
[   ]popl88b.pdf2001-09-10 18:35 69K 
[   ]popl19main-p200-p-19591b3-39308-final.pdf2018-12-14 10:09 492K 
[   ]popl19main-p198-p-19591b3-39308-final.pdf2018-12-14 10:11 530K 
[   ]popl18.pdf2017-11-11 23:03 1.0M 
[   ]popl17.pdf2017-11-11 17:03 2.6M 
[   ]popl16.pdf2015-12-16 02:08 866K 
[   ]popl05_naao.ps2004-11-10 16:14 457K 
[   ]popl05_naao.pdf2004-11-10 16:14 211K 
[   ]popl05_asfplh.pdf2004-11-19 10:28 226K 
[   ]popl00.ps2008-02-07 13:04 633K 
[   ]pldi99.ps2004-12-01 09:37 5.0M 
[   ]pldi99.pdf2001-09-10 18:21 288K 
[   ]pldi98.ps2008-02-07 13:04 617K 
[   ]pldi98.pdf1998-06-01 15:03 200K 
[   ]pldi88.retrospective.ps2002-10-14 21:36 49K 
[   ]pldi88.retrospective.pdf2002-10-14 21:43 42K 
[   ]pldi20-unrealizability.pdf2020-05-25 11:00 415K 
[   ]pldi20-templates-and-recurrences.pdf2020-05-25 10:59 482K 
[   ]pldi20-graph-simplification.pdf2020-05-25 11:00 1.3M 
[   ]pldi18.pdf2018-04-16 17:22 847K 
[   ]pldi17.pdf2017-04-13 20:53 531K 
[   ]pldi15.pdf2015-08-21 10:47 872K 
[   ]pldi00.ps2000-04-13 11:49 391K 
[   ]pepm97.ps1997-04-08 15:12 955K 
[   ]pepm97.pdf2001-09-10 18:32 655K 
[   ]pepm95b.ps2008-02-07 13:04 200K 
[   ]pepm95b.pdf2001-09-10 18:29 88K 
[   ]pepm95a.ps2008-02-07 13:04 260K 
[   ]pepm95a.pdf2001-09-10 18:36 124K 
[   ]pepm06.invited.ps2005-12-28 11:22 521K 
[   ]pepm06.invited.pdf2005-12-28 11:25 335K 
[   ]pepm03.ps2004-01-14 11:40 431K 
[   ]pdpm95b.pdf2001-09-10 18:29 323  
[   ]paste99.ps1999-06-21 09:24 374K 
[   ]paste99.pdf2001-09-10 18:20 245K 
[   ]parametric.ps1998-08-24 21:24 888K 
[   ]paat_submission.pdf2013-02-04 15:53 454K 
[   ]opitz.zamm64.ps2000-04-18 10:15 80K 
[   ]oopslab23main-p481-p-cc8acfb179-70781-final.pdf2023-10-14 19:29 454K 
[   ]oopsla17.pdf2017-09-28 14:48 1.7M 
[   ]oopsla16-synthesis.pdf2016-08-23 12:03 1.0M 
[   ]oopsla16-slicing.pdf2016-08-23 11:58 1.4M 
[   ]oopsla15.pdf2015-08-21 10:13 847K 
[   ]oakland13.pdf2013-03-14 13:22 375K 
[   ]nsad10.pdf2010-08-02 13:57 289K 
[   ]nsad05.ps2005-04-13 15:38 160K 
[   ]nsad05.pdf2005-04-30 08:34 118K 
[   ]npfo.revision.ps1996-03-28 12:23 594K 
[   ]netys18.pdf2018-06-29 21:30 433K 
[   ]modular-pta.ps2008-02-07 13:04 318K 
[   ]mine_breck_reps_submission.pdf2015-10-18 11:00 652K 
[   ]manual.2.0.ps1995-08-03 11:37 211K 
[   ]loginov_thesis.pdf2006-08-24 03:57 1.5M 
[   ]ljigpal06.pdf2013-05-11 12:51 522K 
[   ]lim_thesis.pdf2011-05-12 10:04 2.0M 
[   ]lics02.ps2002-05-01 19:49 267K 
[   ]lics02.pdf2002-05-01 19:54 256K 
[   ]lal_thesis.pdf2009-08-01 13:36 1.9M 
[   ]kidd.dissertation.pdf2009-08-18 15:49 5.1M 
[   ]jlrs-toplas10.pdf2009-12-01 13:25 716K 
[   ]jamscript14_submission.pdf2014-03-17 10:55 562K 
[   ]jalg96.ps1996-03-28 10:15 318K 
[   ]jalg96.pdf2001-09-10 18:33 124K 
[   ]iwpc03.ps2003-05-22 12:27 196K 
[   ]issta00.ps2000-06-15 15:10 480K 
[   ]issta00.pdf2001-09-10 18:19 188K 
[   ]ipl94.ps2008-02-07 13:04 83K 
[   ]ipl94.pdf2001-09-10 18:37 69K 
[   ]informatik97.ps2008-02-07 13:04 185K 
[   ]informatik97.pdf2001-09-10 18:31 72K 
[   ]ilps97.ps2008-02-07 13:04 513K 
[   ]ilps97.large_font.ps2008-02-07 13:04 516K 
[   ]icsm97.ps1997-07-22 14:44 206K 
[   ]icsm97.pdf2001-09-10 18:31 269K 
[   ]icse92.ps1995-06-27 14:53 594K 
[   ]icse92.pdf2001-09-10 18:35 235K 
[   ]icse20.pdf2020-02-22 09:00 620K 
[   ]icse05.ps2005-02-01 10:21 313K 
[   ]icse05.pdf2005-02-01 10:21 196K 
[   ]icpsmc.pdf2009-02-21 10:01 208K 
[   ]icalp01.ps2001-06-22 11:23 475K 
[   ]icalp01.pdf2001-09-10 18:16 268K 
[   ]henkel-thesis.pdf2022-11-18 12:31 1.5M 
[   ]hcss14-final-version.pdf2014-05-02 11:29 127K 
[   ]harris_dissertation.pdf2015-01-16 10:41 1.2M 
[   ]gopan_thesis.pdf2007-08-10 15:41 1.3M 
[   ]fsttcs07.invited.pdf2007-09-18 06:07 391K 
[   ]fse99.ps1999-06-08 13:21 399K 
[   ]fse99.pdf2001-09-10 18:21 258K 
[   ]fse97.ps2008-02-07 13:04 330K 
[   ]fse97.pdf2001-09-10 18:32 138K 
[   ]fse96.ps1996-07-22 13:29 215K 
[   ]fse96.pdf2001-09-10 18:32 227K 
[   ]fse95b.ps2008-02-07 13:04 377K 
[   ]fse95b.pdf2001-09-10 18:35 182K 
[   ]fse95a.ps2008-02-07 12:59 357K 
[   ]fse95a.pdf2001-09-10 18:35 186K 
[   ]fse94.ps2008-02-07 13:04 300K 
[   ]fse94.pdf2001-09-10 18:29 161K 
[   ]fse18.pdf2018-11-27 17:55 335K 
[   ]fse17.pdf2017-07-10 09:30 621K 
[   ]fse14.pdf2014-10-25 12:32 1.1M 
[   ]fse11.pdf2011-07-05 10:34 251K 
[   ]fse03.ps2003-09-09 10:05 484K 
[   ]fmsd19.pdf2018-12-19 21:41 609K 
[   ]fmsd09.pdf2009-08-23 14:07 398K 
[   ]fm09.pdf2009-08-08 12:38 343K 
[   ]festschrift4444.pdf2006-12-18 11:07 324K 
[   ]fdflsa_submission.pdf2009-03-20 12:53 707K 
[   ]fdflsa_revision.pdf2009-08-30 10:26 765K 
[   ]fase02.ps2002-02-27 16:57 535K 
[   ]fase01.ps2001-03-15 10:04 357K 
[   ]fase01.pdf2001-09-10 18:18 162K 
[   ]etaps08.invited.pdf2008-02-01 04:57 351K 
[   ]esorics06.pdf2006-06-30 21:17 282K 
[   ]esop99_submission.ps1998-09-29 09:11 924K 
[   ]esop99.ps1999-01-02 14:46 864K 
[   ]esop99.pdf2001-09-10 18:23 277K 
[   ]esop16.pdf2016-01-10 20:41 452K 
[   ]esop03.FD.ps2003-01-13 17:41 490K 
[   ]esop03.FD.pdf2003-01-14 17:06 305K 
[   ]esop03.ETL.ps2003-01-19 23:40 1.2M 
[   ]esop03.ETL.pdf2003-01-30 12:45 396K 
[   ]esop02.ps2002-01-09 13:57 405K 
[   ]esop01.ps2001-03-15 09:48 313K 
[   ]esop01.pdf2001-09-10 18:18 101K 
[   ]esop01-demo.ps2001-06-19 05:02 191K 
[   ]esop01-demo.pdf2014-02-21 11:47 68K 
[   ]dvrttc_submission.ps2000-11-02 02:59 357K 
[   ]driscoll-thesis.pdf2013-08-30 16:27 1.1M 
[   ]diku-tr94-14.ps2008-02-07 13:04 1.1M 
[   ]diku-tr94-14.pdf2001-09-10 18:37 501K 
[   ]diku-topps-d212.ps2008-02-07 13:04 451K 
[   ]data-showcase-docker.pdf2020-07-21 14:08 410K 
[   ]dagstuhl96.ps1996-03-06 16:59 217K 
[   ]dagstuhl96.pdf2001-09-10 18:33 110K 
[   ]dagstuhl.sr88.ps1997-05-04 12:58 196K 
[   ]dag9810.ps1998-07-09 09:55 525K 
[   ]csfw03.ps2003-07-09 12:49 456K 
[   ]csfw03.pdf2003-07-09 12:50 231K 
[   ]csfw02.ps2002-04-16 13:05 392K 
[   ]csfw02.pdf2002-04-16 13:05 193K 
[   ]codeClonesWorkshop09.pdf2009-06-03 10:43 145K 
[   ]charme99.ps1999-06-27 11:21 412K 
[   ]charme99.pdf2001-09-10 18:20 265K 
[   ]ccs2010.pdf2010-07-29 22:50 491K 
[   ]cc2000.ps2000-01-11 10:02 284K 
[   ]cc2000.pdf2001-09-10 18:19 210K 
[   ]cc99.ps1999-01-04 14:16 823K 
[   ]cc99.pdf2001-09-10 18:22 703K 
[   ]cc94.ps1995-02-22 10:28 126K 
[   ]cc94.pdf2001-09-10 18:36 135K 
[   ]cc14.pdf2014-09-18 17:03 1.1M 
[   ]cc08.pdf2008-01-03 05:51 217K 
[   ]cc05-tool-demo.ps2005-01-19 21:49 276K 
[   ]cc05-tool-demo.pdf2005-01-21 08:59 83K 
[   ]cc04.ps2004-01-07 10:01 293K 
[   ]cc04.pdf2004-01-07 10:19 159K 
[   ]cc03.ps2003-02-13 08:41 2.1M 
[   ]cc03.pdf2003-02-02 18:50 769K 
[   ]cav17.pdf2017-11-11 16:53 550K 
[   ]cav14.pdf2014-05-18 09:43 384K 
[   ]cav10-tutorial.pdf2010-04-16 20:45 229K 
[   ]cav10-mcveto.pdf2010-04-16 22:41 343K 
[   ]cav08.pdf2008-04-16 08:58 209K 
[   ]cav07.summarization.pdf2007-04-20 19:11 115K 
[   ]cav07.revamping_tvla.pdf2007-04-08 11:05 47K 
[   ]cav07.linearizability.pdf2007-06-24 12:01 501K 
[   ]cav06-widening.pdf2006-06-02 14:34 205K 
[   ]cav06-fwpds.pdf2006-05-25 11:42 177K 
[   ]cav05-refinement.ps2005-04-28 17:26 686K 
[   ]cav05-refinement.pdf2005-04-28 17:27 212K 
[   ]cav05-ewpds.ps2005-04-29 21:47 360K 
[   ]cav05-ewpds.pdf2005-04-29 21:48 170K 
[   ]cav04.ps2004-05-03 04:31 328K 
[   ]cav04.pdf2004-05-03 04:34 147K 
[   ]cav04.invited.ps2004-04-30 12:42 366K 
[   ]cav04.invited.pdf2004-04-30 12:52 205K 
[   ]cade07.pdf2007-05-16 23:37 198K 
[   ]cade05.ps2005-05-20 14:57 181K 
[   ]cade05.pdf2005-05-20 14:55 156K 
[   ]bvi_submission.pdf2013-03-07 21:01 227K 
[   ]balakrishnan_thesis.pdf2007-08-21 17:09 1.5M 
[   ]avsdss05.ps2005-08-01 13:48 128K 
[   ]avsdss05.pdf2005-08-01 13:48 157K 
[   ]asplos11.pdf2011-01-06 09:40 1.1M 
[   ]aplas05.invited.ps2005-08-28 20:07 276K 
[   ]aplas05.invited.pdf2005-08-30 22:52 143K 
[   ]amast91.ps2014-08-05 23:15 183K 
[   ]amast91.pdf2014-08-05 23:15 53K 
[   ]ald94.ps2008-02-07 13:04 289K 
[   ]ald94.pdf2001-09-10 18:36 315K 
[   ]aiool05.ps2005-01-11 16:54 353K 
[   ]aiool05.pdf2005-04-30 08:51 201K 
[   ]acta96.ps1995-07-21 18:41 511K 
[   ]acta96.pdf2001-09-10 18:34 233K 
[   ]acta91.ps2004-06-22 18:03 316K 
[   ]acta02.ps2008-02-07 13:04 295K 
[   ]aadebug93.ps1995-08-17 15:06 330K 
[   ]TR1792-R1.pdf2014-02-08 14:25 1.0M 
[   ]TR1527.ps2005-08-18 12:10 324K 
[   ]TR1527.pdf2005-08-18 12:10 153K 
[   ]TR1526.ps2005-08-18 11:58 414K 
[   ]TR1526.pdf2005-08-18 11:02 213K 
[   ]TOPLAS-CFLOBDDs-with-DOI.pdf2024-03-02 17:29 2.5M 
[   ]TOPLAS-CFLOBDDs-R2.pdf2024-01-12 14:15 2.5M 
[   ]TOPLAS-CFLOBDDs-R1-corrected.pdf2023-12-13 11:38 2.3M 
[   ]TOPLAS-00057-2012-final.pdf2014-01-30 12:11 1.5M 
[   ]TOPLAS-00017-2013-Revision2.pdf2014-08-06 14:28 1.0M 
[   ]TOPLAS-00005-2016.R1.pdf2016-11-08 17:11 1.6M 
[   ]SpecSlicing-submission.pdf2012-10-27 16:39 1.7M 
[   ]STTT10.symbolic.pdf2010-03-10 22:16 471K 
[   ]STTT10.AS-serializability.pdf2010-03-13 17:50 1.0M 
[   ]STTT-sub-symbolic.pdf2009-11-01 21:20 459K 
[   ]STTT-sub-AS-serializability.pdf2009-11-01 19:42 931K 
[   ]STTT-random-isolation.pdf2011-04-06 17:31 542K 
[   ]STTT-random-isolation-revision.pdf2010-09-23 13:29 537K 
[   ]Kincaid2021_Chapter_AlgebraicProgramAnalysis.pdf2021-12-27 17:54 1.0M 
[   ]JLRS08_submission.pdf2008-05-19 16:39 575K 
[   ]JLRS08_revision1.pdf2008-11-29 11:34 621K 
[   ]JCS04.pdf2004-06-17 08:02 331K 
[   ]FMSD05.pdf2005-06-21 14:14 245K 
[   ]DAntoni2021_Chapter_ProgrammableProgramSynthesis.pdf2021-12-27 17:55 751K 
[IMG]CRBadgeNotableItem.jpg2017-07-08 01:00 24K 
[   ]CAV12-VPA.pdf2012-04-21 11:51 427K 
[   ]CAV12-Staalmarck.pdf2012-04-21 08:42 527K 
[   ]CAV12-OpenNWA.pdf2012-09-06 16:14 112K 
[   ]CAV12-JAM.pdf2012-04-20 16:30 472K 
[   ]CAV05-tool-demo.ps2005-04-28 23:15 132K 
[   ]CAV05-tool-demo.pdf2005-04-28 23:18 66K 
[   ]BL-0113590-990302-04.ps1999-04-07 18:56 553K 
[   ]BL-0113590-990302-04.pdf2001-09-10 18:21 362K 
[   ]BL-0113590-990202-03.ps1999-02-23 17:19 502K 
[   ]BL-0113590-990202-03.pdf2001-09-10 18:21 292K