{"id":"https://openalex.org/W3167461506","doi":"https://doi.org/10.1145/3468264.3468546","title":"\u00d0Archer: detecting on-chain-off-chain synchronization bugs in decentralized applications","display_name":"\u00d0Archer: detecting on-chain-off-chain synchronization bugs in decentralized applications","publication_year":2021,"publication_date":"2021-08-18","ids":{"openalex":"https://openalex.org/W3167461506","doi":"https://doi.org/10.1145/3468264.3468546","mag":"3167461506"},"language":"en","primary_location":{"id":"doi:10.1145/3468264.3468546","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3468264.3468546","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2106.09440","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077307201","display_name":"Wuqi Zhang","orcid":"https://orcid.org/0000-0001-8039-0528"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Wuqi Zhang","raw_affiliation_strings":["Hong Kong University of Science and Technology, China"],"raw_orcid":"https://orcid.org/0000-0001-8039-0528","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090064960","display_name":"Lili Wei","orcid":"https://orcid.org/0000-0002-2428-4111"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Lili Wei","raw_affiliation_strings":["Hong Kong University of Science and Technology, China"],"raw_orcid":"https://orcid.org/0000-0002-2428-4111","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100636489","display_name":"Shuqing Li","orcid":"https://orcid.org/0000-0001-6323-1402"},"institutions":[{"id":"https://openalex.org/I3045169105","display_name":"Southern University of Science and Technology","ror":"https://ror.org/049tv2d57","country_code":"CN","type":"education","lineage":["https://openalex.org/I3045169105"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuqing Li","raw_affiliation_strings":["Southern University of Science and Technology, China"],"raw_orcid":"https://orcid.org/0000-0001-6323-1402","affiliations":[{"raw_affiliation_string":"Southern University of Science and Technology, China","institution_ids":["https://openalex.org/I3045169105"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084868951","display_name":"Yepang Liu","orcid":"https://orcid.org/0000-0001-8147-8126"},"institutions":[{"id":"https://openalex.org/I3045169105","display_name":"Southern University of Science and Technology","ror":"https://ror.org/049tv2d57","country_code":"CN","type":"education","lineage":["https://openalex.org/I3045169105"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yepang Liu","raw_affiliation_strings":["Southern University of Science and Technology, China"],"raw_orcid":"https://orcid.org/0000-0001-8147-8126","affiliations":[{"raw_affiliation_string":"Southern University of Science and Technology, China","institution_ids":["https://openalex.org/I3045169105"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034057959","display_name":"Shing-Chi Cheung","orcid":"https://orcid.org/0000-0002-3508-7172"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Shing-Chi Cheung","raw_affiliation_strings":["Hong Kong University of Science and Technology, China"],"raw_orcid":"https://orcid.org/0000-0002-3508-7172","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, China","institution_ids":["https://openalex.org/I200769079"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"553","last_page":"565"},"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.9998999834060669,"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.9998999834060669,"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/T10273","display_name":"IoT and Edge/Fog Computing","score":0.9898999929428101,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.989300012588501,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/computer-science","display_name":"Computer science","score":0.782564640045166},{"id":"https://openalex.org/keywords/blockchain","display_name":"Blockchain","score":0.6903199553489685},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.6390343904495239},{"id":"https://openalex.org/keywords/chain","display_name":"Chain (unit)","score":0.6222575902938843},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.5750119686126709},{"id":"https://openalex.org/keywords/layer","display_name":"Layer (electronics)","score":0.4889885187149048},{"id":"https://openalex.org/keywords/synchronizing","display_name":"Synchronizing","score":0.485780268907547},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.42268359661102295},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.27206534147262573},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.20621010661125183},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.18637287616729736}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.782564640045166},{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.6903199553489685},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.6390343904495239},{"id":"https://openalex.org/C199185054","wikidata":"https://www.wikidata.org/wiki/Q552299","display_name":"Chain (unit)","level":2,"score":0.6222575902938843},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.5750119686126709},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.4889885187149048},{"id":"https://openalex.org/C162932704","wikidata":"https://www.wikidata.org/wiki/Q1058791","display_name":"Synchronizing","level":3,"score":0.485780268907547},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.42268359661102295},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.27206534147262573},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.20621010661125183},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.18637287616729736},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","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},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C761482","wikidata":"https://www.wikidata.org/wiki/Q118093","display_name":"Transmission (telecommunications)","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3468264.3468546","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3468264.3468546","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2106.09440","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2106.09440","pdf_url":"https://arxiv.org/pdf/2106.09440","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-113864","is_oa":false,"landing_page_url":"http://lbdiscover.ust.hk/uresolver?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rfr_id=info:sid/HKUST:SPI&rft.genre=article&rft.issn=&rft.volume=&rft.issue=&rft.date=2021&rft.spage=553&rft.aulast=Zhang&rft.aufirst=&rft.atitle=%C3%90archer%3A+Detecting+on-chain-off-chain+synchronization+bugs+in+decentralized+applications&rft.title=ESEC%2FFSE+2021+-+Proceedings+of+the+29th+ACM+Joint+Meeting+European+Software+Engineering+Conference+and+Symposium+on+the+Foundations+of+Software+Engineering","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference paper"},{"id":"pmh:oai:repository.ust.hk:1783.1-113864","is_oa":false,"landing_page_url":"http://repository.ust.hk/ir/Record/1783.1-113864","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference paper"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2106.09440","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2106.09440","pdf_url":"https://arxiv.org/pdf/2106.09440","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1888249465","display_name":"\u81ea\u6210\u957f\u590d\u6742\u8f6f\u4ef6\u7cfb\u7edf\u6784\u5efa\u65b9\u6cd5\u4e0e\u8fd0\u884c\u652f\u6491\u7814\u7a76","funder_award_id":"61932021","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W2111607551","https://openalex.org/W2536325433","https://openalex.org/W2539190473","https://openalex.org/W2589660059","https://openalex.org/W2747304901","https://openalex.org/W2805052744","https://openalex.org/W2808815243","https://openalex.org/W2846896781","https://openalex.org/W2885170672","https://openalex.org/W2888393465","https://openalex.org/W2889740224","https://openalex.org/W2898569715","https://openalex.org/W2911402241","https://openalex.org/W2946378091","https://openalex.org/W2963264685","https://openalex.org/W2964257386","https://openalex.org/W2968654610","https://openalex.org/W2968774823","https://openalex.org/W2970809537","https://openalex.org/W2971762834","https://openalex.org/W2979368426","https://openalex.org/W2979467439","https://openalex.org/W2981490091","https://openalex.org/W2982275082","https://openalex.org/W2999378142","https://openalex.org/W3026203297","https://openalex.org/W3089408602","https://openalex.org/W3090362160","https://openalex.org/W3091620507","https://openalex.org/W3094951163","https://openalex.org/W3098149161","https://openalex.org/W3105187050","https://openalex.org/W3106007553","https://openalex.org/W3122543528","https://openalex.org/W3151748982","https://openalex.org/W4248175462","https://openalex.org/W4289548059"],"related_works":["https://openalex.org/W2116519977","https://openalex.org/W2315567295","https://openalex.org/W1981446230","https://openalex.org/W2365128652","https://openalex.org/W2356659732","https://openalex.org/W2995644389","https://openalex.org/W1581301957","https://openalex.org/W3202423486","https://openalex.org/W2356421920","https://openalex.org/W2107002852"],"abstract_inverted_index":{"Since":[0],"the":[1,17,40,59,64,68,87,109,122,133,142,165,185,196,203,240,250,257,264,275],"emergence":[2],"of":[3,26,80,130,144,157,187,199,256,277],"Ethereum,":[4],"blockchain-based":[5],"decentralized":[6],"applications":[7],"(DApps)":[8],"have":[9,216,260,268],"become":[10],"increasingly":[11],"popular":[12,221],"and":[13,20,35,42,74,95,147,167,189,231,237,266],"important.":[14],"To":[15,170],"balance":[16],"security,":[18],"performance,":[19],"costs,":[21],"a":[22,179],"DApp":[23,51,116],"typically":[24],"consists":[25],"two":[27,155,191],"layers:":[28],"an":[29,43],"on-chain":[30,60,146,166],"layer":[31,45,57,61,70],"to":[32,46,53,86,92,103,114,120,127,183,194,208],"execute":[33],"transactions":[34,84],"store":[36],"crucial":[37],"data":[38,66,149],"on":[39,219],"blockchain":[41,88],"off-chain":[44,56,69,148,168],"interact":[47],"with":[48,58,132],"users.":[49],"A":[50],"needs":[52],"synchronize":[54],"its":[55],"proactively.":[62],"Otherwise,":[63],"inconsistent":[65],"in":[67,108,150,162,213,234,249],"could":[71,96,160],"mislead":[72],"users":[73],"cause":[75],"undesirable":[76],"consequences,":[77],"e.g.,":[78],"loss":[79],"transaction":[81,110,135],"fees.":[82],"However,":[83],"sent":[85],"are":[89],"not":[90],"guaranteed":[91],"be":[93,98],"executed":[94],"even":[97],"reversed":[99],"after":[100],"execution":[101,111],"due":[102,126],"chain":[104],"reorganization.":[105],"Such":[106],"non-determinism":[107],"is":[112],"unique":[113],"blockchain.":[115],"developers":[117],"may":[118],"fail":[119],"perform":[121],"on-chain-off-chain":[123,174,210],"synchronization":[124,175,211],"accurately":[125],"their":[128],"lack":[129],"familiarity":[131],"complex":[134],"lifecycle.":[136],"In":[137],"this":[138],"work,":[139],"we":[140,177],"investigate":[141],"challenges":[143],"synchronizing":[145],"Ethereum-based":[151],"DApps.":[152,214,223,252],"We":[153,201,215],"present":[154],"types":[156],"bugs":[158,212,248,259],"that":[159],"result":[161],"inconsistencies":[163],"between":[164],"layers.":[169],"help":[171],"detect":[172,209],"such":[173],"bugs,":[176],"introduce":[178],"state":[180],"transition":[181],"model":[182],"guide":[184],"testing":[186,205],"DApps":[188],"propose":[190],"effective":[192],"oracles":[193],"facilitate":[195],"automatic":[197],"identification":[198],"bugs.":[200],"build":[202],"first":[204],"framework,":[206],"\u00d0Archer,":[207],"evaluated":[217],"\u00d0Archer":[218,224],"11":[220,251],"real-world":[222],"achieves":[225],"high":[226],"precision":[227],"(99.3%),":[228],"recall":[229],"(87.6%),":[230],"accuracy":[232],"(89.4%)":[233],"bug":[235],"detection":[236],"significantly":[238],"outperforms":[239],"baseline":[241],"methods.":[242],"It":[243],"has":[244],"found":[245],"15":[246,258],"real":[247],"So":[253],"far,":[254],"six":[255],"been":[261,269],"confirmed":[262],"by":[263],"developers,":[265],"three":[267],"fixed.":[270],"These":[271],"promising":[272],"results":[273],"demonstrate":[274],"usefulness":[276],"\u00d0Archer.":[278]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":4}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2021-06-22T00:00:00"}