{"id":"https://openalex.org/W2139241341","doi":"https://doi.org/10.1007/s11390-009-9204-9","title":"Certifying Concurrent Programs Using Transactional Memory","display_name":"Certifying Concurrent Programs Using Transactional Memory","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W2139241341","doi":"https://doi.org/10.1007/s11390-009-9204-9","mag":"2139241341"},"language":"en","primary_location":{"id":"doi:10.1007/s11390-009-9204-9","doi":"https://doi.org/10.1007/s11390-009-9204-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11390-009-9204-9","pdf_url":null,"source":{"id":"https://openalex.org/S161516442","display_name":"Journal of Computer Science and Technology","issn_l":"1000-9000","issn":["1000-9000","1860-4749"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-b","cwts-core","dongbi-c","jufo-1","norway-1","poland-70","russia-white-list-2","vabb-shw"],"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Science and Technology","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100408767","display_name":"Long Li","orcid":"https://orcid.org/0000-0002-3746-463X","observed_orcids":["https://orcid.org/0000-0002-3746-463X"]},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Long Li","raw_affiliation_strings":["Department of Computer Science and Technology, University of Science and Technology of China, Hefei, 230027, China","Software Security Laboratory, Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, 215123, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, University of Science and Technology of China, Hefei, 230027, China","institution_ids":["https://openalex.org/I126520041"]},{"raw_affiliation_string":"Software Security Laboratory, Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, 215123, China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036488225","display_name":"Yu Zhang","orcid":"https://orcid.org/0000-0001-6638-6442","observed_orcids":["https://orcid.org/0000-0001-6638-6442","https://orcid.org/0009-0002-4136-5041"]},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Zhang","raw_affiliation_strings":["Department of Computer Science and Technology, University of Science and Technology of China, Hefei, 230027, China","Software Security Laboratory, Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, 215123, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, University of Science and Technology of China, Hefei, 230027, China","institution_ids":["https://openalex.org/I126520041"]},{"raw_affiliation_string":"Software Security Laboratory, Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, 215123, China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000785769","display_name":"Yiyun Chen","orcid":"https://orcid.org/0000-0002-7442-3239","observed_orcids":["https://orcid.org/0000-0002-7442-3239"]},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yi-Yun Chen","raw_affiliation_strings":["Department of Computer Science and Technology, University of Science and Technology of China, Hefei, 230027, China","Software Security Laboratory, Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, 215123, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, University of Science and Technology of China, Hefei, 230027, China","institution_ids":["https://openalex.org/I126520041"]},{"raw_affiliation_string":"Software Security Laboratory, Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, 215123, China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100355277","display_name":"Yong Li","orcid":"https://orcid.org/0000-0001-5617-1659","observed_orcids":["https://orcid.org/0000-0001-5617-1659","https://orcid.org/0009-0001-5361-1708"]},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yong Li","raw_affiliation_strings":["Department of Computer Science and Technology, University of Science and Technology of China, Hefei, 230027, China","Software Security Laboratory, Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, 215123, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, University of Science and Technology of China, Hefei, 230027, China","institution_ids":["https://openalex.org/I126520041"]},{"raw_affiliation_string":"Software Security Laboratory, Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, 215123, China","institution_ids":["https://openalex.org/I126520041"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5100408767"],"corresponding_institution_ids":["https://openalex.org/I126520041"],"apc_list":{"value":3090,"currency":"USD","value_usd":3090},"apc_paid":null,"fwci":1.0828,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.82473668,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"24","issue":"1","first_page":"110","last_page":"121"},"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.8550000190734863,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8550000190734863,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.1428000032901764,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.0007999999797903001,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/transactional-memory","display_name":"transactional memory","score":1.0},{"id":"https://openalex.org/keywords/proof-carrying-code","display_name":"proof-carrying code","score":0.871999979019165},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"formal semantics","score":0.5509999990463257},{"id":"https://openalex.org/keywords/soundness","display_name":"soundness","score":0.6850000023841858},{"id":"https://openalex.org/keywords/data-races","display_name":"data races","score":0.8240000009536743},{"id":"https://openalex.org/keywords/multithreaded-applications","display_name":"multithreaded programs","score":0.8809999823570251},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"concurrency control","score":0.7379999756813049},{"id":"https://openalex.org/keywords/program-verification","display_name":"program verification","score":0.5120000243186951}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9194104671478271},{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.792669415473938},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7022445797920227},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6698173880577087},{"id":"https://openalex.org/C174839445","wikidata":"https://www.wikidata.org/wiki/Q1134386","display_name":"Lock (firearm)","level":2,"score":0.6506699323654175},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6472241878509521},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5177306532859802},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.5027792453765869},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4713040292263031},{"id":"https://openalex.org/C167149655","wikidata":"https://www.wikidata.org/wiki/Q1189004","display_name":"Software transactional memory","level":4,"score":0.4685431718826294},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.44774091243743896},{"id":"https://openalex.org/C201410400","wikidata":"https://www.wikidata.org/wiki/Q1064412","display_name":"Multithreading","level":3,"score":0.4364278316497803},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.4229491353034973},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.3500867486000061},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.2564852237701416},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.18361902236938477},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.10325595736503601},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s11390-009-9204-9","doi":"https://doi.org/10.1007/s11390-009-9204-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11390-009-9204-9","pdf_url":null,"source":{"id":"https://openalex.org/S161516442","display_name":"Journal of Computer Science and Technology","issn_l":"1000-9000","issn":["1000-9000","1860-4749"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-b","cwts-core","dongbi-c","jufo-1","norway-1","poland-70","russia-white-list-2","vabb-shw"],"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Science and Technology","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.511.1052","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.511.1052","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://staff.ustc.edu.cn/~yiyun/papers/Certifying concurrent programs using transactional memory.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W79592965","https://openalex.org/W1607674807","https://openalex.org/W1964727056","https://openalex.org/W1986913310","https://openalex.org/W1995559387","https://openalex.org/W2017700354","https://openalex.org/W2032204694","https://openalex.org/W2033348393","https://openalex.org/W2034711041","https://openalex.org/W2055100610","https://openalex.org/W2060499019","https://openalex.org/W2069300761","https://openalex.org/W2086512828","https://openalex.org/W2092911542","https://openalex.org/W2094222793","https://openalex.org/W2099537990","https://openalex.org/W2105055683","https://openalex.org/W2108204150","https://openalex.org/W2111706174","https://openalex.org/W2113751407","https://openalex.org/W2123464354","https://openalex.org/W2123825254","https://openalex.org/W2128180740","https://openalex.org/W2128812925","https://openalex.org/W2129990308","https://openalex.org/W2132761501","https://openalex.org/W2134334571","https://openalex.org/W2137628566","https://openalex.org/W2141260727","https://openalex.org/W2149473197","https://openalex.org/W2152988224","https://openalex.org/W2154606502","https://openalex.org/W2165970356","https://openalex.org/W2172064476","https://openalex.org/W2987907651","https://openalex.org/W3146075203","https://openalex.org/W4205283737","https://openalex.org/W4241497336","https://openalex.org/W4242949098","https://openalex.org/W4244598184","https://openalex.org/W4251912342"],"related_works":["https://openalex.org/W1526355683","https://openalex.org/W2128585185","https://openalex.org/W1550303114","https://openalex.org/W2035134754","https://openalex.org/W7096522743","https://openalex.org/W1818109549","https://openalex.org/W1830477019","https://openalex.org/W2186776424","https://openalex.org/W2168704934","https://openalex.org/W2133108345"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-10-14T16:39:01.820549","created_date":"2016-06-24T00:00:00"}