{"id":"https://openalex.org/W7212407591","doi":null,"title":"Chain of Concurrent Static Analysis: a Reasoning Framework for Finding Concurrent Bugs","display_name":"Chain of Concurrent Static Analysis: a Reasoning Framework for Finding Concurrent Bugs","publication_year":2026,"publication_date":"2026-07-12","ids":{"openalex":"https://openalex.org/W7212407591"},"language":"it","primary_location":{"id":"pmh:oai:etd.adm.unipi.it:etd-07012026-153719","doi":null,"is_oa":true,"landing_page_url":"https://etd.adm.unipi.it/theses/available/etd-07012026-153719/","pdf_url":"https://etd.adm.unipi.it/theses/available/etd-07012026-153719/unrestricted/tesi_talarico.pdf","source":{"id":"https://openalex.org/S4306401800","display_name":"Electronic Theses and Dissertations Repository (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://etd.adm.unipi.it/theses/available/etd-07012026-153719/","raw_type":"text"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://etd.adm.unipi.it/theses/available/etd-07012026-153719/unrestricted/tesi_talarico.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5151514673","display_name":"RICCARDO TALARICO","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"TALARICO, RICCARDO","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5151514673"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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.6646000146865845,"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.6646000146865845,"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/T10260","display_name":"Software Engineering Research","score":0.329800009727478,"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/T10126","display_name":"Logic, programming, and type systems","score":0.000699999975040555,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/static-analysis","display_name":"static analysis","score":0.5770000219345093},{"id":"https://openalex.org/keywords/chain-of-thought-reasoning","display_name":"chain-of-thought reasoning","score":0.5600000023841858},{"id":"https://openalex.org/keywords/large-language-models","display_name":"large language models","score":0.8379999995231628},{"id":"https://openalex.org/keywords/go-programming-language","display_name":"Go programming language","score":0.8669999837875366},{"id":"https://openalex.org/keywords/bug-finding","display_name":"bug detection","score":0.6940000057220459},{"id":"https://openalex.org/keywords/bug-classification","display_name":"bug classification","score":0.878000020980835},{"id":"https://openalex.org/keywords/reasoning-chains","display_name":"reasoning chains","score":0.4699999988079071},{"id":"https://openalex.org/keywords/vulnerability-detection","display_name":"vulnerability detection","score":0.47099998593330383}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8072999715805054},{"id":"https://openalex.org/C199185054","wikidata":"https://www.wikidata.org/wiki/Q552299","display_name":"Chain (unit)","level":2,"score":0.552299976348877},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5422999858856201},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.46959999203681946},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.430400013923645},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.4287000000476837},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.3628000020980835},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.36070001125335693},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.3521000146865845},{"id":"https://openalex.org/C175309249","wikidata":"https://www.wikidata.org/wiki/Q725864","display_name":"Pipeline transport","level":2,"score":0.3483999967575073},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.32760000228881836},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.325300008058548},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.32019999623298645},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.31700000166893005},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.30809998512268066},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.30809998512268066},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.2847000062465668},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.273499995470047},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.27140000462532043},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.262800008058548},{"id":"https://openalex.org/C150495011","wikidata":"https://www.wikidata.org/wiki/Q128392","display_name":"Concurrent computing","level":2,"score":0.2565999925136566},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.25540000200271606}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:etd.adm.unipi.it:etd-07012026-153719","doi":null,"is_oa":true,"landing_page_url":"https://etd.adm.unipi.it/theses/available/etd-07012026-153719/","pdf_url":"https://etd.adm.unipi.it/theses/available/etd-07012026-153719/unrestricted/tesi_talarico.pdf","source":{"id":"https://openalex.org/S4306401800","display_name":"Electronic Theses and Dissertations Repository (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://etd.adm.unipi.it/theses/available/etd-07012026-153719/","raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:etd.adm.unipi.it:etd-07012026-153719","doi":null,"is_oa":true,"landing_page_url":"https://etd.adm.unipi.it/theses/available/etd-07012026-153719/","pdf_url":"https://etd.adm.unipi.it/theses/available/etd-07012026-153719/unrestricted/tesi_talarico.pdf","source":{"id":"https://openalex.org/S4306401800","display_name":"Electronic Theses and Dissertations Repository (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://etd.adm.unipi.it/theses/available/etd-07012026-153719/","raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7212407591.pdf","grobid_xml":"https://content.openalex.org/works/W7212407591.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W1816313093","https://openalex.org/W2930652247","https://openalex.org/W3001279689","https://openalex.org/W3030163527","https://openalex.org/W3037932933","https://openalex.org/W3168867926","https://openalex.org/W3210904070","https://openalex.org/W4281483047","https://openalex.org/W4376653732","https://openalex.org/W4385567149","https://openalex.org/W4385571045","https://openalex.org/W4386044294","https://openalex.org/W4386942462","https://openalex.org/W4387892136","https://openalex.org/W4388979610","https://openalex.org/W4393978790","https://openalex.org/W4401306886","https://openalex.org/W4403796339","https://openalex.org/W4405902850","https://openalex.org/W4413113028","https://openalex.org/W4414281281","https://openalex.org/W4414359357","https://openalex.org/W6948010097","https://openalex.org/W7133224126","https://openalex.org/W7133228402","https://openalex.org/W7166803149"],"related_works":["https://openalex.org/W4417332992","https://openalex.org/W4388092601","https://openalex.org/W4411512844","https://openalex.org/W4389161785","https://openalex.org/W4385947658","https://openalex.org/W7161212616","https://openalex.org/W7154981388","https://openalex.org/W1997029584","https://openalex.org/W7212057841","https://openalex.org/W4206838052"],"abstract_inverted_index":{"Large":[0],"Language":[1],"Models":[2],"have":[3,21],"proven":[4],"effective":[5],"in":[6,57,95],"analyzing,":[7],"understanding,":[8],"and":[9,18,53,74,83,98],"generating":[10],"code.":[11,60],"Recently,":[12],"the":[13],"findings":[14],"on":[15,66],"reasoning":[16,48],"topologies":[17],"structured":[19],"pipelines":[20],"significantly":[22],"enhanced":[23],"model":[24],"performance,":[25],"providing":[26],"a":[27,46,67],"rich":[28],"framework":[29,63],"for":[30,34],"designing":[31],"specialized":[32,47],"methodologies":[33],"solving":[35],"specific":[36],"tasks.":[37],"This":[38],"thesis":[39],"introduces":[40],"Chain":[41],"of":[42,69,88],"Concurrent":[43],"Static":[44],"Analysis,":[45],"chain":[49,87],"designed":[50],"to":[51],"detect":[52],"classify":[54],"concurrent":[55],"bugs":[56],"Go":[58],"source":[59],"The":[61],"proposed":[62],"was":[64,77],"evaluated":[65],"dataset":[68],"103":[70],"buggy":[71],"code":[72],"snippets,":[73],"its":[75],"performance":[76],"compared":[78],"against":[79],"baseline":[80],"I/O":[81],"prompting":[82],"models":[84],"that":[85],"support":[86],"thoughts":[89],"reasoning;":[90],"showing":[91],"an":[92],"overall":[93],"increase":[94],"vulnerability":[96],"detection":[97],"comprehension.":[99]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-13T00:00:00"}