{"id":"https://openalex.org/W3106677187","doi":"https://doi.org/10.1145/3417516","title":"Obsidian","display_name":"Obsidian","publication_year":2020,"publication_date":"2020-09-30","ids":{"openalex":"https://openalex.org/W3106677187","doi":"https://doi.org/10.1145/3417516","mag":"3106677187"},"language":"en","primary_location":{"id":"doi:10.1145/3417516","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3417516","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3417516","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044646652","display_name":"Michael Coblenz","orcid":"https://orcid.org/0000-0002-9369-4069"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Michael Coblenz","raw_affiliation_strings":["Carnegie Mellon University, PA, USA"],"raw_orcid":"https://orcid.org/0000-0002-9369-4069","affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044356100","display_name":"Reed Oei","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Reed Oei","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, IL, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089448789","display_name":"Tyler Etzel","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114444","display_name":"Meta (United States)","ror":"https://ror.org/01zbnvs85","country_code":"US","type":"company","lineage":["https://openalex.org/I4210114444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tyler Etzel","raw_affiliation_strings":["Facebook, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facebook, CA, USA","institution_ids":["https://openalex.org/I4210114444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072235094","display_name":"Paulette Koronkevich","orcid":"https://orcid.org/0000-0003-0325-3305"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Paulette Koronkevich","raw_affiliation_strings":["University of British Columbia, Vancouver, BC, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of British Columbia, Vancouver, BC, Canada","institution_ids":["https://openalex.org/I141945490"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031468274","display_name":"Miles Baker","orcid":null},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Miles Baker","raw_affiliation_strings":["Amazon, Seattle, WA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Amazon, Seattle, WA, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037853782","display_name":"Yannick Bloem","orcid":null},"institutions":[{"id":"https://openalex.org/I4210153776","display_name":"Apple (United States)","ror":"https://ror.org/059hsda18","country_code":"US","type":"company","lineage":["https://openalex.org/I4210153776"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yannick Bloem","raw_affiliation_strings":["Apple, Inc, Cupertino, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Apple, Inc, Cupertino, CA, USA","institution_ids":["https://openalex.org/I4210153776"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005887313","display_name":"Brad A. Myers","orcid":"https://orcid.org/0000-0002-4769-0219"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brad A. Myers","raw_affiliation_strings":["Carnegie Mellon University, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039972599","display_name":"Joshua Sunshine","orcid":"https://orcid.org/0000-0002-9672-5297"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joshua Sunshine","raw_affiliation_strings":["Carnegie Mellon University, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091372985","display_name":"Jonathan Aldrich","orcid":"https://orcid.org/0000-0003-0631-5591"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jonathan Aldrich","raw_affiliation_strings":["Carnegie Mellon University, PA, USA"],"raw_orcid":"https://orcid.org/0000-0003-0631-5591","affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5044646652"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":3.897,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.9459853,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"42","issue":"3","first_page":"1","last_page":"82"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9976999759674072,"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/T11424","display_name":"Security and Verification in Computing","score":0.9976999759674072,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/solidity","display_name":"Solidity","score":0.8733856678009033},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8232948780059814},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.53049635887146},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.5275630354881287},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24379941821098328}],"concepts":[{"id":"https://openalex.org/C2778362873","wikidata":"https://www.wikidata.org/wiki/Q24909565","display_name":"Solidity","level":2,"score":0.8733856678009033},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8232948780059814},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.53049635887146},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5275630354881287},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24379941821098328}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3417516","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3417516","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3417516","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3417516","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2164240226","display_name":null,"funder_award_id":"CNS-1423054, CCF-1814826","funder_id":"https://openalex.org/F4320309085","funder_display_name":"Center for Selective C-H Functionalization, National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306078","display_name":"U.S. Department of Defense","ror":"https://ror.org/0447fe631"},{"id":"https://openalex.org/F4320309085","display_name":"Center for Selective C-H Functionalization, National Science Foundation","ror":"https://ror.org/02h8v7m77"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":61,"referenced_works":["https://openalex.org/W172676560","https://openalex.org/W183953868","https://openalex.org/W1511982475","https://openalex.org/W1607623316","https://openalex.org/W1711395388","https://openalex.org/W1832474693","https://openalex.org/W1861989620","https://openalex.org/W1969344535","https://openalex.org/W1998344822","https://openalex.org/W2017274604","https://openalex.org/W2033348393","https://openalex.org/W2036676170","https://openalex.org/W2042694844","https://openalex.org/W2044590882","https://openalex.org/W2048417351","https://openalex.org/W2073407646","https://openalex.org/W2084315690","https://openalex.org/W2088494257","https://openalex.org/W2090655269","https://openalex.org/W2094694891","https://openalex.org/W2099424113","https://openalex.org/W2116304133","https://openalex.org/W2123691799","https://openalex.org/W2131890917","https://openalex.org/W2132143669","https://openalex.org/W2133386065","https://openalex.org/W2142837069","https://openalex.org/W2157148654","https://openalex.org/W2162598207","https://openalex.org/W2251459796","https://openalex.org/W2293230997","https://openalex.org/W2470712504","https://openalex.org/W2512350220","https://openalex.org/W2538848838","https://openalex.org/W2539190473","https://openalex.org/W2573182298","https://openalex.org/W2601306580","https://openalex.org/W2604844934","https://openalex.org/W2788138100","https://openalex.org/W2790202156","https://openalex.org/W2898460403","https://openalex.org/W2899026971","https://openalex.org/W2899558215","https://openalex.org/W2901515670","https://openalex.org/W2912106379","https://openalex.org/W2936179637","https://openalex.org/W2958298858","https://openalex.org/W2970337504","https://openalex.org/W2979374757","https://openalex.org/W3005174853","https://openalex.org/W3032926401","https://openalex.org/W3088323786","https://openalex.org/W3092724436","https://openalex.org/W3105187050","https://openalex.org/W3121172885","https://openalex.org/W3149697205","https://openalex.org/W4230681750","https://openalex.org/W4236122830","https://openalex.org/W4242423436","https://openalex.org/W4245729501","https://openalex.org/W6758589049"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2968888849","https://openalex.org/W2901515670","https://openalex.org/W4226265621","https://openalex.org/W4307962079","https://openalex.org/W3215711835","https://openalex.org/W4313007510","https://openalex.org/W2901416941","https://openalex.org/W3011238671","https://openalex.org/W4320343078"],"abstract_inverted_index":{"Blockchain":[0],"platforms":[1],"are":[2,20,65],"coming":[3],"into":[4],"use":[5],"for":[6,79,115],"processing":[7],"critical":[8],"transactions":[9,32],"among":[10],"participants":[11],"who":[12],"have":[13,43],"not":[14],"established":[15],"mutual":[16],"trust.":[17],"Many":[18],"blockchains":[19],"programmable,":[21],"supporting":[22],"smart":[23,41,68],"contracts":[24,42,69],",":[25],"which":[26,80],"maintain":[27],"persistent":[28],"state":[29,91],"and":[30,93,134,148,170],"support":[31],"that":[33,58,64,107,124,139,162],"transform":[34],"the":[35,129,163],"state.":[36],"Unfortunately,":[37],"bugs":[38,63],"in":[39,67],"many":[40],"been":[44],"exploited":[45],"by":[46],"hackers.":[47],"Obsidian":[48,71,85,155,175],"is":[49,72],"a":[50,55,75,104,109,158],"novel":[51],"programming":[52],"language":[53],"with":[54],"type":[56,83,141],"system":[57,106,142],"enables":[59],"static":[60],"detection":[61],"of":[62,100,111,131,150,172],"common":[66],"today.":[70],"based":[73],"on":[74],"core":[76],"calculus,":[77],"Silica,":[78],"we":[81],"proved":[82],"soundness.":[84],"uses":[86,94],"typestate":[87],"to":[88,97,113,128,157],"detect":[89,98],"improper":[90],"manipulation":[92],"linear":[95],"types":[96],"abuse":[99],"assets.":[101],"We":[102,119,152],"integrated":[103],"permissions":[105],"encodes":[108],"notion":[110],"ownership":[112,149],"allow":[114],"safe,":[116],"flexible":[117],"aliasing.":[118],"describe":[120],"two":[121],"case":[122],"studies":[123],"evaluate":[125],"Obsidian\u2019s":[126,140],"applicability":[127],"domains":[130],"parametric":[132],"insurance":[133],"supply":[135],"chain":[136],"management,":[137],"finding":[138],"facilitates":[143],"reasoning":[144],"about":[145],"high-level":[146],"states":[147],"resources.":[151],"compared":[153],"our":[154],"implementation":[156,165],"Solidity":[159,164],"implementation,":[160],"observing":[161],"requires":[166],"much":[167],"boilerplate":[168],"checking":[169],"tracking":[171],"state,":[173],"whereas":[174],"does":[176],"this":[177],"work":[178],"statically.":[179]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2020-12-07T00:00:00"}