{"id":"https://openalex.org/W1488349677","doi":null,"title":"Program Transformations in Weak Memory Models","display_name":"Program Transformations in Weak Memory Models","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W1488349677","mag":"1488349677"},"language":"en","primary_location":{"id":"pmh:oai:era.ed.ac.uk:1842/3132","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/1842/3132","pdf_url":"https://era.ed.ac.uk/bitstream/1842/3132/1/Sevcik%20J%20PhD%20thesis%2008.pdf","source":{"id":"https://openalex.org/S7407055182","display_name":"ERA","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Thesis or Dissertation"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://era.ed.ac.uk/bitstream/1842/3132/1/Sevcik%20J%20PhD%20thesis%2008.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028591689","display_name":"Jaroslav \u0160ev\u010d\u00edk","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jaroslav \u0160ev\u010d\u00edk","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5028591689"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":24,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9580000042915344,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9580000042915344,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.02199999988079071,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.016699999570846558,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/program-transformation","display_name":"program transformation","score":0.7369999885559082},{"id":"https://openalex.org/keywords/weak-memory-models","display_name":"weak memory models","score":0.8460000157356262},{"id":"https://openalex.org/keywords/java-memory-model","display_name":"Java memory model","score":0.9980000257492065},{"id":"https://openalex.org/keywords/multithreaded-applications","display_name":"multithreaded programs","score":0.8349999785423279},{"id":"https://openalex.org/keywords/common-subexpression-elimination","display_name":"common subexpression elimination","score":0.8669999837875366},{"id":"https://openalex.org/keywords/data-race-freedom","display_name":"data-race freedom","score":0.5849999785423279},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"sequential consistency","score":0.7329999804496765},{"id":"https://openalex.org/keywords/shared-memory-concurrency","display_name":"shared memory concurrency","score":0.6100000143051147},{"id":"https://openalex.org/keywords/program-elimination","display_name":"program elimination","score":0.4580000042915344}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8202071189880371},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7009427547454834},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6439080834388733},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.612640380859375},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.5886762142181396},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4785521626472473},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41078007221221924},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.27435368299484253},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.19838809967041016},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13951367139816284}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:era.ed.ac.uk:1842/3132","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/1842/3132","pdf_url":"https://era.ed.ac.uk/bitstream/1842/3132/1/Sevcik%20J%20PhD%20thesis%2008.pdf","source":{"id":"https://openalex.org/S7407055182","display_name":"ERA","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Thesis or Dissertation"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.211.8199","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.211.8199","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://homepages.inf.ed.ac.uk/s0566973/thesis.pdf","raw_type":"text"},{"id":"pmh:hdl:10068/998303","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10068/998303","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"U - Thesis"},{"id":"mag:1488349677","doi":null,"is_oa":false,"landing_page_url":"https://era.ed.ac.uk/bitstream/1842/3132/1/Sevcik%20J%20PhD%20thesis%2008.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:era.ed.ac.uk:1842/3132","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/1842/3132","pdf_url":"https://era.ed.ac.uk/bitstream/1842/3132/1/Sevcik%20J%20PhD%20thesis%2008.pdf","source":{"id":"https://openalex.org/S7407055182","display_name":"ERA","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Thesis or Dissertation"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1488349677.pdf","grobid_xml":"https://content.openalex.org/works/W1488349677.grobid-xml"},"referenced_works_count":53,"referenced_works":["https://openalex.org/W57970420","https://openalex.org/W1482397304","https://openalex.org/W1491178396","https://openalex.org/W1494930385","https://openalex.org/W1520685476","https://openalex.org/W1542049623","https://openalex.org/W1569214292","https://openalex.org/W1584322803","https://openalex.org/W1584342183","https://openalex.org/W1589643726","https://openalex.org/W1594381772","https://openalex.org/W1598886868","https://openalex.org/W1644882639","https://openalex.org/W1971921814","https://openalex.org/W1972544179","https://openalex.org/W1983572666","https://openalex.org/W1995825057","https://openalex.org/W2010497096","https://openalex.org/W2017351599","https://openalex.org/W2029601347","https://openalex.org/W2030159266","https://openalex.org/W2033818578","https://openalex.org/W2039509099","https://openalex.org/W2046317364","https://openalex.org/W2054739713","https://openalex.org/W2086512828","https://openalex.org/W2091085450","https://openalex.org/W2092911542","https://openalex.org/W2101990169","https://openalex.org/W2103957752","https://openalex.org/W2107859560","https://openalex.org/W2109875364","https://openalex.org/W2113751407","https://openalex.org/W2125398300","https://openalex.org/W2129695855","https://openalex.org/W2130553247","https://openalex.org/W2131689458","https://openalex.org/W2133662847","https://openalex.org/W2147218830","https://openalex.org/W2152390090","https://openalex.org/W2152885346","https://openalex.org/W2152988224","https://openalex.org/W2153174073","https://openalex.org/W2169735850","https://openalex.org/W2176864362","https://openalex.org/W2477698825","https://openalex.org/W2611598995","https://openalex.org/W2913202392","https://openalex.org/W2914127544","https://openalex.org/W2914421362","https://openalex.org/W2987803397","https://openalex.org/W3137220996","https://openalex.org/W4249336001"],"related_works":["https://openalex.org/W1482397304","https://openalex.org/W1990191223","https://openalex.org/W7099058974","https://openalex.org/W2152621318","https://openalex.org/W6990611315","https://openalex.org/W7096469266","https://openalex.org/W4379522417","https://openalex.org/W2092002125","https://openalex.org/W7098536152","https://openalex.org/W7098066946"],"abstract_inverted_index":{"We":[0,213,305,325],"analyse":[1,79],"the":[2,17,23,83,92,107,113,122,132,135,157,164,170,173,175,193,223,227,244,263,300,310,340,353,359,364],"validity":[3,332],"of":[4,115,124,134,138,151,211,253,299,309,320,333,336,342,348],"common":[5,32,75,188,374],"optimisations":[6,206,375],"on":[7,209],"multi-threaded":[8],"programs":[9],"in":[10,22,39,82,172,352],"two":[11,84],"memory":[12,58,89,350],"models\u2014the":[13],"DRF":[14,93,119,158,224,264],"guarantee":[15,120],"and":[16,78,105,126,153,202,219,258,286,317,380],"Java":[18,108,165,176,354,365],"Memory":[19,109,177,355,366],"Model.":[20,356],"Unlike":[21],"single-threaded":[24],"world,":[25],"even":[26],"simple":[27,322],"program":[28,76,184,205,280,301],"transformations,":[29,185,337],"such":[30,48,64,186,338],"as":[31,131,187,207,339],"subexpression":[33,189],"elimination,":[34],"can":[35,302,376],"introduce":[36,231,377],"new":[37,232,378],"behaviours":[38,99,233,379],"shared-memory":[40],"multi-threading":[41],"with":[42],"an":[43,307,343],"interleaved":[44],"semantics.":[45],"To":[46,191,357],"validate":[47],"optimisations,":[49],"most":[50,85],"current":[51],"programming":[52],"languages":[53],"define":[54],"weaker":[55],"semantics,":[56],"called":[57],"models,":[59],"that":[60,147,163,215,242,268,292,372],"aim":[61],"to":[62,262,313,330],"allow":[63,181],"transformations":[65,77,155,221,229,245,254,273],"while":[66],"providing":[67],"reasonable":[68],"guarantees.":[69],"In":[70,260],"this":[71],"thesis,":[72],"we":[73,145,161,196,240,266,368],"consider":[74],"their":[80],"safety":[81,194,252,319],"widely":[86],"used":[87],"language":[88,166,316],"models:":[90],"(i)":[91,144],"guarantee,":[94,225,265],"which":[95,111],"promises":[96],"sequentially":[97],"consistent":[98],"for":[100,234,269,363],"data":[101,235,247],"race":[102,236,248],"free":[103,237],"programs,":[104,271],"(ii)":[106,160],"Model,":[110,367],"is":[112,121,167],"semantics":[114,123,133],"multithreaded":[116],"Java.":[117],"The":[118],"Ada":[125],"it":[127],"has":[128],"been":[129],"proposed":[130],"upcoming":[136],"revision":[137],"C++.":[139],"Our":[140],"key":[141],"results":[142,362],"are:":[143],"prove":[146,214,241,267,318,331],"a":[148,198,279,314],"large":[149],"class":[150],"elimination":[152,218,341],"reordering":[154,220,347],"satisfies":[156],"guarantee;":[159],"find":[162],"more":[168],"restrictive\u2014despite":[169],"claims":[171],"specification,":[174],"Model":[178],"does":[179,281,287],"not":[180,282,288,383],"some":[182],"important":[183,204],"elimination.":[190],"establish":[192,358],"results,":[195],"develop":[197],"trace":[199],"semantic":[200,228,311,328],"framework":[201,312],"describe":[203],"relations":[208],"sets":[210],"traces.":[212],"all":[216,243],"our":[217,272],"satisfy":[222],"i.e.,":[226],"cannot":[230],"programs.":[238],"Moreover,":[239],"preserve":[246],"freedom.":[249],"This":[250],"ensures":[251],"composed":[255],"from":[256],"eliminations":[257],"reorderings.":[259],"addition":[261],"arbitrary":[270],"prevent":[274],"values":[275],"appearing":[276],"\u201coutof-":[277],"thin-air\u201d\u2014if":[278],"contain":[283],"constant":[284],"c":[285],"perform":[289],"any":[290],"operation":[291],"could":[293],"create":[294],"c,":[295],"then":[296],"no":[297],"transformation":[298],"output":[303],"c.":[304],"give":[306],"application":[308],"concrete":[315],"several":[321,334,373],"syntactic":[323],"transformations.":[324],"employ":[326],"similar":[327],"techniques":[329],"classes":[335],"overwritten":[344],"write":[345],"or":[346],"independent":[349],"accesses,":[351],"iii":[360],"negative":[361],"provide":[369],"counterexamples":[370],"showing":[371],"thus":[381],"are":[382],"safe.":[384]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":5}],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2016-06-24T00:00:00"}