Index of /trans-memory/biblio/bibhtml

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]chang_801_sosp_1987.html2006-04-18 13:02 892  
[TXT]hoare_monitors_cacm_1975.html2006-12-21 11:15 835  
[TXT]pizlo_lock-free-objects_2004.html2006-12-21 11:20 944  
[TXT]ennals_efficient-stm_tr_2006.html2006-12-21 11:20 861  
[TXT]hindman_atomicjava_2006.html2006-12-22 08:01 956  
[TXT]chung_commontmbehavior_hpca_2006.html2007-04-03 21:52 1.1K 
[TXT]grossman_gc-transactions-analogy_2006.html2007-12-27 21:58 1.0K 
[TXT]uoo_kicing_spaa_2008.html2009-12-09 17:29 1.1K 
[TXT]dragojevic_towards_spaa_2009.html2009-12-09 17:29 955  
[TXT]shriraman_tapping_login_2009.html2009-12-11 12:43 1.0K 
[TXT]adve_race-detection_isca_1991.html2011-03-28 21:17 1.1K 
[TXT]adve_tutorial_ieeecomputer_1996.html2011-03-28 21:17 961  
[TXT]adve_weak-ordering_isca_1990.html2011-03-28 21:17 1.0K 
[TXT]agrawal_deadlock-detection_sigmod_1983.html2011-03-28 21:17 932  
[TXT]allemany_nbs_podc_1992.html2011-03-28 21:17 1.0K 
[TXT]anderson_recovery-blocks-action_icse_1976.html2011-03-28 21:17 915  
[TXT]anderson_universalconstructons_tpds_1999.html2011-03-28 21:17 1.0K 
[TXT]attiya_wait-free-gap_jacm_1994.html2011-03-28 21:17 971  
[TXT]banatre_ftm-design_ftcs_1991.html2011-03-28 21:17 884  
[TXT]barnes_lock-free-method_spaa_1993.html2011-03-28 21:17 1.0K 
[TXT]bershad_practical-lock-free_tr_1991.html2011-03-28 21:17 864  
[TXT]blasgen_convoy-phenomenon_sigops-opsys_1979.html2011-03-28 21:17 964  
[TXT]bohannon_recoverable-mutex_spdp_1995.html2011-03-28 21:17 1.0K 
[TXT]chang_801_tocs_1988.html2011-03-28 21:17 936  
[TXT]eswaran_transaction-definition_cacm_1976.html2011-03-28 21:17 1.0K 
[TXT]flanagan_types-for-atomicity_tldi_2003.html2011-03-28 21:17 943  
[TXT]gharachorloo_memory-consistency_isca_1990.html2011-03-28 21:17 1.1K 
[TXT]gniady_sc++-lite_pact_2002.html2011-03-28 21:17 1.0K 
[TXT]gniady_sc++_isca_1999.html2011-03-28 21:17 945  
[TXT]gray_transaction-concept_vldb_1981.html2011-03-28 21:17 881  
[TXT]gray_turing-lecture_wisconsin_2000.html2011-03-28 21:17 815  
[TXT]gray_tx-book_1993.html2011-03-28 21:17 820  
[TXT]greenwald_nbs_thesis_1999.html2011-03-28 21:17 909  
[TXT]guerraoui_atomic-composition_ecoop_1994.html2011-03-28 21:17 889  
[TXT]guerraoui_nesting-actions-acs-protocol_ecoop_1992.html2011-03-28 21:17 1.0K 
[TXT]harris_practicalmwcas_dc_2002.html2011-03-28 21:17 1.0K 
[TXT]herlihy_axioms-objects_popl_1987.html2011-03-28 21:17 964  
[TXT]herlihy_linearizability_toplas_1990.html2011-03-28 21:17 1.0K 
[TXT]herlihy_method-highly-concurrent_toplas_1993.html2011-03-28 21:17 933  
[TXT]herlihy_transactional-memory_isca_1993.html2011-03-28 21:17 1.0K 
[TXT]herlihy_wait-free-results_podc_1988.html2011-03-28 21:17 1.0K 
[TXT]herlihy_wait-free-synch_toplas_1991.html2011-03-28 21:17 944  
[TXT]hill_simple-memory-models_ieeecomputer_1998.html2011-03-28 21:17 1.0K 
[TXT]hoare_monitors_cacm_1974.html2011-03-28 21:17 894  
[TXT]israeli_disjoint-access-parallel_podc_1994.html2011-03-28 21:17 1.0K 
[TXT]israeli_wait-free-priority-queue_wdag_1993.html2011-03-28 21:17 923  
[TXT]jensen_load-linked_tr_1987.html2011-03-28 21:17 890  
[TXT]johnson_lock-free-perf_ieee-tc_1995.html2011-03-28 21:17 910  
[TXT]knight_mostly-functional-lang_lisp-fp_1986.html2011-03-28 21:17 956  
[TXT]korth_formal_vldb_1990.html2011-03-28 21:17 1.0K 
[TXT]kung_occ_tds_1981.html2011-03-28 21:17 943  
[TXT]kuszmaul_transactionseverywhere_2003.html2011-03-28 21:17 944  
[TXT]lamport_concurrent-reading-writing_cacm_1977.html2011-03-28 21:17 930  
[TXT]lipton_reduction_cacm_1975.html2011-03-28 21:17 948  
[TXT]lomet_atomic-actions_ldrs_1977.html2011-03-28 21:17 904  
[TXT]lowell_rio-vista_sosp_1997.html2011-03-28 21:17 1.0K 
[TXT]martinez_spec-synch_asplos_2002.html2011-03-28 21:17 1.0K 
[TXT]massalin_lock-free-kernel_tr_1991.html2011-03-28 21:17 845  
[TXT]michael_concurrent-queues_podc_1996.html2011-03-28 21:17 1.0K 
[TXT]michael_locking-nonblocking_ipps_1997.html2011-03-28 21:17 1.3K 
[TXT]michael_preemption-safe-locking_jpdc_1998.html2011-03-28 21:17 962  
[TXT]moir_wait-free-transactions-mwcas_iwda_1997.html2011-03-28 21:17 885  
[TXT]muller_FTM-lessons_IEEETransRel_1996.html2011-03-28 21:17 1.0K 
[TXT]plakal_lamport-clocks_spaa_1998.html2011-03-28 21:17 1.1K 
[TXT]rajwar_sletlr_thesis_2002.html2011-03-28 21:17 913  
[TXT]rajwar_spec-lock-elision_micro_2001.html2011-03-28 21:17 1.0K 
[TXT]rajwar_transactional-lock-removal_asplos_2002.html2011-03-28 21:17 1.0K 
[TXT]reinhardt_kernel-support-wwt_usenix_1993.html2011-03-28 21:17 1.0K 
[TXT]rudys_transactional-rollback_dsn_2002.html2011-03-28 21:17 912  
[TXT]satyanarayanan_lvrm_acm-tcs_1994.html2011-03-28 21:17 1.0K 
[TXT]schoinas_fine-grain-access-control_asplos_1994.html2011-03-28 21:17 1.2K 
[TXT]shavit_software-transactional-memory_podc_1995.html2011-03-28 21:17 968  
[TXT]sorin_safetynet_isca_2002.html2011-03-28 21:17 1.2K 
[TXT]stone_oklahoma-update_ieee-pdt_1993.html2011-03-28 21:17 954  
[TXT]turek_lock-without-block_podc_1992.html2011-03-28 21:17 1.0K 
[TXT]valois_lock-free-ds_thesis_1995.html2011-03-28 21:17 789  
[TXT]valois_lock-free-lists_podc_1995.html2011-03-28 21:17 957  
[TXT]weihl_datadependent_podc_1983.html2011-03-28 21:17 1.0K 
[TXT]weihl_specification_sigplan_1983.html2011-03-28 21:17 1.0K 
[TXT]wing_verifying-concurrent-objects_jpdc_1993.html2011-03-28 21:17 923  
[TXT]xu_flight-data-recorder_isca_2003.html2011-03-28 21:17 1.1K 
[TXT]Aydonat_Serializability_transact_2008.html2011-03-28 21:17 1.0K 
[TXT]Baugh_An_transact_2007.html2011-03-28 21:17 1.0K 
[TXT]Cohen_Verification_transact_2008.html2011-03-28 21:17 1.0K 
[TXT]CrowlLLMN_tm-into-cpp_transact_2007.html2011-03-28 21:17 1.0K 
[TXT]DHS_CAR_STM_podc_2008.html2011-03-28 21:17 1.0K 
[TXT]Dragojevic_Dividing_transact_2008.html2011-03-28 21:17 1.0K 
[TXT]HerlihyLM_DSTM2_oopsla_2006.html2011-03-28 21:17 1.1K 
[TXT]Herlihy_Checkpoints_transact_2008.html2011-03-28 21:17 893  
[TXT]Herlihy_Dreadlocks_transact_2008.html2011-03-28 21:17 881  
[TXT]Liblit_2006_TR-OSL.html2011-03-28 21:17 914  
[TXT]Menon_Single_transact_2008.html2011-03-28 21:17 1.0K 
[TXT]Moir_The_transact_2008.html2011-03-28 21:17 1.0K 
[TXT]Riegel_Making_transact_2008.html2011-03-28 21:17 958  
[TXT]Spear_Inevitability_transact_2008.html2011-03-28 21:17 1.0K 
[TXT]Swift_OS_transact_2008.html2011-03-28 21:17 1.0K 
[TXT]Vallejo_Hybrid_transact_2008.html2011-03-28 21:17 1.0K 
[TXT]Volos_Pathological_transact_2008.html2011-03-28 21:17 1.0K 
[TXT]abadi_dynamic-separation_tr_2008.html2011-03-28 21:17 1.1K 
[TXT]abadi_model_concur_2008.html2011-03-28 21:17 1.0K 
[TXT]abadi_semantics_popl_2008.html2011-03-28 21:17 1.1K 
[TXT]adl-tabatabai_mcrtstm_pldi_2006.html2011-03-28 21:17 1.1K 
[TXT]adl_unlocking-concurrency_acmqueue_2006.html2011-03-28 21:17 1.1K 
[TXT]agrawal_memory-model-open-nest_mspc_2006.html2011-03-28 21:17 1.0K 
[TXT]agrawal_nested_ppopp_2008.html2011-03-28 21:17 1.1K 
[TXT]agrawal_nested_transact_2007.html2011-03-28 21:17 1.0K 
[TXT]ananian_flexstm_scool_2005.html2011-03-28 21:17 1.0K 
[TXT]ananian_unbounded-tm_hpca_2005.html2011-03-28 21:17 1.0K 
[TXT]ansari_advanced_europar_2008.html2011-03-28 21:17 1.2K 
[TXT]ansari_experiences.html2011-03-28 21:17 1.2K 
[TXT]ansari_leetm_ica3pp_2008.html2011-03-28 21:17 1.2K 
[TXT]avni_maintaining_sirocco_2008.html2011-03-28 21:17 1.1K 
[TXT]azul_optimistic-thread-concurrency_whitepaper_2006.html2011-03-28 21:17 890  
[TXT]baek_opentm_pact_2007.html2011-03-28 21:17 1.1K 
[TXT]bai_executor_nsf-nextgen_2007.html2011-03-28 21:17 1.1K 
[TXT]bai_keybased_ipdps_2007.html2011-03-28 21:17 1.2K 
[TXT]baugh_ufo-hybrid-tm_isca_2008.html2011-03-28 21:17 1.0K 
[TXT]beckman_verifying_oopsla_2008.html2011-03-28 21:17 1.1K 
[TXT]birgisson_tmi_ccs_2008.html2011-03-28 21:17 1.2K 
[TXT]black_equational-theory-transactions_fsttcs_2003.html2011-03-28 21:17 1.0K 
[TXT]blake_duplicating_wddd_2007.html2011-03-28 21:17 1.0K 
[TXT]blundell_atomicity-subtleties_cal_2006.html2011-03-28 21:17 1.0K 
[TXT]blundell_common-fast-utm_isca_2007.html2011-03-28 21:17 1.0K 
[TXT]blundell_deconstructing-transactions_wddd_2005.html2011-03-28 21:17 1.0K 
[TXT]blundell_unrestrictedtm_tr_2006.html2011-03-28 21:17 1.1K 
[TXT]bobba_pathologies_isca_2007.html2011-03-28 21:17 1.1K 
[TXT]bobba_tokentm_isca_2008.html2011-03-28 21:17 1.0K 
[TXT]bocchino_software_ppopp_2008.html2011-03-28 21:17 1.0K 
[TXT]boehm_foundations_pldi_2008.html2011-03-28 21:17 1.0K 
[TXT]cachopo_combining_icwe_2006.html2011-03-28 21:17 1.0K 
[TXT]cachopo_versioned_scool_2005.html2011-03-28 21:17 968  
[TXT]caominh_hybrid_isca_2007.html2011-03-28 21:17 1.1K 
[TXT]caominh_stamp_iiswc_2008.html2011-03-28 21:17 1.1K 
[TXT]carlstrom_atomos_pldi_2006.html2011-03-28 21:17 1.1K 
[TXT]carlstrom_executing-java-with-tm_scp_2006.html2011-03-28 21:17 1.4K 
[TXT]carlstrom_programming-with-transactional-memory_dissertation_2008.html2011-03-28 21:17 968  
[TXT]carlstrom_tcc-software-stack_wstmcs_2006.html2011-03-28 21:17 1.0K 
[TXT]carlstrom_transactional-collection-classes_ppopp_2007.html2011-03-28 21:17 1.0K 
[TXT]carlstrom_transactional-java_scool_2005.html2011-03-28 21:17 1.1K 
[TXT]carvalho_versioned-tm-fenix_sdddm_2008.html2011-03-28 21:17 1.3K 
[TXT]carvalho_versioned_sdddm_2008.html2011-03-28 21:17 1.0K 
[TXT]cascaval_software_cacm_2008.html2011-03-28 21:17 1.1K 
[TXT]ceze_bulkdisamb_isca_2006.html2011-03-28 21:17 1.0K 
[TXT]ceze_colorama_hpca_2007.html2011-03-28 21:17 1.0K 
[TXT]chafi_scalable-nonb-tm_hpca_2007.html2011-03-28 21:17 1.0K 
[TXT]chafi_tape_ics_2005.html2011-03-28 21:17 1.2K 
[TXT]cherem_inferring_pldi_2008.html2011-03-28 21:17 1.0K 
[TXT]chuang_ptm_asplos_2006.html2011-03-28 21:17 1.2K 
[TXT]chung_ased-TM_spaa_2008.html2011-03-28 21:17 1.1K 
[TXT]chung_common-case_hpca_2006.html2011-03-28 21:17 1.1K 
[TXT]chung_tcc-specjbb2000_wtw_2006.html2011-03-28 21:17 1.0K 
[TXT]chung_thread-safe-dbt_hpca_2008.html2011-03-28 21:17 972  
[TXT]chung_xtm_asplos_2006.html2011-03-28 21:17 1.2K 
[TXT]cohen_access-control_fast_2008.html2011-03-28 21:17 924  
[TXT]cohen_verification-non-xact-accesses_iccav_2008.html2011-03-28 21:17 1.1K 
[TXT]cohen_verifying-correctness_fmcad_2007.html2011-03-28 21:17 1.1K 
[TXT]cole_snapshots_csjp_2004.html2011-03-28 21:17 905  
[TXT]cunningham_keep_cc_2008.html2011-03-28 21:17 1.1K 
[TXT]dalessandro_libstm_transact_2007.html2011-03-28 21:17 1.1K 
[TXT]damronFLLMN_HyTM_asplos_2006.html2011-03-28 21:17 1.1K 
[TXT]dice_applications_transact_2008.html2011-03-28 21:17 1.1K 
[TXT]dice_tl1_transact_2006.html2011-03-28 21:17 1.0K 
[TXT]dice_tl2_disc_2006.html2011-03-28 21:17 1.1K 
[TXT]dice_understanding_cgo_2007.html2011-03-28 21:17 1.0K 
[TXT]ding_software_pldi_2007.html2011-03-28 21:17 1.1K 
[TXT]drepper_parallel_queue_2008.html2011-03-28 21:17 908  
[TXT]effingerdean_transactional_icfp_2008.html2011-03-28 21:17 1.0K 
[TXT]ellen_nonzero-indicators_podc_2007.html2011-03-28 21:17 1.2K 
[TXT]elmas_calculus_popl_2009.html2011-03-28 21:17 1.0K 
[TXT]elmas_goldilocks_pldi_2007.html2011-03-28 21:17 1.1K 
[TXT]ennals_efficient-stm_tr_2005.html2011-03-28 21:17 934  
[TXT]ennals_stm-nonobstruction_tr_2006.html2011-03-28 21:17 960  
[TXT]f_high_transact_2007.html2011-03-28 21:17 1.0K 
[TXT]felber_dynamic_ppopp_2008.html2011-03-28 21:17 1.1K 
[TXT]felber_transactifying_transact_2007.html2011-03-28 21:17 1.1K 
[TXT]ferri_hardware_sigarch_2007.html2011-03-28 21:17 1.1K 
[TXT]flanagan_type-system-atomicity_pldi_2003.html2011-03-28 21:17 1.0K 
[TXT]fraser_concurrent_tocs_2007.html2011-03-28 21:17 1.0K 
[TXT]fraser_practical_thesis_2003.html2011-03-28 21:17 852  
[TXT]gniady_sc++-lite_jilp_2003.html2011-03-28 21:17 910  
[TXT]gottschlich_dracostm-cm_epham_2008.html2011-03-28 21:17 1.0K 
[TXT]gottschlich_dracostm_lcsd_2007.html2011-03-28 21:17 1.0K 
[TXT]gottschlich_icooolps_2008.html2011-03-28 21:17 1.1K 
[TXT]gramoli_input-acceptance_pods_2008.html2011-03-28 21:17 1.1K 
[TXT]grossman_analogy_oopsla_2007.html2011-03-28 21:17 1.0K 
[TXT]grossman_memmodel_mspc_2006.html2011-03-28 21:17 1.1K 
[TXT]guerraoui_completeness_concur_2008.html2011-03-28 21:17 1.1K 
[TXT]guerraoui_correctness-TM_PPoPP_2008.html2011-03-28 21:17 1.0K 
[TXT]guerraoui_on_spaa_2008.html2011-03-28 21:17 1.0K 
[TXT]guerraoui_permissiveness_disc_2008.html2011-03-28 21:17 1.1K 
[TXT]guerraoui_polymorphic-contention-mgmt_disc_2005.html2011-03-28 21:17 1.1K 
[TXT]guerraoui_robust-contention-management_scool_2005.html2011-03-28 21:17 1.1K 
[TXT]guerraoui_theory-transaction-contention-mgmt_podc_2005.html2011-03-28 21:17 1.1K 
[TXT]guerrraoui_stmbench7_eurosys_2007.html2011-03-28 21:17 1.0K 
[TXT]halpert_component-based-lock_pact_2007.html2011-03-28 21:17 1.1K 
[TXT]hammond_tcc-programming_asplos_2004.html2011-03-28 21:17 1.2K 
[TXT]hammond_tcc_ieee-micro_2004.html2011-03-28 21:17 1.0K 
[TXT]hammond_tcc_isca_2004.html2011-03-28 21:17 1.1K 
[TXT]harris_abstract_transact_2007.html2011-03-28 21:17 1.0K 
[TXT]harris_bartokstm_pldi_2006.html2011-03-28 21:17 1.0K 
[TXT]harris_composable_cacm_2008.html2011-03-28 21:17 1.0K 
[TXT]harris_composable_ppopp_2005.html2011-03-28 21:17 1.0K 
[TXT]harris_exceptions_csjp_2004.html2011-03-28 21:17 1.0K 
[TXT]harris_revocable_ppopp_2005.html2011-03-28 21:17 1.0K 
[TXT]harris_transactional_transact_2006.html2011-03-28 21:17 1.0K 
[TXT]harris_transactions_oopsla_2003.html2011-03-28 21:17 958  
[TXT]herlihy_obstruction_icdcs_2003.html2011-03-28 21:17 954  
[TXT]herlihy_stm-dynamic_podc_2003.html2011-03-28 21:17 1.1K 
[TXT]herlihy_transactional_ppopp_2008.html2011-03-28 21:17 1.1K 
[TXT]herlihyshavit_art.html2011-03-28 21:17 786  
[TXT]hicks_lock-inference-atomic-regions_2006.html2011-03-28 21:17 1.0K 
[TXT]hill_deconstructing-htm_tr_2007.html2011-03-28 21:17 1.1K 
[TXT]hill_keynote_vldb_2008.html2011-03-28 21:17 799  
[TXT]hindman_source-to-source_mspc_2006.html2011-03-28 21:17 1.0K 
[TXT]hindman_strong_tr_2006.html2011-03-28 21:17 907  
[TXT]hofmann_solving_transact_2007.html2011-03-28 21:17 1.1K 
[TXT]hu_verified_tfp_2008.html2011-03-28 21:17 940  
[TXT]hudson_mcrt-malloc_ismm_2006.html2011-03-28 21:17 1.0K 
[TXT]isard_automatic_hotos_2007.html2011-03-28 21:17 944  
[TXT]jagannathan_transactional-object-calculus_scp_2005.html2011-03-28 21:17 1.1K 
[TXT]jagannathan_transactions-coordination-languages_iccml_2004.html2011-03-28 21:17 1.2K 
[TXT]johnson_transactions-enhance-parallel_lcpc_2006.html2011-03-28 21:17 1.0K 
[TXT]jones_atomic-manifesto_sigmodr_2005.html2011-03-28 21:17 1.1K 
[TXT]jones_atomic-manifesto_sigopsr_2005.html2011-03-28 21:17 1.1K 
[TXT]kachris_configurable-transactional-memory_fccm_2007.html2011-03-28 21:17 1.0K 
[TXT]khan_first_spaa_2008.html2011-03-28 21:17 1.0K 
[TXT]khan_object_hpcc_2008.html2011-03-28 21:17 1.1K 
[TXT]kimball_transactions-continuations_scheme_2007.html2011-03-28 21:17 1.0K 
[TXT]koskinen_checkpoints_spaa_2008.html2011-03-28 21:17 1.1K 
[TXT]koskinen_dreadlocks_spaa_2008.html2011-03-28 21:17 1.0K 
[TXT]kotselidis_distm_icpp_2008.html2011-03-28 21:17 1.1K 
[TXT]kotselidis_investigating_ipdps_2008.html2011-03-28 21:17 1.1K 
[TXT]kozyrakis_atlas_warfp_2005.html2011-03-28 21:17 1.0K 
[TXT]kulkarni_optimistic_pldi_2007.html2011-03-28 21:17 1.1K 
[TXT]kulkarni_scheduling_spaa_2008.html2011-03-28 21:17 1.2K 
[TXT]kumar_atomic-vectors_isca_2008.html2011-03-28 21:17 1.1K 
[TXT]kumar_hybridtm_ppopp_2006.html2011-03-28 21:17 1.0K 
[TXT]lam_concurrent_damp_2007.html2011-03-28 21:17 1.1K 
[TXT]larus_tm-overview_cacm_2008.html2011-03-28 21:17 924  
[TXT]larus_tmbook_mcp_2006.html2011-03-28 21:17 866  
[TXT]lev-maessen_spht_ppopp_2008.html2011-03-28 21:17 1.2K 
[TXT]levMN_PhTM_transact_2007.html2011-03-28 21:17 922  
[TXT]lev_debugging-tm_2006.html2011-03-28 21:17 910  
[TXT]lev_fastreadsharing_podc_2004.html2011-03-28 21:17 952  
[TXT]lev_phtm_transact_2007.html2011-03-28 21:17 1.0K 
[TXT]lev_track-object-visibility_2005.html2011-03-28 21:17 1.0K 
[TXT]lie_utm_thesis_2004.html2011-03-28 21:17 891  
[TXT]liu_coqa_cc_2008.html2011-03-28 21:17 972  
[TXT]liu_hardware_hpcc_2007.html2011-03-28 21:17 1.0K 
[TXT]lourenco_testing-stm_padtad_2007.html2011-03-28 21:17 1.2K 
[TXT]luchangco_against_spaa_2008.html2011-03-28 21:17 1.0K 
[TXT]luchangco_transaction_scool_2005.html2011-03-28 21:17 950  
[TXT]lucia_atomaid_isca_2008.html2011-03-28 21:17 1.1K 
[TXT]lupon_version_medea_2008.html2011-03-28 21:17 1.0K 
[TXT]manassiev_cluster-tm_2006.html2011-03-28 21:17 1.0K 
[TXT]manovit_testing-transactional-memory_pact_2006.html2011-03-28 21:17 1.2K 
[TXT]manson_java-memory-model_popl_2005.html2011-03-28 21:17 1.0K 
[TXT]manson_preemptible_rtss_2005.html2011-03-28 21:17 1.0K 
[TXT]marathe_astm_disc_2005.html2011-03-28 21:17 1.1K 
[TXT]marathe_rstm_tr_2006.html2011-03-28 21:17 1.1K 
[TXT]marathe_rstm_transact_2006.html2011-03-28 21:17 1.2K 
[TXT]marathe_scalable_icpp_2008.html2011-03-28 21:17 1.1K 
[TXT]marathe_stm-survey_urcs-tr_2004.html2011-03-28 21:17 1.0K 
[TXT]marathe_stm-tradeoffs_lcr_2004.html2011-03-28 21:17 1.1K 
[TXT]marathe_toward_ppopp_2008.html2011-03-28 21:17 1.1K 
[TXT]marathe_transactionsafe_disc_2007.html2011-03-28 21:17 1.2K 
[TXT]marathe_wstm-poster_podc_2005.html2011-03-28 21:17 1.0K 
[TXT]mccloskey_autolocker_2006.html2011-03-28 21:17 1.0K 
[TXT]mcdonald_htm-semantics_isca_2006.html2011-03-28 21:17 946  
[TXT]mcdonald_hwsw-interface_micro_2007.html2011-03-28 21:17 1.0K 
[TXT]mcdonald_tcc-characterization_pact_2005.html2011-03-28 21:17 1.1K 
[TXT]mcgachey_concurrent_pppopp_2008.html2011-03-28 21:17 1.1K 
[TXT]menon_practical_spaa_2008.html2011-03-28 21:17 1.1K 
[TXT]michael_hazard-pointers_tpds_2004.html2011-03-28 21:17 970  
[TXT]michael_lock-free-malloc_pldi_2004.html2011-03-28 21:17 959  
[TXT]milovanovic_multithreaded_medea_2007.html2011-03-28 21:17 1.1K 
[TXT]moir_hybrid-transactional-memory_manuscript_2005.html2011-03-28 21:17 892  
[TXT]moir_technical.html2011-03-28 21:17 932  
[TXT]moore_logtm_hpca_2006.html2011-03-28 21:17 1.0K 
[TXT]moore_tltm_affiliates_2004.html2011-03-28 21:17 876  
[TXT]moore_transactional-semantics_popl_2008.html2011-03-28 21:17 1.0K 
[TXT]moore_ttm_tr_2005.html2011-03-28 21:17 1.0K 
[TXT]moravan_nested-logtm_asplos_2006.html2011-03-28 21:17 1.3K 
[TXT]moreshet_energy_islped_2005.html2011-03-28 21:17 1.1K 
[TXT]moss_nestedtm_scp_2006.html2011-03-28 21:17 922  
[TXT]moss_open-nested-trans-mem_wmpi_2006.html2011-03-28 21:17 921  
[TXT]mss_dynamic-identification-tm_tel-aviv_2007.html2011-03-28 21:17 1.0K 
[TXT]navabi_quasi_ppopp_2008.html2011-03-28 21:17 1.0K 
[TXT]neelakantam_atomicity-speculation_isca_2007.html2011-03-28 21:17 1.1K 
[TXT]ni_design_oopsla_2008.html2011-03-28 21:17 1.3K 
[TXT]ni_open_ppopp_2007.html2011-03-28 21:17 1.1K 
[TXT]njoroge_atlas-on-xup_warfp_2006.html2011-03-28 21:17 1.1K 
[TXT]njoroge_atlas-tm_date_2007.html2011-03-28 21:17 1.0K 
[TXT]oleary_model_podc_2008.html2011-03-28 21:17 1.1K 
[TXT]olszewski_judostm_pact_2007.html2011-03-28 21:17 1.1K 
[TXT]perfumo_dissecting_transact_2007.html2011-03-28 21:17 1.1K 
[TXT]perfumo_limits_cf_2008.html2011-03-28 21:17 1.2K 
[TXT]pizlo_lock-free-objects_csjp_2004.html2011-03-28 21:17 1.1K 
[TXT]poe_analytical-models-htm_sbac_2008.html2011-03-28 21:17 1.2K 
[TXT]porter_optimism-warranted_hotos_2007.html2011-03-28 21:17 1.0K 
[TXT]pugsley_scalable_pact_2008.html2011-03-28 21:17 1.1K 
[TXT]rajwar_te-db_hpts_2003.html2011-03-28 21:17 1.0K 
[TXT]rajwar_te_ieee-micro_2003.html2011-03-28 21:17 1.0K 
[TXT]rajwar_vtm_isca_2005.html2011-03-28 21:17 1.0K 
[TXT]ramadan_dependence-tm_micro_2008.html2011-03-28 21:17 1.0K 
[TXT]ramadan_metatm-txlinux_isca_2007.html2011-03-28 21:17 1.2K 
[TXT]renggli_transactional_icdl_2007.html2011-03-28 21:17 1.0K 
[TXT]riegel_automatic_spaa_2008.html2011-03-28 21:17 1.1K 
[TXT]riegel_from_podc_2007.html2011-03-28 21:17 1.1K 
[TXT]riegel_lsa_disc_2006.html2011-03-28 21:17 1.2K 
[TXT]riegel_lsart_spaa_2007.html2011-03-28 21:17 1.0K 
[TXT]riegel_sistm_transact_2006.html2011-03-28 21:17 1.0K 
[TXT]riley_python-htm_dls_2006.html2011-03-28 21:17 955  
[TXT]ringenburg_atomcaml_icfp_2005.html2011-03-28 21:17 1.0K 
[TXT]romano_towards_ladis_2008.html2011-03-28 21:17 1.0K 
[TXT]rossbach_txlinux.html2011-03-28 21:17 1.1K 
[TXT]rossbach_txlinux_sosp_2007.html2011-03-28 21:17 1.3K 
[TXT]rui_logspotm_acsac_2008.html2011-03-28 21:17 1.0K 
[TXT]saha_enabling_eurosys_2007.html2011-03-28 21:17 1.2K 
[TXT]saha_hastm_micro_2006.html2011-03-28 21:17 1.0K 
[TXT]saha_mcrtstm2_popl_2006.html2011-03-28 21:17 1.1K 
[TXT]sanchez_implementing-signatures-tm_micro_2007.html2011-03-28 21:17 1.1K 
[TXT]scherer_adv-contention-mgmt_podc_2005.html2011-03-28 21:17 1.0K 
[TXT]scherer_contention-mgmt_csjp_2004.html2011-03-28 21:17 1.2K 
[TXT]scherer_dual-data-structures_disc_2004.html2011-03-28 21:17 1.0K 
[TXT]scherer_exchanger_scool_2005.html2011-03-28 21:17 1.1K 
[TXT]scherer_random-cm-poster_podc_2005.html2011-03-28 21:17 1.1K 
[TXT]scherer_synchronousqueue_ppopp_2006.html2011-03-28 21:17 1.0K 
[TXT]schneider_dynamic_oopsla_2008.html2011-03-28 21:17 1.1K 
[TXT]scott_delaunay-priv_podc_2007.html2011-03-28 21:17 1.1K 
[TXT]scott_delaunay_iiswc_2007.html2011-03-28 21:17 1.0K 
[TXT]scott_semantics_transact_2006.html2011-03-28 21:17 1.0K 
[TXT]scott_sequential-spec_2006.html2011-03-28 21:17 1.0K 
[TXT]seeram_rstm-multicore_pact_2007.html2011-03-28 21:17 1.1K 
[TXT]shinnar_integrating_tr_2004.html2011-03-28 21:17 914  
[TXT]shpeisman_transactions-isolation_pldi_2007.html2011-03-28 21:17 1.1K 
[TXT]shriraman_flextm_isca_2008.html2011-03-28 21:17 1.0K 
[TXT]shriraman_rtm_isca_2007.html2011-03-28 21:17 1.1K 
[TXT]shriraman_rtm_tr_2006.html2011-03-28 21:17 1.2K 
[TXT]shriraman_rtm_transact_2006.html2011-03-28 21:17 1.3K 
[TXT]singh_higher_transact_2006.html2011-03-28 21:17 951  
[TXT]singh_modelchecking-tm_pldi_2008.html2011-03-28 21:17 1.0K 
[TXT]singh_nondeterminism-mctm_concur_2008.html2011-03-28 21:17 1.0K 
[TXT]singh_permissiveness-tm_disc_2008.html2011-03-28 21:17 923  
[TXT]skare_early-release_wtw_2006.html2011-03-28 21:17 922  
[TXT]smaragdakis_transactions_oopsla_2007.html2011-03-28 21:17 1.1K 
[TXT]sonmez_unreadtvar_tfp_2007.html2011-03-28 21:17 1.0K 
[TXT]spear_AOU-poster_ppopp_2007.html2011-03-28 21:17 1.1K 
[TXT]spear_aou_spaa_2007.html2011-03-28 21:17 1.1K 
[TXT]spear_conflict_disc_2006.html2011-03-28 21:17 1.0K 
[TXT]spear_implementing_icpp_2008.html2011-03-28 21:17 1.1K 
[TXT]spear_ordering_opodis_2008.html2011-03-28 21:17 1.2K 
[TXT]spear_privitization_podc_2007.html2011-03-28 21:17 1.2K 
[TXT]spear_ringstm_spaa_2008.html2011-03-28 21:17 1.1K 
[TXT]spear_transactional_podc_2008.html2011-03-28 21:17 1.2K 
[TXT]tabbaWGM_NZTM_transact_2007.html2011-03-28 21:17 968  
[TXT]tasiran_compositional_msrtr_2008.html2011-03-28 21:17 955  
[TXT]titos_characterization_pdp_2008.html2011-03-28 21:17 1.1K 
[TXT]titos_dir-conflict-detection_hipc_2008.html2011-03-28 21:17 1.1K 
[TXT]tremblay_rock-htm_podc_2007.html2011-03-28 21:17 826  
[TXT]tuck_softsig_asplos_2008.html2011-03-28 21:17 1.1K 
[TXT]vitek_designer-transactions_esp_2004.html2011-03-28 21:17 1.2K 
[TXT]vonpraun_implicit_ppopp_2007.html2011-03-28 21:17 1.1K 
[TXT]vonpraun_modeling_ppopp_2008.html2011-03-28 21:17 1.0K 
[TXT]waliullah_intermediate-checkpointing_ipdps_2008.html2011-03-28 21:17 1.0K 
[TXT]waliullah_starvation-free_euro-par_2007.html2011-03-28 21:17 1.1K 
[TXT]wang_code_cgo_2007.html2011-03-28 21:17 1.0K 
[TXT]wang_software_hpcc_2008.html2011-03-28 21:17 1.0K 
[TXT]wang_supporting_cc_2008.html2011-03-28 21:17 1.0K 
[TXT]watson_study_pact_2007.html2011-03-28 21:17 1.1K 
[TXT]wee_atlas_FPGA_2007.html2011-03-28 21:17 1.2K 
[TXT]welc_irrevocable_spaa_2008.html2011-03-28 21:17 1.0K 
[TXT]welc_preemption-avoidance-java_icpp_2004.html2011-03-28 21:17 1.1K 
[TXT]welc_revocation_ccpe_2006.html2011-03-28 21:17 1.1K 
[TXT]welc_transactional-monitors_ecoop_2004.html2011-03-28 21:17 1.2K 
[TXT]welc_transactions-java-locks_ecoop_2006.html2011-03-28 21:17 1.0K 
[TXT]xu_serializability-violation-detector_pldi_2005.html2011-03-28 21:17 1.1K 
[TXT]yen_logtm-se_hpca_2007.html2011-03-28 21:17 1.2K 
[TXT]yen_notary-signatures_micro_2008.html2011-03-28 21:17 1.0K 
[TXT]ying_dynamic_wbia_2006.html2011-03-28 21:17 858  
[TXT]yoo_adaptive_spaa_2008.html2011-03-28 21:17 1.0K 
[TXT]yoo_kicing_spaa_2008.html2011-03-28 21:17 1.1K 
[TXT]zhang_commit_spaa_2008.html2011-03-28 21:17 1.0K 
[TXT]zhang_language_pact_2007.html2011-03-28 21:17 1.0K 
[TXT]ziarek_stabilizers_icfp_2006.html2011-03-28 21:17 1.1K 
[TXT]ziarek_uniform_ecoop_2008.html2011-03-28 21:17 1.2K 
[TXT]zilles_htm-nonbusy-wait_transact_2006.html2011-03-28 21:17 1.1K 
[TXT]zilles_implications_iiswc_2007.html2011-03-28 21:17 1.0K 
[TXT]zilles_transactional_spaa_2007.html2011-03-28 21:17 1.1K 
[TXT]zilles_xact-isolation_wddd_2005.html2011-03-28 21:17 1.0K 
[TXT]zyulkyarov_wormbench_medea_2008.html2011-03-28 21:17 1.1K 
[TXT]abadi_implementation_cc_2009.html2011-03-28 21:17 1.1K 
[TXT]abadi_model_popl_2009.html2011-03-28 21:17 1.0K 
[TXT]abadi_perspectives_concur_2009.html2011-03-28 21:17 878  
[TXT]abadi_transactional_ppopp_2009.html2011-03-28 21:17 1.1K 
[TXT]adltabatabai_exceptions_hotpar_2009.html2011-03-28 21:17 1.1K 
[TXT]afek_interrupting_disc_2009.html2011-03-28 21:17 910  
[TXT]agrawal_safe_ppopp_2009.html2011-03-28 21:17 1.0K 
[TXT]ahn_bulkcompiler_micro_2009.html2011-03-28 21:17 1.1K 
[TXT]anastopoulos_early_mtaap_2009.html2011-03-28 21:17 1.1K 
[TXT]ansari_investigating_multiprog_2009.html2011-03-28 21:17 1.1K 
[TXT]ansari_profiling_pdp_2009.html2011-03-28 21:17 1.2K 
[TXT]ansari_stealonabort_hipeac_2009.html2011-03-28 21:17 1.3K 
[TXT]attiya_inherent_spaa_2009.html2011-03-28 21:17 1.1K 
[TXT]attiya_inherent_transact_2009.html2011-03-28 21:17 956  
[TXT]attiya_transactional_disc_2009.html2011-03-28 21:17 918  
[TXT]aydonat_hardware_transact_2009.html2011-03-28 21:17 1.0K 
[TXT]baldassin_lightweight_hotpar_2009.html2011-03-28 21:17 962  
[TXT]berger_grace_oopsla_2009.html2011-03-28 21:17 1.0K 
[TXT]bieniusa_decentralized-stm_ipdps_2010.html2011-03-28 21:17 1.0K 
[TXT]bieniusa_proving-stm-isolation_esop_2011.html2011-03-28 21:17 1.1K 
[TXT]birgisson_implementation_plas_2009.html2011-03-28 21:17 1.1K 
[TXT]blakeg_proactive-tx-scheduling_micro_2009.html2011-03-28 21:17 1.2K 
[TXT]blundell_invisifence_isca_2009.html2011-03-28 21:17 1.1K 
[TXT]bobba_stealthtest_pact_2009.html2011-03-28 21:17 1.1K 
[TXT]boehm_threads_2009.html2011-03-28 21:17 887  
[TXT]boehm_transactional_hotpar_2009.html2011-03-28 21:17 970  
[TXT]bronson_feedback_popl_2009.html2011-03-28 21:17 1.1K 
[TXT]chaudhry_rock_ieeemicro_2009.html2011-03-28 21:17 1.0K 
[TXT]chaudhry_simultaneous_isca_2009.html2011-03-28 21:17 1.1K 
[TXT]chung_fast_ics_2009.html2011-03-28 21:17 1.0K 
[TXT]couceiro_d2stm_prdc_2009.html2011-03-28 21:17 1.0K 
[TXT]dalessandro_norec_ppopp_2010.html2011-03-28 21:17 1.0K 
[TXT]dalessandro_strong_transact_2009.html2011-03-28 21:17 928  
[TXT]dash_software_ppopp_2009.html2011-03-28 21:17 1.0K 
[TXT]detlefs_transacting_transact_2009.html2011-03-28 21:17 1.0K 
[TXT]dias_unifying_europar_2009.html2011-03-28 21:17 894  
[TXT]dice_rock-htm_asplos_2009.html2011-03-28 21:17 1.1K 
[TXT]dice_tlrw_transact_2009.html2011-03-28 21:17 924  
[TXT]dragojevic_optimizing_spaa_2009.html2011-03-28 21:17 930  
[TXT]dragojevic_preventing_podc_2009.html2011-03-28 21:17 970  
[TXT]dragojevic_stretching_pldi_2009.html2011-03-28 21:17 1.1K 
[TXT]dudnik_condition_transact_2009.html2011-03-28 21:17 957  
[TXT]eidenbenz_good_spaa_2009.html2011-03-28 21:17 957  
[TXT]fahmy_response_sac_2009.html2011-03-28 21:17 1.0K 
[TXT]felber_elastic-transactions_disc_2009.html2011-03-28 21:17 1.0K 
[TXT]felber_elastic_disc_2009.html2011-03-28 21:17 951  
[TXT]gajinov_quaketm_ics_2009.html2011-03-28 21:17 1.1K 
[TXT]gottschlich_efficient_icooolps_2009.html2011-03-28 21:17 1.2K 
[TXT]gramoli_input-acceptance_ppl_2010.html2011-03-28 21:17 1.0K 
[TXT]guerraoui_semantics_popl_2009.html2011-03-28 21:17 1.1K 
[TXT]gupta_using_ipdps_2009.html2011-03-28 21:17 970  
[TXT]harmanci_XTMtestbed_jpdc_2010.html2011-03-28 21:17 1.0K 
[TXT]harmanci_tmunit_transact_2009.html2011-03-28 21:17 1.0K 
[TXT]he_on_hpcc_2009.html2011-03-28 21:17 1.0K 
[TXT]heindl_transaction-modeling-framework_comnet_2009.html2011-03-28 21:17 1.0K 
[TXT]heindl_transaction-modeling-lazy-locking_asmta_2009.html2011-03-28 21:17 1.0K 
[TXT]heindl_transaction-modeling-optimistic-stm_ispass_2009.html2011-03-28 21:17 1.0K 
[TXT]heindl_transaction-modeling-tool_simutools_2009.html2011-03-28 21:17 927  
[TXT]herlihy_tmdb_pact_2009.html2011-03-28 21:17 1.0K 
[TXT]hoffman_maximum-benefit-minimal-htm_asplos_2009.html2011-03-28 21:17 1.1K 
[TXT]hossain_ddcache_pact_2009.html2011-03-28 21:17 954  
[TXT]hughes_tm-workload-analysis_iiswc_2009.html2011-03-28 21:17 1.0K 
[TXT]imbs_virtual_podc_2009.html2011-03-28 21:17 1.0K 
[TXT]kang_efficient_ppopp_2009.html2011-03-28 21:17 1.1K 
[TXT]kestor_rms_transact_2009.html2011-03-28 21:17 1.0K 
[TXT]korland_noninvasive_systor_2009.html2011-03-28 21:17 965  
[TXT]koskinen_coarse_popl_2010.html2011-03-28 21:17 917  
[TXT]koskinen_concurrent_podc_2009.html2011-03-28 21:17 917  
[TXT]koskinen_concurrent_transact_2009.html2011-03-28 21:17 880  
[TXT]lev_anatomy_transact_2009.html2011-03-28 21:17 1.0K 
[TXT]lev_scalable_spaa_2009.html2011-03-28 21:17 970  
[TXT]lourenco_understanding_padtad_2009.html2011-03-28 21:17 1.0K 
[TXT]lupon_fastm_pact_2009.html2011-03-28 21:17 965  
[TXT]lupon_fastsm-ext_pact_2009.html2011-03-28 21:17 970  
[TXT]mankin_software_lctes_2009.html2011-03-28 21:17 1.0K 
[TXT]mehrara_parallelizing_pldi_2009.html2011-03-28 21:17 1.1K 
[TXT]mizuno_reducing_europar_2009.html2011-03-28 21:17 927  
[TXT]nikas_employing_icpp_2009.html2011-03-28 21:17 1.0K 
[TXT]noel_xstm_c3s2e_2010.html2011-03-28 21:17 1.1K 
[TXT]oancea_lightweight_spaa_2009.html2011-03-28 21:17 943  
[TXT]oleary_model_icdcs_2009.html2011-03-28 21:17 911  
[TXT]palmieri_aggro-stm-replication_ieee-ncs_2010.html2011-03-28 21:17 1.1K 
[TXT]palmieri_replication-schemes_ipdpsw_2010.html2011-03-28 21:17 1.1K 
[TXT]pankratius_doestmwork.html2011-03-28 21:17 925  
[TXT]pant_a_transact_2009.html2011-03-28 21:17 952  
[TXT]pant_extending_cf_2009.html2011-03-28 21:17 1.0K 
[TXT]pant_limited_ics_2009.html2011-03-28 21:17 1.0K 
[TXT]perelman_avoiding_spaa_2009.html2011-03-28 21:17 966  
[TXT]poe_transmetric_ics_2009.html2011-03-28 21:17 1.3K 
[TXT]porter_mapping_pact_2009.html2011-03-28 21:17 1.0K 
[TXT]porter_operating_hotos_2009.html2011-03-28 21:17 970  
[TXT]porter_operating_sosp_2009.html2011-03-28 21:17 948  
[TXT]porter_syncchar_ispass_2010.html2011-03-28 21:17 1.0K 
[TXT]quislant_improving_pact_2009.html2011-03-28 21:17 965  
[TXT]ramadan_committing_ppopp_2009.html2011-03-28 21:17 1.1K 
[TXT]ramadan_the_transact_2009.html2011-03-28 21:17 943  
[TXT]ratanaworabhan_detecting_ppopp_2009.html2011-03-28 21:17 1.1K 
[TXT]romano_cloud-tm_sigops-review_2010.html2011-03-28 21:17 1.1K 
[TXT]romano_distribute-tm-clusters_lncs_2009.html2011-03-28 21:17 1.4K 
[TXT]romano_speculative-replication_spaa_2010.html2011-03-28 21:17 1.3K 
[TXT]rossbach_is_wddd_2009.html2011-03-28 21:17 1.0K 
[TXT]roy_exploring_hotpar_2009.html2011-03-28 21:17 971  
[TXT]roy_runtime_eurosys_2009.html2011-03-28 21:17 1.0K 
[TXT]sanyal_clock_hppac_2009.html2011-03-28 21:17 1.0K 
[TXT]sanyal_dynamically_hpcc_2009.html2011-03-28 21:17 1.0K 
[TXT]schindewolf_towards_gccworkshop_2009.html2011-03-28 21:17 1.1K 
[TXT]sharma_competitive-analysis-tm-workloads_opodis_2010.html2011-03-28 21:17 1.1K 
[TXT]sharma_window-based-cm_disc_2010.html2011-03-28 21:17 1.1K 
[TXT]shpeisman_towards-tm-semantics_spaa_2009.html2011-03-28 21:17 967  
[TXT]shriraman_refereeing_ics_2009.html2011-03-28 21:17 1.1K 
[TXT]shriraman_tapping_usenix_2009.html2011-03-28 21:17 1.0K 
[TXT]singh_stm-rmm_cav_2009.html2011-03-28 21:17 1.0K 
[TXT]sinha_runtime-checking-stm_ipdps_2010.html2011-03-28 21:17 875  
[TXT]sonmez_taking_ipdps_2009.html2011-03-28 21:17 1.1K 
[TXT]spear_comprehensive_ppopp_2009.html2011-03-28 21:17 1.1K 
[TXT]spear_reducing_cgo_2009.html2011-03-28 21:17 1.1K 
[TXT]spear_transactional_transact_2009.html2011-03-28 21:17 966  
[TXT]sridharan_scalable_tr_2009.html2011-03-28 21:17 1.0K 
[TXT]sturzrehm_tm_iwjacpdc_2009.html2011-03-28 21:17 951  
[TXT]tabba_nztm_spaa_nonblocking_2009.html2011-03-28 21:17 1.0K 
[TXT]tabba_transactional_transact_2009.html2011-03-28 21:17 940  
[TXT]teixeira_detecting-tm-anomalies_padtad_2010.html2011-03-28 21:17 1.3K 
[TXT]titos_speculation_ipdps_2009.html2011-03-28 21:17 1.0K 
[TXT]tomic_eazy_micro_2009.html2011-03-28 21:17 1.0K 
[TXT]usui_adaptive_pact_2009.html2011-03-28 21:17 966  
[TXT]usui_adaptive_transact_2009.html2011-03-28 21:17 1.0K 
[TXT]volos_nepaltm_ecoop_2009.html2011-03-28 21:17 1.1K 
[TXT]volos_xcalls_eurosys_2009.html2011-03-28 21:17 1.0K 
[TXT]wang_dtm_icpp_2009.html2011-03-28 21:17 962  
[TXT]wang_investigating.html2011-03-28 21:17 1.0K 
[TXT]wu_compilerandruntime_ccpe_2009.html2011-03-28 21:17 1.3K 
[TXT]xekalakis_combining_ics_2009.html2011-03-28 21:17 1.1K 
[TXT]ziarek_partial_icfp_2009.html2011-03-28 21:17 1.1K 
[TXT]zyulkyarov_atomic_ppopp_2009.html2011-03-28 21:17 1.2K