{"id":"https://openalex.org/W4416649650","doi":"https://doi.org/10.1109/mis.2025.3636128","title":"SNNL: A Programming Language for Spiking Neural Network Development","display_name":"SNNL: A Programming Language for Spiking Neural Network Development","publication_year":2025,"publication_date":"2025-11-25","ids":{"openalex":"https://openalex.org/W4416649650","doi":"https://doi.org/10.1109/mis.2025.3636128"},"language":null,"primary_location":{"id":"doi:10.1109/mis.2025.3636128","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mis.2025.3636128","pdf_url":null,"source":{"id":"https://openalex.org/S114241109","display_name":"IEEE Intelligent Systems","issn_l":"1541-1672","issn":["1541-1672","1941-1294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Intelligent Systems","raw_type":"journal-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/A5100899640","display_name":"Qinghui Xing","orcid":"https://orcid.org/0000-0003-1953-4574"},"institutions":[{"id":"https://openalex.org/I168879160","display_name":"Zhejiang University of Science and Technology","ror":"https://ror.org/05mx0wr29","country_code":"CN","type":"education","lineage":["https://openalex.org/I168879160"]},{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qinghui Xing","raw_affiliation_strings":["Zhejiang University","School of Computer Science and Technology, Zhejiang University, China"],"raw_orcid":"https://orcid.org/0000-0003-1953-4574","affiliations":[{"raw_affiliation_string":"Zhejiang University","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"School of Computer Science and Technology, Zhejiang University, China","institution_ids":["https://openalex.org/I168879160"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066348944","display_name":"Zirun Li","orcid":"https://orcid.org/0000-0001-8353-4232"},"institutions":[{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]},{"id":"https://openalex.org/I75867142","display_name":"Xiamen University of Technology","ror":"https://ror.org/01285e189","country_code":"CN","type":"education","lineage":["https://openalex.org/I75867142"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zirun Li","raw_affiliation_strings":["Xiamen University","School of Electronic Science and Engineering, Xiamen University, China"],"raw_orcid":"https://orcid.org/0009-0001-6955-1260","affiliations":[{"raw_affiliation_string":"Xiamen University","institution_ids":["https://openalex.org/I191208505"]},{"raw_affiliation_string":"School of Electronic Science and Engineering, Xiamen University, China","institution_ids":["https://openalex.org/I75867142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100414321","display_name":"Ying Li","orcid":"https://orcid.org/0000-0002-7804-149X"},"institutions":[{"id":"https://openalex.org/I168879160","display_name":"Zhejiang University of Science and Technology","ror":"https://ror.org/05mx0wr29","country_code":"CN","type":"education","lineage":["https://openalex.org/I168879160"]},{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ying Li","raw_affiliation_strings":["Zhejiang University","College of Computer Science and Technology, Zhejiang University, China"],"raw_orcid":"https://orcid.org/0000-0003-1503-8725","affiliations":[{"raw_affiliation_string":"Zhejiang University","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"College of Computer Science and Technology, Zhejiang University, China","institution_ids":["https://openalex.org/I168879160"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004847496","display_name":"Schahram Dustdar","orcid":"https://orcid.org/0000-0001-6872-8821"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Schahram Dustdar","raw_affiliation_strings":["TU Wien","Distributed Systems Group, TU Wien, Austria"],"raw_orcid":"https://orcid.org/0000-0001-6872-8821","affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Distributed Systems Group, TU Wien, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040636728","display_name":"Xin Du","orcid":"https://orcid.org/0000-0002-6215-9733"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xin Du","raw_affiliation_strings":["Zhejiang University","School of Software Technology, Zhejiang University, China"],"raw_orcid":"https://orcid.org/0000-0003-1108-0248","affiliations":[{"raw_affiliation_string":"Zhejiang University","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"School of Software Technology, Zhejiang University, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084291326","display_name":"Gang Pan","orcid":"https://orcid.org/0000-0002-4049-6181"},"institutions":[{"id":"https://openalex.org/I168879160","display_name":"Zhejiang University of Science and Technology","ror":"https://ror.org/05mx0wr29","country_code":"CN","type":"education","lineage":["https://openalex.org/I168879160"]},{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Gang Pan","raw_affiliation_strings":["Zhejiang University","College of Computer Science and Technology, Zhejiang University, China"],"raw_orcid":"https://orcid.org/0000-0002-4049-6181","affiliations":[{"raw_affiliation_string":"Zhejiang University","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"College of Computer Science and Technology, Zhejiang University, China","institution_ids":["https://openalex.org/I168879160"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055284175","display_name":"Shuiguang Deng","orcid":"https://orcid.org/0000-0001-5015-6095"},"institutions":[{"id":"https://openalex.org/I168879160","display_name":"Zhejiang University of Science and Technology","ror":"https://ror.org/05mx0wr29","country_code":"CN","type":"education","lineage":["https://openalex.org/I168879160"]},{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuiguang Deng","raw_affiliation_strings":["Zhejiang University","College of Computer Science and Technology, Zhejiang University, China"],"raw_orcid":"https://orcid.org/0000-0001-5015-6095","affiliations":[{"raw_affiliation_string":"Zhejiang University","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"College of Computer Science and Technology, Zhejiang University, China","institution_ids":["https://openalex.org/I168879160"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.22171936,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"41","issue":"3","first_page":"23","last_page":"34"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9532999992370605,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9532999992370605,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12611","display_name":"Neural Networks and Reservoir Computing","score":0.009499999694526196,"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/T12808","display_name":"Ferroelectric and Negative Capacitance Devices","score":0.0071000000461936,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/neuromorphic-engineering","display_name":"Neuromorphic engineering","score":0.9483000040054321},{"id":"https://openalex.org/keywords/spiking-neural-network","display_name":"Spiking neural network","score":0.8066999912261963},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7279000282287598},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.43720000982284546},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.41999998688697815},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.4154999852180481},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.39660000801086426}],"concepts":[{"id":"https://openalex.org/C151927369","wikidata":"https://www.wikidata.org/wiki/Q1981312","display_name":"Neuromorphic engineering","level":3,"score":0.9483000040054321},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8511999845504761},{"id":"https://openalex.org/C11731999","wikidata":"https://www.wikidata.org/wiki/Q9067355","display_name":"Spiking neural network","level":3,"score":0.8066999912261963},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7279000282287598},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.5659000277519226},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4595000147819519},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.43720000982284546},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.41999998688697815},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.4154999852180481},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4023999869823456},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.39660000801086426},{"id":"https://openalex.org/C50831359","wikidata":"https://www.wikidata.org/wiki/Q165436","display_name":"Assembly language","level":3,"score":0.30720001459121704},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.30309998989105225},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.2913999855518341},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.2888999879360199},{"id":"https://openalex.org/C76518257","wikidata":"https://www.wikidata.org/wiki/Q271680","display_name":"Software framework","level":5,"score":0.2696000039577484},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2635999917984009},{"id":"https://openalex.org/C2776542497","wikidata":"https://www.wikidata.org/wiki/Q5266672","display_name":"Development (topology)","level":2,"score":0.2612000107765198},{"id":"https://openalex.org/C2742236","wikidata":"https://www.wikidata.org/wiki/Q924713","display_name":"Efficient energy use","level":2,"score":0.25519999861717224},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.2551000118255615},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2547999918460846}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mis.2025.3636128","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mis.2025.3636128","pdf_url":null,"source":{"id":"https://openalex.org/S114241109","display_name":"IEEE Intelligent Systems","issn_l":"1541-1672","issn":["1541-1672","1941-1294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Intelligent Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5147415844","display_name":null,"funder_award_id":"2022YFB4500100","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W2159951683","https://openalex.org/W2783525259","https://openalex.org/W2944996566","https://openalex.org/W2989683650","https://openalex.org/W3111137091","https://openalex.org/W3191283164","https://openalex.org/W3214253320","https://openalex.org/W4214639850","https://openalex.org/W4229445600","https://openalex.org/W4386475999","https://openalex.org/W4392928956","https://openalex.org/W4395069499","https://openalex.org/W4409014704","https://openalex.org/W4413280484"],"related_works":[],"abstract_inverted_index":{"Spiking":[0],"Neural":[1],"Networks":[2],"(SNNs)":[3],"are":[4],"gaining":[5],"attention":[6],"for":[7,49,64,137],"biological":[8],"plausibility":[9],"and":[10,18,35,67,111],"energy":[11],"efficiency.":[12],"Advances":[13],"in":[14,120,134],"neuromorphic":[15,50,70,121,138],"systems\u2014integrating":[16],"hardware":[17],"software":[19],"tools\u2014accelerate":[20],"SNN":[21,65],"implementation.":[22],"Yet,":[23],"deploying":[24],"SNNs":[25,136],"on":[26,69],"such":[27],"platforms":[28],"remains":[29],"challenging":[30],"due":[31],"to":[32],"model":[33],"complexity":[34],"system":[36],"heterogeneity,":[37],"requiring":[38],"flexible":[39,61,112],"frameworks.":[40],"Existing":[41],"tools":[42],"(e.g.,":[43],"PyNN,":[44],"Brian2)":[45],"show":[46],"limited":[47],"expressiveness":[48],"applications":[51],"or":[52],"poor":[53],"cross-platform":[54],"support.":[55],"This":[56,115],"paper":[57],"proposes":[58],"SNNL,":[59],"a":[60,96],"domain-specific":[62],"language":[63],"development":[66],"deployment":[68],"hardware.":[71],"SNNL":[72,105,133],"decouples":[73],"neuronal":[74,108],"dynamics":[75],"modeling":[76],"from":[77],"network":[78,113],"topology":[79],"specification:":[80],"equation-based":[81],"representations":[82],"handle":[83],"diverse":[84],"neuron/synapse":[85],"models,":[86],"while":[87],"hierarchical":[88],"constructs":[89],"define":[90],"complex":[91],"connectivity":[92],"patterns.":[93],"We":[94],"present":[95],"Darwin3-targeted":[97],"compiler":[98],"with":[99],"efficient":[100],"code":[101],"generation.":[102],"Evaluations":[103],"confirm":[104],"achieves":[106],"precise":[107],"dynamic":[109],"descriptions":[110],"configurations.":[114],"work":[116],"bridges":[117],"algorithm-hardware":[118],"gaps":[119],"computing":[122],"by":[123],"enhancing":[124],"programmability.":[125],"Experimental":[126],"results":[127],"have":[128],"demonstrated":[129],"the":[130],"feasibility":[131],"of":[132],"developing":[135],"systems.":[139]},"counts_by_year":[],"updated_date":"2026-07-23T05:56:39.545243","created_date":"2025-11-25T00:00:00"}