{"id":"https://openalex.org/W7154372643","doi":"https://doi.org/10.48550/arxiv.2604.11369","title":"Fast Atomicity Monitoring","display_name":"Fast Atomicity Monitoring","publication_year":2026,"publication_date":"2026-04-13","ids":{"openalex":"https://openalex.org/W7154372643","doi":"https://doi.org/10.48550/arxiv.2604.11369"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.11369","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.11369","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.11369","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133562982","display_name":"H\u00fcnkar Can Tun","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tun, H\u00fcnkar Can","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113369585","display_name":"Yifan Dong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dong, Yifan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5133611978","display_name":"Andreas Pavlogiannis","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pavlogiannis, Andreas","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.5899999737739563,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.5899999737739563,"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/T10126","display_name":"Logic, programming, and type systems","score":0.1136000007390976,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.09690000116825104,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/atomicity","display_name":"Atomicity","score":0.98580002784729},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.708899974822998},{"id":"https://openalex.org/keywords/serializability","display_name":"Serializability","score":0.5863000154495239},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5121999979019165},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5027999877929688},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.475600004196167},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.4652999937534332},{"id":"https://openalex.org/keywords/semaphore","display_name":"Semaphore","score":0.45159998536109924},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.4189000129699707},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.4147999882698059}],"concepts":[{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.98580002784729},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8590999841690063},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.708899974822998},{"id":"https://openalex.org/C191558696","wikidata":"https://www.wikidata.org/wiki/Q137712","display_name":"Serializability","level":5,"score":0.5863000154495239},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5121999979019165},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5027999877929688},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.475600004196167},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4690000116825104},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4652999937534332},{"id":"https://openalex.org/C95203288","wikidata":"https://www.wikidata.org/wiki/Q221682","display_name":"Semaphore","level":2,"score":0.45159998536109924},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.4189000129699707},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41679999232292175},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.4147999882698059},{"id":"https://openalex.org/C145428669","wikidata":"https://www.wikidata.org/wiki/Q471748","display_name":"Exception handling","level":2,"score":0.3862000107765198},{"id":"https://openalex.org/C150495011","wikidata":"https://www.wikidata.org/wiki/Q128392","display_name":"Concurrent computing","level":2,"score":0.3546999990940094},{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.352400004863739},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.3449000120162964},{"id":"https://openalex.org/C2779427698","wikidata":"https://www.wikidata.org/wiki/Q17146793","display_name":"SCOOP","level":2,"score":0.3391000032424927},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.32600000500679016},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.3249000012874603},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.30469998717308044},{"id":"https://openalex.org/C20528329","wikidata":"https://www.wikidata.org/wiki/Q513932","display_name":"Linearizability","level":3,"score":0.3041999936103821},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.2953000068664551},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.27880001068115234},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.27880001068115234},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.27160000801086426},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.2685999870300293},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.26809999346733093},{"id":"https://openalex.org/C2777256151","wikidata":"https://www.wikidata.org/wiki/Q7897273","display_name":"Unpacking","level":2,"score":0.2667999863624573},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.26460000872612},{"id":"https://openalex.org/C3701939","wikidata":"https://www.wikidata.org/wiki/Q5159109","display_name":"Concurrent object-oriented programming","level":5,"score":0.2556000053882599},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.2554999887943268},{"id":"https://openalex.org/C105122174","wikidata":"https://www.wikidata.org/wiki/Q322202","display_name":"Garbage collection","level":3,"score":0.25450000166893005},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2533999979496002}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.11369","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.11369","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.11369","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.11369","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.7505362033843994,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Atomicity":[0],"is":[1,141,157,180,226],"a":[2,38,59,92,104,123,151,169,238],"fundamental":[3],"abstraction":[4],"in":[5,81,136,168,183,202],"concurrency,":[6],"specifying":[7],"that":[8,178,208],"program":[9,60],"behavior":[10],"can":[11],"be":[12,235],"understood":[13],"by":[14],"considering":[15],"specific":[16],"code":[17,32],"blocks":[18],"executing":[19],"atomically.":[20],"However,":[21],"atomicity":[22,35,65,201],"invariants":[23],"are":[24,37],"tricky":[25],"to":[26,63,162,217,234],"maintain":[27],"while":[28],"also":[29,149,192],"optimizing":[30],"for":[31,56,103,126,199,230,237],"efficiency,":[33],"and":[34,89,96,114,148,213,224],"violations":[36],"common":[39],"root":[40],"cause":[41],"of":[42,75,107,222],"many":[43],"concurrency":[44],"bugs.":[45],"To":[46],"address":[47],"this":[48,118],"problem,":[49],"several":[50],"dynamic":[51],"techniques":[52],"have":[53],"been":[54,79],"developed":[55],"testing":[57,127],"whether":[58],"execution":[61],"adheres":[62],"an":[64,137],"specification,":[66],"most":[67],"often":[68],"instantiated":[69],"as":[70],"\\emph{conflict":[71],"serializability}.":[72],"The":[73],"efficiency":[74],"the":[76,85,158,196,218,227],"analysis":[77],"has":[78,150],"targeted":[80],"various":[82],"papers,":[83],"with":[84,130],"state-of-the-art":[86],"algorithms":[87],"\\textsc{RegionTrack}":[88],"\\textsc{Aerodrome}":[90],"achieving":[91],"time":[93,131,212],"complexity":[94,132],"$O(nk^3)$":[95],"$O(nk(k":[97],"+":[98,100],"v":[99],"\\ell))$,":[101],"respectively,":[102],"trace":[105],"$\u03c3$":[106],"$n$":[108],"events,":[109],"$k$":[110],"threads,":[111],"$v$":[112],"locations,":[113],"$\\ell$":[115],"locks.":[116],"In":[117],"paper":[119],"we":[120,191],"introduce":[121],"\\textsc{AtomSanitizer},":[122],"new":[124],"algorithm":[125,160,229],"conflict":[128,231],"serializability,":[129],"$O(nk^2)$.":[133],"\\textsc{AtomSanitizer}":[134,156,179,194,209],"operates":[135],"efficient":[138],"streaming":[139],"style,":[140],"theoretically":[142],"faster":[143,182],"than":[144,185],"all":[145,186],"existing":[146,187],"algorithms,":[147],"smaller":[152],"memory":[153],"footprint.":[154],"Moreover,":[155],"first":[159,228],"designed":[161],"incur":[163],"minimal":[164,211],"locking":[165],"when":[166],"deployed":[167],"concurrent":[170],"monitoring":[171,200,240],"setting.":[172,241],"Experiments":[173],"on":[174],"standard":[175],"benchmarks":[176],"indicate":[177],"always":[181],"practice":[184],"conflict-serializability":[188],"testers.":[189],"Finally,":[190],"implement":[193],"inside":[195],"TSAN":[197],"framework,":[198],"real":[203],"time.":[204],"Our":[205],"experiments":[206],"reveal":[207],"incurs":[210],"space":[214],"overhead":[215],"compared":[216],"data-race":[219],"detection":[220],"engine":[221],"TSAN,":[223],"thus":[225],"serializability":[232],"demonstrated":[233],"suitable":[236],"runtime":[239]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-04-15T00:00:00"}