![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| 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 | |