{"id":"https://openalex.org/W4403646873","doi":"https://doi.org/10.1145/3691621.3694937","title":"Everything Everywhere All At Once: Efficient Cross-Service Program Analysis with OverSeer","display_name":"Everything Everywhere All At Once: Efficient Cross-Service Program Analysis with OverSeer","publication_year":2024,"publication_date":"2024-10-22","ids":{"openalex":"https://openalex.org/W4403646873","doi":"https://doi.org/10.1145/3691621.3694937"},"language":"en","primary_location":{"id":"doi:10.1145/3691621.3694937","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3691621.3694937","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops","raw_type":"proceedings-article"},"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/A5103922944","display_name":"Jiwon Park","orcid":"https://orcid.org/0000-0002-0404-5121"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jiwon Park","raw_affiliation_strings":["UC Berkeley, Berkeley, California, USA"],"affiliations":[{"raw_affiliation_string":"UC Berkeley, Berkeley, California, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018127900","display_name":"Shadaj Laddad","orcid":"https://orcid.org/0000-0002-6658-6548"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shadaj Laddad","raw_affiliation_strings":["UC Berkeley, Berkeley, California, USA"],"affiliations":[{"raw_affiliation_string":"UC Berkeley, Berkeley, California, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5095829689","display_name":"Dev Bali","orcid":"https://orcid.org/0009-0001-9273-9835"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dev Bali","raw_affiliation_strings":["UC Berkeley, Berkeley, California, USA"],"affiliations":[{"raw_affiliation_string":"UC Berkeley, Berkeley, California, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101791753","display_name":"Wen Zhang","orcid":"https://orcid.org/0009-0007-3721-2882"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wen Zhang","raw_affiliation_strings":["UC Berkeley, Berkeley, California, USA"],"affiliations":[{"raw_affiliation_string":"UC Berkeley, Berkeley, California, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040529929","display_name":"Scott Shenker","orcid":"https://orcid.org/0000-0002-1357-7533"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]},{"id":"https://openalex.org/I1297971548","display_name":"International Computer Science Institute","ror":"https://ror.org/01ewh7m12","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1297971548"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Scott Shenker","raw_affiliation_strings":["UC Berkeley & ICSI, Berkeley, California, USA"],"affiliations":[{"raw_affiliation_string":"UC Berkeley & ICSI, Berkeley, California, USA","institution_ids":["https://openalex.org/I1297971548","https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005554337","display_name":"Matei Zaharia","orcid":"https://orcid.org/0000-0002-7547-7204"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matei Zaharia","raw_affiliation_strings":["UC Berkeley, Berkeley, California, USA"],"affiliations":[{"raw_affiliation_string":"UC Berkeley, Berkeley, California, USA","institution_ids":["https://openalex.org/I95457486"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5103922944"],"corresponding_institution_ids":["https://openalex.org/I95457486"],"apc_list":null,"apc_paid":null,"fwci":0.3663,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.62942987,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"82","last_page":"87"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9998000264167786,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994999766349792,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994000196456909,"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/computer-science","display_name":"Computer science","score":0.6599322557449341},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.5367129445075989},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.10905173420906067}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6599322557449341},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.5367129445075989},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.10905173420906067},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3691621.3694937","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3691621.3694937","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W2043100293","https://openalex.org/W2734941459","https://openalex.org/W2736340806","https://openalex.org/W2809376319","https://openalex.org/W2928203508","https://openalex.org/W2931122162","https://openalex.org/W2944436223","https://openalex.org/W3204018925","https://openalex.org/W3205811065","https://openalex.org/W4213191759","https://openalex.org/W4225528709","https://openalex.org/W4283215839","https://openalex.org/W4308361824","https://openalex.org/W4366850868","https://openalex.org/W4372262732","https://openalex.org/W4388041004"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Microservice":[0],"applications":[1],"often":[2],"encounter":[3],"failures":[4],"due":[5],"to":[6,12,43,77],"cross-service":[7,94,102],"assumptions":[8,39],"that":[9,66,105],"are":[10],"challenging":[11],"reason":[13],"about,":[14],"such":[15,48],"as":[16,27],"timing,":[17,145],"data":[18],"formats,":[19],"and":[20,31,61,75,88,146,155,165],"semantic":[21],"changes.":[22],"These":[23],"problems":[24],"can":[25,106,158],"arise":[26],"individual":[28],"teams":[29,50],"update":[30],"roll":[32],"back":[33],"their":[34],"services":[35,60,131,164],"independently,":[36],"causing":[37],"implicit":[38],"about":[40,143],"service":[41,56,120],"interaction":[42],"become":[44],"invalid.":[45],"To":[46],"prevent":[47],"issues,":[49],"must":[51],"ensure":[52],"the":[53,124,134],"validity":[54],"of":[55,64,91,111,119,130,137],"interactions":[57],"across":[58,116],"all":[59,62],"combinations":[63,118],"versions":[65],"may":[67],"coexist":[68],"in":[69,93,168],"production,":[70],"which":[71],"is":[72],"both":[73],"difficult":[74],"error-prone":[76],"do":[78],"manually.":[79],"In":[80],"this":[81],"paper,":[82],"we":[83],"argue":[84],"for":[85,101],"richer":[86],"specifications":[87],"automated":[89],"analysis":[90,104],"properties":[92,114,142],"programs.":[95],"We":[96,148],"present":[97],"OverSeer,":[98],"a":[99,108,171],"framework":[100],"program":[103,113,139],"check":[107],"wide":[109],"range":[110],"useful":[112],"efficiently":[115],"possible":[117],"versions.":[121],"OverSeer":[122],"avoids":[123],"combinatorial":[125],"explosion":[126],"caused":[127],"by":[128,132],"versioning":[129],"leveraging":[133],"lattice":[135],"structure":[136],"many":[138],"properties,":[140],"including":[141],"types,":[144],"effects.":[147],"evaluate":[149],"OverSeer's":[150],"scalability":[151],"on":[152],"synthetic":[153],"benchmarks":[154],"show":[156],"it":[157],"analyze":[159],"large":[160],"systems":[161],"with":[162],"4,000":[163],"16,000":[166],"endpoints":[167],"less":[169],"than":[170],"second.":[172]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-12-27T23:08:20.325037","created_date":"2025-10-10T00:00:00"}