{"id":"https://openalex.org/W2912997785","doi":"https://doi.org/10.1145/3520313","title":"Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis","display_name":"Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis","publication_year":2022,"publication_date":"2022-06-09","ids":{"openalex":"https://openalex.org/W2912997785","doi":"https://doi.org/10.1145/3520313","mag":"2912997785"},"language":"en","primary_location":{"id":"doi:10.1145/3520313","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3520313","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},"type":"paratext","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[],"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":3,"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":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9914000034332275,"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/T10260","display_name":"Software Engineering Research","score":0.9914000034332275,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9745000004768372,"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9628999829292297,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.6527348756790161},{"id":"https://openalex.org/keywords/soap","display_name":"SOAP","score":0.6444698572158813},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5091676115989685},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.37944576144218445},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3427184820175171},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.32578715682029724},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2709929645061493},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.23423075675964355},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07468542456626892}],"concepts":[{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.6527348756790161},{"id":"https://openalex.org/C17881449","wikidata":"https://www.wikidata.org/wiki/Q189620","display_name":"SOAP","level":2,"score":0.6444698572158813},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5091676115989685},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.37944576144218445},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3427184820175171},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.32578715682029724},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2709929645061493},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.23423075675964355},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07468542456626892}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3520313","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3520313","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.5,"display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W4234113285","https://openalex.org/W2388714034","https://openalex.org/W2363105274","https://openalex.org/W2371844088","https://openalex.org/W2376941595","https://openalex.org/W2376868491","https://openalex.org/W2370509274","https://openalex.org/W2734871310","https://openalex.org/W2351041914"],"abstract_inverted_index":{"Message":[0],"from":[1],"the":[2,11,14,23,47,50,86,98,123,126,130,142,149,153,169],"Chairs":[3],"The":[4],"11th":[5],"ACM":[6,25,154],"SIGPLAN":[7,26],"International":[8,27],"Workshop":[9],"on":[10,29],"State":[12],"Of":[13],"Art":[15],"in":[16,61,160],"Program":[17,183,191,197,207],"Analysis":[18],"(SOAP\u201922)":[19],"is":[20],"co-located":[21],"with":[22,39,85],"43rd":[24],"Conference":[28],"Programming":[30],"Language":[31],"Design":[32],"and":[33,58,113,138,152,173],"Implementation":[34],"(PLDI":[35],"\u201922).":[36],"In":[37],"line":[38],"past":[40],"workshops,":[41],"SOAP\u201922":[42,89,172],"aims":[43],"to":[44,54,121,140,176],"bring":[45],"together":[46],"members":[48,96,128],"of":[49,66,97,106,125,129,218,225,263],"program":[51,62,99,131],"analysis":[52,100],"community":[53],"share":[55],"new":[56],"developments":[57],"shape":[59],"innovations":[60],"analysis.":[63],"This":[64],"edition":[65],"SOAP":[67,181,189],"had":[68],"nine":[69],"submissions,":[70],"each":[71],"reviewed":[72],"by":[73,94],"three":[74,91],"reviewers.":[75],"Seven":[76],"were":[77],"accepted,":[78],"making":[79,161],"a":[80],"\u223c78%":[81],"acceptance":[82],"rate.":[83],"Along":[84],"accepted":[87],"papers,":[88],"features":[90],"invited":[92],"talks":[93,170],"leading":[95],"community:":[101],"Elvira":[102],"Albert":[103],"(Complutense":[104],"University":[105],"Madrid,":[107],"Spain),":[108,112],"Francesco":[109],"Logozzo":[110],"(META,":[111],"Caterina":[114],"Urban":[115],"(INRIA/ENS,":[116],"France).":[117],"We":[118,146,165],"would":[119],"like":[120],"commend":[122],"efforts":[124],"seven":[127],"committee,":[132],"who":[133],"donated":[134],"their":[135,157],"valuable":[136],"time":[137],"effort":[139],"make":[141],"reviewing":[143],"process":[144],"possible.":[145,164],"also":[147],"thank":[148],"PLDI":[150],"chairs":[151],"staff":[155],"for":[156],"continued":[158],"support":[159],"this":[162],"workshop":[163],"hope":[166],"you":[167],"enjoy":[168],"at":[171],"look":[174],"forward":[175],"enlightening":[177],"discussions.":[178],"Laure":[179,199],"Gonnord":[180,200],"2022":[182,190],"Co-Chair":[184,192],"Grenoble-INP/LCIS,":[185],"France":[186],"Laura":[187,202],"Titolo":[188,203],"NIA/NASA":[193],"LaRC,":[194,205],"USA":[195],"Committees":[196],"Chairs:":[198],"(Grenoble-INP/LCIS)":[201],"(NIA/NASA":[204],"USA)":[206,241,279],"Committee:":[208,249],"Pietro":[209],"Ferrara":[210],"(Universit\u00e0":[211],"Ca\u2019":[212],"Foscari,":[213],"Italy)":[214],"Carsten":[215],"Fuhs":[216],"(Birbeck/University":[217],"London,":[219],"United":[220],"Kingdom)":[221],"Isabel":[222],"Garcia-Contreras":[223],"(University":[224,262],"Waterloo,":[226],"Canada)":[227,269],"Fran\u00e7ois":[228],"Gauthier":[229],"(Oracle":[230,252],"Labs,":[231,253],"Australia)":[232,254],"Yannik":[233],"Moy":[234],"(AdaCore,":[235],"France)":[236,247],"Jorge":[237],"A.":[238],"Navas":[239],"(Certora,":[240],"Julien":[242],"Signoles":[243],"(CEA":[244],"LIST/University":[245],"Paris-Saclay,":[246],"Steering":[248],"Padmanabhan":[250],"Krishnan":[251],"Christoph":[255],"Reichenbach":[256],"(Lund":[257],"University,":[258],"Sweden)":[259],"Neville":[260],"Grech":[261],"Malta,":[264],"Malta)":[265],"Thierry":[266],"Lavoie":[267],"(Synopsys,":[268],"Ben":[270],"Hermann":[271],"(Technische":[272],"Universit\u00e4t":[273],"Dortmund,":[274],"Germany)":[275],"Omer":[276],"Tripp":[277],"(Amazon,":[278]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}