Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
CS-TR-4514.pdf | 2004-01-19 10:50 | 319K | ||
Enerj-pldi2011.pdf | 2011-03-21 13:00 | 358K | ||
ICDE10.pdf | 2010-02-06 19:49 | 1.1M | ||
MacahIntroLCTES2008.pdf | 2008-02-25 22:57 | 524K | ||
SIGCSE2012.pdf | 2011-12-20 09:54 | 395K | ||
UW-CSE-12-04-01.pdf | 2012-04-16 16:51 | 2.1M | ||
_d3226cd01022776c176..> | 2016-08-04 15:07 | 16K | ||
analogy_oopsla07.pdf | 2007-07-21 11:22 | 112K | ||
aplwaca2010.pdf | 2010-05-23 22:02 | 146K | ||
asf_micro2010.pdf | 2010-09-14 21:29 | 321K | ||
asplos10-coredet.pdf | 2010-02-03 14:27 | 311K | ||
asplos11-rcdc.pdf | 2011-01-18 05:54 | 563K | ||
asplos14.pdf | 2014-01-09 13:38 | 325K | ||
asplos15.pdf | 2015-01-23 09:27 | 304K | ||
atomcaml_icfp.pdf | 2005-07-11 10:15 | 199K | ||
atomjava_mspc.pdf | 2006-09-26 17:02 | 416K | ||
atomjava_tr_may06.pdf | 2006-05-16 15:16 | 632K | ||
atomsfamily.pdf | 2007-10-31 13:15 | 185K | ||
atomsfamily_proofs.pdf | 2012-12-05 17:58 | 499K | ||
ccs2016.pdf | 2016-08-02 11:50 | 963K | ||
compile_rtcg.pdf | 2007-05-15 10:40 | 412K | ||
conga19-zorn-sinking..> | 2019-03-29 15:35 | 571K | ||
coord_types.pdf | 2004-07-16 14:46 | 226K | ||
coordinated_tldi05.pdf | 2007-05-15 12:30 | 216K | ||
coqpl15.pdf | 2015-04-23 11:48 | 75K | ||
cpp2020.pdf | 2020-01-16 09:44 | 815K | ||
cyc_mm_experience.pdf | 2004-05-18 09:20 | 633K | ||
cyclone-cuj.pdf | 2009-06-23 15:00 | 121K | ||
cyclone.pdf | 2003-08-12 15:14 | 183K | ||
cyclone_ismm04.pdf | 2004-09-29 10:42 | 631K | ||
cyclone_manual_tr_no..> | 2003-08-12 15:14 | 641K | ||
cyclone_memory.pdf | 2003-08-12 15:14 | 399K | ||
cyclone_regions.pdf | 2003-08-12 15:14 | 221K | ||
cyclone_regions_tr.pdf | 2003-08-12 15:15 | 407K | ||
cyclone_scp.pdf | 2005-12-10 21:59 | 335K | ||
cycthreads.pdf | 2003-08-12 15:15 | 194K | ||
dls12.pdf | 2012-08-17 15:27 | 375K | ||
ecoop13.pdf | 2013-04-23 09:38 | 260K | ||
ecoop18.pdf | 2018-07-30 08:58 | 843K | ||
ecoop2016.pdf | 2016-05-05 15:07 | 605K | ||
exists_imp.pdf | 2003-08-12 15:15 | 211K | ||
exists_imp_tr.pdf | 2003-08-12 15:15 | 148K | ||
fibpaper.pdf | 2017-09-21 10:22 | 400K | ||
format_string.pdf | 2007-05-15 10:57 | 132K | ||
fose14.pdf | 2014-03-09 15:27 | 1.7M | ||
grossmanSPAC_positio..> | 2010-09-17 11:01 | 145K | ||
grossman_thesis.pdf | 2003-08-12 15:16 | 1.3M | ||
hotpar10-lockpredict..> | 2010-04-26 10:16 | 104K | ||
icfp18.pdf | 2018-08-09 09:54 | 1.0M | ||
iorekpaper.pdf | 2017-08-24 09:07 | 550K | ||
itp19.pdf | 2019-09-09 12:02 | 507K | ||
jduck.pdf | 2003-08-12 15:16 | 121K | ||
machinelearning.jpg | 2015-09-30 14:29 | 8.4K | ||
mapl17.pdf | 2017-05-23 10:51 | 660K | ||
matching_icse07.pdf | 2007-02-05 19:47 | 154K | ||
memmodel_jul06.pdf | 2006-07-29 10:04 | 104K | ||
memmodel_mspc06.pdf | 2006-09-29 13:53 | 147K | ||
mspc2011.pdf | 2011-05-13 06:27 | 236K | ||
nita-cc08.pdf | 2008-02-02 10:16 | 362K | ||
oeuf2018.pdf | 2017-12-11 16:01 | 590K | ||
old/ | 2010-02-03 22:30 | - | ||
oopsla12-ifrit.pdf | 2012-08-06 09:10 | 515K | ||
oopsla13-ics.pdf | 2013-08-08 11:27 | 263K | ||
oopsla2010jsaspects.pdf | 2010-07-28 11:22 | 353K | ||
oopsla2010oshajava.pdf | 2010-07-28 11:36 | 412K | ||
oopsla2014.pdf | 2014-09-08 11:57 | 383K | ||
oopsla2015.pdf | 2015-09-02 15:57 | 246K | ||
oopsla2021.pdf | 2021-08-31 12:46 | 783K | ||
passert-pldi2014.pdf | 2014-03-29 10:06 | 423K | ||
pipl.pdf | 2003-08-12 15:16 | 198K | ||
pldi12.pdf | 2012-03-26 20:16 | 409K | ||
pldi13.pdf | 2013-04-05 12:23 | 281K | ||
pldi20.pdf | 2020-06-02 12:31 | 1.1M | ||
pldi21pumpkin.pdf | 2021-05-24 20:58 | 830K | ||
pldi21reticle.pdf | 2021-05-24 21:00 | 2.5M | ||
pldi2016.pdf | 2016-04-16 11:46 | 380K | ||
popl16.pdf | 2016-01-12 10:35 | 364K | ||
popl19.pdf | 2019-02-06 10:02 | 1.2M | ||
pumpkin2018.pdf | 2017-12-11 16:01 | 590K | ||
pure_causal_atomicit..> | 2008-04-08 17:42 | 248K | ||
pvldb14.pdf | 2014-01-09 13:45 | 334K | ||
qtil.pdf | 2005-04-18 11:38 | 438K | ||
radish_isca_2012.pdf | 2012-04-16 16:38 | 5.8M | ||
sci708s-morton.pdf | 2011-04-09 12:56 | 637K | ||
seminal_ml06.pdf | 2006-07-20 12:01 | 214K | ||
seminal_pldi07.pdf | 2007-06-15 15:33 | 398K | ||
sigmod10.pdf | 2010-03-25 14:55 | 1.7M | ||
sigmod_record2014.pdf | 2014-06-09 13:00 | 647K | ||
snapl15.pdf | 2015-04-20 10:12 | 7.7M | ||
snapl17_nandi.pdf | 2017-05-23 10:52 | 4.3M | ||
snapl17_toman.pdf | 2017-05-23 15:03 | 604K | ||
softxmt_hotpar2011.pdf | 2011-05-31 17:08 | 375K | ||
syntactic_abs.pdf | 2003-08-12 15:16 | 454K | ||
tal_scale.pdf | 2003-08-12 15:16 | 234K | ||
talx86-wcsss.pdf | 2003-08-12 15:16 | 149K | ||
tds-pldi2014.pdf | 2014-04-04 09:15 | 328K | ||
te_idioms.pdf | 2010-02-04 14:39 | 108K | ||
te_idioms_old.pdf | 2009-06-23 12:38 | 83K | ||
teml.pdf | 2008-07-08 21:37 | 204K | ||
tidlls.pdf | 2006-10-13 18:17 | 234K | ||
tldi12.pdf | 2011-12-12 15:46 | 146K | ||
tm_pldi07.pdf | 2007-04-03 14:56 | 221K | ||
toplas17.pdf | 2017-05-23 10:36 | 579K | ||
tpdlls.pdf | 2007-11-06 15:06 | 254K | ||
transact07moore_gros..> | 2007-07-01 17:06 | 146K | ||
transact2011.pdf | 2011-06-06 20:58 | 370K | ||
transactions_continu..> | 2007-08-26 20:12 | 183K | ||
wacas_autotune.pdf | 2014-02-20 14:58 | 214K | ||
wacas_infer.pdf | 2014-02-24 20:52 | 141K | ||
wax2015.pdf | 2015-09-02 16:03 | 149K | ||
wddd17.pdf | 2017-06-22 01:22 | 1.1M | ||
wodet13.pdf | 2013-04-09 18:43 | 272K | ||
wodet_meld.pdf | 2012-05-12 15:06 | 218K | ||