{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T04:59:38Z","timestamp":1768107578229,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,3,9]],"date-time":"2020-03-09T00:00:00Z","timestamp":1583712000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["1740352; 1730309; 1717779; 1563935"],"award-info":[{"award-number":["1740352; 1730309; 1717779; 1563935"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,3,9]]},"DOI":"10.1145\/3373376.3378517","type":"proceedings-article","created":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T22:37:01Z","timestamp":1584139021000},"page":"435-448","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":44,"title":["A Computational Temporal Logic for Superconducting Accelerators"],"prefix":"10.1145","author":[{"given":"Georgios","family":"Tzimpragos","sequence":"first","affiliation":[{"name":"University of California, Santa Barbara, Santa Barbara, CA, USA"}]},{"given":"Dilip","family":"Vasudevan","sequence":"additional","affiliation":[{"name":"Lawrence Berkeley National Laboratory, Berkeley, CA, USA"}]},{"given":"Nestan","family":"Tsiskaridze","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara, Santa Barbara, CA, USA"}]},{"given":"George","family":"Michelogiannakis","sequence":"additional","affiliation":[{"name":"Lawrence Berkeley National Laboratory, Berkeley, CA, USA"}]},{"given":"Advait","family":"Madhavan","sequence":"additional","affiliation":[{"name":"National Institute of Standards and Technology & University of Maryland, Gaithersburg, MD, USA"}]},{"given":"Jennifer","family":"Volk","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara, Santa Barbara, CA, USA"}]},{"given":"John","family":"Shalf","sequence":"additional","affiliation":[{"name":"Lawrence Berkeley National Laboratory, Berkeley, CA, USA"}]},{"given":"Timothy","family":"Sherwood","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara, Santa Barbara, CA, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,3,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASC.2016.2565609"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/JRPROC.1956.274927"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3307650.3322270"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/77.783712"},{"key":"e_1_3_2_1_5_1","volume-title":"Formal Methods in Computer-Aided Design , , Alan J. Hu and Andrew K","author":"Cimatti Alessandro"},{"key":"e_1_3_2_1_6_1","first-page":"2","article-title":"Data-driven self-timed RSFQ digital integrated circuit and system","volume":"7","author":"Deng Z. J.","year":"1997","journal-title":"IEEE Transactions on Applied Superconductivity"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/77.919349"},{"key":"e_1_3_2_1_8_1","volume-title":"High Performance Clock Distribution Networks","author":"Friedman Eby G."},{"key":"e_1_3_2_1_9_1","volume-title":"Temporal Logic in Specification","author":"Gabbay Dov"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007903527533"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2015.375"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASC.2013.2244634"},{"key":"e_1_3_2_1_14_1","volume-title":"The resistance of pure mercury at helium temperatures. Commun. Phys. Lab","author":"Onnes H. Kamerlingh","year":"1911"},{"key":"e_1_3_2_1_16_1","volume-title":"Automation Test in Europe Conference Exhibition (DATE) . 1781--1787","author":"Katam N. K.","year":"2019"},{"key":"e_1_3_2_1_17_1","volume-title":"Superconductor digital electronics. Physica C: Superconductivity and its Applications","author":"Likharev Konstantin K.","year":"2012"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/77.80745"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2678373.2665747"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/CICC.2017.7993630"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCA.2015.2412553"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/20.92421"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2018.2822300"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1971.8133"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2018.00033"},{"key":"e_1_3_2_1_26_1","unstructured":"James E. Smith. 2019. (Newtonian) Space-Time Algebra. arxiv: cs.LO\/2001.04242  James E. Smith. 2019. (Newtonian) Space-Time Algebra. arxiv: cs.LO\/2001.04242"},{"key":"e_1_3_2_1_27_1","volume-title":"Alexander L Gudkov, and Anatoli S Sidorenko.","author":"Soloviev Igor I","year":"2017"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASC.2016.2555905"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASC.2018.2799994"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TASC.2015.2507125","article-title":"4-bit Bit-Slice Arithmetic Logic Unit for 32-bit RSFQ Microprocessors","volume":"26","author":"Tang G.","year":"2016","journal-title":"IEEE Transactions on Applied Superconductivity"},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the 16th ACM International Conference on Computing Frontiers (CF '19)","author":"Tannu Swamit S."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.4948618"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304036"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASC.2007.898606"}],"event":{"name":"ASPLOS '20: Architectural Support for Programming Languages and Operating Systems","location":"Lausanne Switzerland","acronym":"ASPLOS '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373376.3378517","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373376.3378517","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373376.3378517","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:16Z","timestamp":1750199896000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373376.3378517"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,9]]},"references-count":32,"alternative-id":["10.1145\/3373376.3378517","10.1145\/3373376"],"URL":"https:\/\/doi.org\/10.1145\/3373376.3378517","relation":{},"subject":[],"published":{"date-parts":[[2020,3,9]]},"assertion":[{"value":"2020-03-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}