{"id":"https://openalex.org/W4411259648","doi":"https://doi.org/10.1145/3736112.3736142","title":"Accelerating the Static Analysis of Neural Networks by Batch Representation of Abstract Values","display_name":"Accelerating the Static Analysis of Neural Networks by Batch Representation of Abstract Values","publication_year":2025,"publication_date":"2025-06-13","ids":{"openalex":"https://openalex.org/W4411259648","doi":"https://doi.org/10.1145/3736112.3736142"},"language":"en","primary_location":{"id":"doi:10.1145/3736112.3736142","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3736112.3736142","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming","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/A5113291366","display_name":"G Berthelot","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Guillaume Berthelot","raw_affiliation_strings":["Numalis, Montpellier, France"],"affiliations":[{"raw_affiliation_string":"Numalis, Montpellier, France","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013257291","display_name":"Arnault Ioualalen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Arnault Ioualalen","raw_affiliation_strings":["Numalis, Montpellier, France"],"affiliations":[{"raw_affiliation_string":"Numalis, Montpellier, France","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057608137","display_name":"Matthieu Martel","orcid":"https://orcid.org/0000-0002-6238-9651"},"institutions":[{"id":"https://openalex.org/I151295451","display_name":"Universit\u00e9 de Perpignan","ror":"https://ror.org/03am2jy38","country_code":"FR","type":"education","lineage":["https://openalex.org/I151295451"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Matthieu Martel","raw_affiliation_strings":["Numalis, Montpellier, France","University of Peprignan, Perpignan, France"],"affiliations":[{"raw_affiliation_string":"Numalis, Montpellier, France","institution_ids":[]},{"raw_affiliation_string":"University of Peprignan, Perpignan, France","institution_ids":["https://openalex.org/I151295451"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5113291366"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0722911,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"17","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9976000189781189,"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"}},"topics":[{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9976000189781189,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.996999979019165,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.7252466678619385},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.6953735947608948},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6412442326545715},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.39454421401023865}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7252466678619385},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.6953735947608948},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6412442326545715},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.39454421401023865},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3736112.3736142","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3736112.3736142","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming","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":7,"referenced_works":["https://openalex.org/W2043100293","https://openalex.org/W2131798279","https://openalex.org/W2132661148","https://openalex.org/W2794026873","https://openalex.org/W4285167337","https://openalex.org/W4295979716","https://openalex.org/W4396817982"],"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":{"Deep":[0],"Neural":[1],"Networks":[2],"are":[3,35],"increasingly":[4],"being":[5],"used":[6],"in":[7,25,92,136,148],"mission-critical":[8],"systems.":[9],"However,":[10,64],"their":[11,23,39],"use":[12,127],"poses":[13],"significant":[14],"safety":[15],"challenges":[16],"and":[17,105,120,130],"requires":[18],"rigorous":[19],"verification":[20,29,56,69,151],"to":[21],"ensure":[22],"correctness":[24],"all":[26],"scenarios.":[27],"Formal":[28],"methods":[30],"such":[31,51,110],"as":[32,52,111],"abstract":[33,49,90],"interpretation":[34],"commonly":[36],"used,":[37],"but":[38],"scalability":[40],"becomes":[41,71],"problematic":[42],"for":[43],"DNNs":[44],"with":[45,65],"many":[46],"parameters.":[47],"Relational":[48],"domains,":[50],"affine":[53,66],"forms,":[54,67],"improve":[55],"accuracy":[57],"by":[58],"capturing":[59],"linear":[60,100],"relationships":[61],"between":[62],"variables.":[63],"the":[68,89,99,113,126,143,146],"process":[70],"computationally":[72],"intensive.":[73],"To":[74],"address":[75],"this":[76,78],"challenge,":[77],"paper":[79],"proposes":[80],"a":[81,134],"novel":[82],"approach":[83,147],"called":[84],"batch":[85],"representation,":[86],"which":[87],"processes":[88],"values":[91],"batches":[93],"rather":[94],"than":[95],"individually.":[96],"By":[97],"exploiting":[98],"independence":[101],"of":[102,128,139,145],"noise":[103],"symbols":[104],"using":[106],"deep":[107],"learning":[108],"frameworks":[109],"Pytorch,":[112],"proposed":[114],"method":[115],"significantly":[116],"improves":[117],"computational":[118,137],"efficiency":[119],"scalability.":[121],"Experimental":[122],"results":[123],"show":[124],"that":[125],"GPUs":[129],"CPU":[131],"clusters":[132],"enables":[133],"reduction":[135],"time":[138],"about":[140],"80%,":[141],"demonstrating":[142],"effectiveness":[144],"handling":[149],"large-scale":[150],"tasks.":[152]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}