{"id":"https://openalex.org/W3193527574","doi":"https://doi.org/10.1145/3476886.3477508","title":"Building verified neural networks with specifications for systems","display_name":"Building verified neural networks with specifications for systems","publication_year":2021,"publication_date":"2021-08-19","ids":{"openalex":"https://openalex.org/W3193527574","doi":"https://doi.org/10.1145/3476886.3477508","mag":"3193527574"},"language":"en","primary_location":{"id":"doi:10.1145/3476886.3477508","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3476886.3477508","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th ACM SIGOPS Asia-Pacific Workshop on Systems","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/A5059973546","display_name":"Cheng Tan","orcid":"https://orcid.org/0000-0003-3727-2889"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Cheng Tan","raw_affiliation_strings":["Bytedance Inc"],"affiliations":[{"raw_affiliation_string":"Bytedance Inc","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028120333","display_name":"Yibo Zhu","orcid":"https://orcid.org/0000-0002-9113-2660"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yibo Zhu","raw_affiliation_strings":["ByteDance Inc"],"affiliations":[{"raw_affiliation_string":"ByteDance Inc","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054205326","display_name":"Chuanxiong Guo","orcid":"https://orcid.org/0000-0002-0730-8468"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chuanxiong Guo","raw_affiliation_strings":["Bytedance Inc"],"affiliations":[{"raw_affiliation_string":"Bytedance Inc","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5059973546"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2719,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.62899652,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"42","last_page":"47"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9998999834060669,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9998999834060669,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9990000128746033,"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/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9983000159263611,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8181648850440979},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.7654695510864258},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5409598350524902},{"id":"https://openalex.org/keywords/deep-neural-networks","display_name":"Deep neural networks","score":0.4932026267051697},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.40698719024658203}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8181648850440979},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.7654695510864258},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5409598350524902},{"id":"https://openalex.org/C2984842247","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep neural networks","level":3,"score":0.4932026267051697},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.40698719024658203}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3476886.3477508","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3476886.3477508","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th ACM SIGOPS Asia-Pacific Workshop on Systems","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":15,"referenced_works":["https://openalex.org/W2004252880","https://openalex.org/W2594877703","https://openalex.org/W2616028256","https://openalex.org/W2798356176","https://openalex.org/W2809925683","https://openalex.org/W2962771342","https://openalex.org/W2963222872","https://openalex.org/W2967595108","https://openalex.org/W2968986602","https://openalex.org/W2981731882","https://openalex.org/W3007157104","https://openalex.org/W3011083606","https://openalex.org/W3153972158","https://openalex.org/W4237896451","https://openalex.org/W6749259350"],"related_works":["https://openalex.org/W2961085424","https://openalex.org/W4306674287","https://openalex.org/W3046775127","https://openalex.org/W3107602296","https://openalex.org/W4394896187","https://openalex.org/W3170094116","https://openalex.org/W4386462264","https://openalex.org/W4364306694","https://openalex.org/W4312192474","https://openalex.org/W4283697347"],"abstract_inverted_index":{"Neural":[0],"networks":[1],"(NNs)":[2],"are":[3,41],"beneficial":[4],"to":[5,31,85,105],"many":[6,95],"services,":[7],"and":[8,66],"we":[9,49],"believe":[10],"systems\u2014such":[11],"as":[12],"OSes,":[13],"databases,":[14],"networked":[15],"systems\u2014are":[16],"not":[17,42],"an":[18],"exception.":[19],"But":[20],"applying":[21],"NNs":[22,37,57,107],"in":[23,108],"these":[24,46],"critical":[25,109],"systems":[26,110],"is":[27,92],"challenging:":[28],"people":[29],"have":[30],"risk":[32],"getting":[33],"unexpected":[34],"outcomes":[35],"from":[36],"because":[38],"NN":[39,90],"behaviors":[40,72],"well-defined.":[43],"To":[44],"tame":[45],"undefined":[47],"behaviors,":[48],"introduce":[50],"a":[51,74,78],"framework":[52],"ouroboros,":[53],"which":[54,69],"builds":[55],"verified":[56,89],"that":[58,87],"follow":[59],"user-defined":[60],"specifications.":[61],"These":[62],"specifications":[63],"comprise":[64],"input":[65],"output":[67],"constraints":[68],"characterize":[70],"the":[71,102],"of":[73],"NN.":[75],"We":[76],"do":[77],"case":[79],"study":[80],"on":[81],"database":[82],"learned":[83],"indexes":[84],"demonstrate":[86],"training":[88],"models":[91],"possible.":[93],"Though":[94],"challenges":[96],"remain,":[97],"ouroboros":[98],"enables":[99],"us,":[100],"for":[101],"first":[103],"time,":[104],"apply":[106],"with":[111],"_confidence_.":[112]},"counts_by_year":[{"year":2024,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}