{"id":"https://openalex.org/W4281695547","doi":"https://doi.org/10.1145/3519939.3523438","title":"PyLSE: a pulse-transfer level language for superconductor electronics","display_name":"PyLSE: a pulse-transfer level language for superconductor electronics","publication_year":2022,"publication_date":"2022-06-02","ids":{"openalex":"https://openalex.org/W4281695547","doi":"https://doi.org/10.1145/3519939.3523438"},"language":"en","primary_location":{"id":"doi:10.1145/3519939.3523438","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3519939.3523438","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3519939.3523438","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3519939.3523438","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101637424","display_name":"Michael Christensen","orcid":"https://orcid.org/0000-0002-7614-5295"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Michael Christensen","raw_affiliation_strings":["University of California at Santa Barbara, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Santa Barbara, USA","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019627345","display_name":"Georgios Tzimpragos","orcid":"https://orcid.org/0000-0002-0127-4703"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Georgios Tzimpragos","raw_affiliation_strings":["University of California at Santa Barbara, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Santa Barbara, USA","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000417463","display_name":"Harlan Kringen","orcid":null},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Harlan Kringen","raw_affiliation_strings":["University of California at Santa Barbara, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Santa Barbara, USA","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103035410","display_name":"Jennifer Volk","orcid":"https://orcid.org/0009-0007-2540-3964"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jennifer Volk","raw_affiliation_strings":["University of California at Santa Barbara, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Santa Barbara, USA","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036932071","display_name":"Timothy Sherwood","orcid":"https://orcid.org/0000-0002-6550-6075"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Timothy Sherwood","raw_affiliation_strings":["University of California at Santa Barbara, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Santa Barbara, USA","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074393511","display_name":"Ben Hardekopf","orcid":"https://orcid.org/0009-0008-1199-6129"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ben Hardekopf","raw_affiliation_strings":["University of California at Santa Barbara, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Santa Barbara, USA","institution_ids":["https://openalex.org/I154570441"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5101637424"],"corresponding_institution_ids":["https://openalex.org/I154570441"],"apc_list":null,"apc_paid":null,"fwci":0.3694,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.56512968,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"671","last_page":"686"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10472","display_name":"Semiconductor materials and devices","score":0.9998000264167786,"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/T10472","display_name":"Semiconductor materials and devices","score":0.9998000264167786,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9990000128746033,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.6847453117370605},{"id":"https://openalex.org/keywords/stateful-firewall","display_name":"Stateful firewall","score":0.5808622241020203},{"id":"https://openalex.org/keywords/electronics","display_name":"Electronics","score":0.5423008799552917},{"id":"https://openalex.org/keywords/electronic-engineering","display_name":"Electronic engineering","score":0.4503166675567627},{"id":"https://openalex.org/keywords/adder","display_name":"Adder","score":0.4492248594760895},{"id":"https://openalex.org/keywords/cmos","display_name":"CMOS","score":0.35587960481643677},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.3044910728931427},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.18113994598388672}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6847453117370605},{"id":"https://openalex.org/C22927095","wikidata":"https://www.wikidata.org/wiki/Q1784206","display_name":"Stateful firewall","level":3,"score":0.5808622241020203},{"id":"https://openalex.org/C138331895","wikidata":"https://www.wikidata.org/wiki/Q11650","display_name":"Electronics","level":2,"score":0.5423008799552917},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.4503166675567627},{"id":"https://openalex.org/C164620267","wikidata":"https://www.wikidata.org/wiki/Q376953","display_name":"Adder","level":3,"score":0.4492248594760895},{"id":"https://openalex.org/C46362747","wikidata":"https://www.wikidata.org/wiki/Q173431","display_name":"CMOS","level":2,"score":0.35587960481643677},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.3044910728931427},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.18113994598388672},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3519939.3523438","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3519939.3523438","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3519939.3523438","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3519939.3523438","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3519939.3523438","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3519939.3523438","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G218308366","display_name":null,"funder_award_id":"1717779","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G480730029","display_name":"Collaborative Research: SHF: Small: Integrating Synthesis and Optimization in Satisfiability Modulo Theories","funder_award_id":"2006542","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8861760227","display_name":null,"funder_award_id":"1763699","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4281695547.pdf","grobid_xml":"https://content.openalex.org/works/W4281695547.grobid-xml"},"referenced_works_count":46,"referenced_works":["https://openalex.org/W616429135","https://openalex.org/W1512065445","https://openalex.org/W1962072139","https://openalex.org/W1983394510","https://openalex.org/W1991935432","https://openalex.org/W2021030805","https://openalex.org/W2049600101","https://openalex.org/W2054563703","https://openalex.org/W2059410770","https://openalex.org/W2070992435","https://openalex.org/W2075773711","https://openalex.org/W2089242324","https://openalex.org/W2099924351","https://openalex.org/W2101508170","https://openalex.org/W2102175706","https://openalex.org/W2110114082","https://openalex.org/W2110500267","https://openalex.org/W2119587409","https://openalex.org/W2132233774","https://openalex.org/W2141389982","https://openalex.org/W2166334657","https://openalex.org/W2167668895","https://openalex.org/W2169863537","https://openalex.org/W2218744901","https://openalex.org/W2257076037","https://openalex.org/W2531060293","https://openalex.org/W2566706182","https://openalex.org/W2761225910","https://openalex.org/W2761973445","https://openalex.org/W2788342898","https://openalex.org/W2799333356","https://openalex.org/W2920419689","https://openalex.org/W2920834742","https://openalex.org/W2933264412","https://openalex.org/W2952257392","https://openalex.org/W2992647434","https://openalex.org/W3012103594","https://openalex.org/W3042739568","https://openalex.org/W3102271837","https://openalex.org/W3105850352","https://openalex.org/W3138700451","https://openalex.org/W3173245066","https://openalex.org/W3191540685","https://openalex.org/W4205212523","https://openalex.org/W4246335999","https://openalex.org/W4253103663"],"related_works":["https://openalex.org/W2583381754","https://openalex.org/W2144255176","https://openalex.org/W2222333653","https://openalex.org/W109977192","https://openalex.org/W1970797462","https://openalex.org/W2566747981","https://openalex.org/W4312120139","https://openalex.org/W2183015194","https://openalex.org/W2109445684","https://openalex.org/W2081082331"],"abstract_inverted_index":{"Superconductor":[0],"electronics":[1],"(SCE)":[2],"run":[3],"at":[4],"hundreds":[5],"of":[6,13,17,32,51,77,140],"GHz":[7],"and":[8,23,55,105,113,131,135,147],"consume":[9],"only":[10],"a":[11,67,107,138],"fraction":[12],"the":[14,52,71],"dynamic":[15],"power":[16],"CMOS,":[18],"but":[19],"are":[20,40],"naturally":[21],"pulse-based,":[22],"operate":[24],"on":[25,102],"impulses":[26],"with":[27],"picosecond":[28],"widths.":[29],"The":[30],"transiency":[31],"these":[33],"operations":[34],"necessitates":[35],"using":[36,74],"logic":[37],"cells":[38,116,141],"that":[39],"inherently":[41],"stateful.":[42],"Adopting":[43],"stateful":[44],"gates,":[45],"however,":[46],"implies":[47],"an":[48,87],"entire":[49],"reconstruction":[50],"design,":[53],"simulation,":[54],"verification":[56],"stack.":[57],"Though":[58],"challenging,":[59],"this":[60,82],"unique":[61],"opportunity":[62],"allows":[63],"us":[64],"to":[65,111],"build":[66,106],"design":[68],"framework":[69,108],"from":[70],"ground":[72],"up":[73],"fundamental":[75],"principles":[76],"programming":[78],"language":[79,91],"design.":[80],"To":[81,118],"end,":[83],"we":[84,122],"propose":[85],"PyLSE,":[86],"embedded":[88],"pulse-transfer":[89],"level":[90],"for":[92],"superconductor":[93],"electronics.":[94],"We":[95],"define":[96],"PyLSE":[97],"through":[98],"formal":[99],"semantics":[100],"based":[101],"transition":[103],"systems,":[104],"around":[109],"them":[110],"simulate":[112],"analyze":[114],"SCE":[115],"digitally.":[117],"demonstrate":[119],"its":[120,124,133],"features,":[121],"verify":[123],"results":[125],"by":[126],"model":[127],"checking":[128],"in":[129,149],"UPPAAL,":[130],"compare":[132],"complexity":[134],"timing":[136],"against":[137],"set":[139],"designed":[142],"as":[143],"analog":[144],"circuit":[145],"schematics":[146],"simulated":[148],"Cadence.":[150]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}