{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T15:34:13Z","timestamp":1772724853142,"version":"3.50.1"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,3,14]],"date-time":"2022-03-14T00:00:00Z","timestamp":1647216000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,3,14]],"date-time":"2022-03-14T00:00:00Z","timestamp":1647216000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000781","name":"ERC","doi-asserted-by":"publisher","award":["H2020-ERC-2014-ADG 669354"],"award-info":[{"award-number":["H2020-ERC-2014-ADG 669354"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,3,14]]},"DOI":"10.23919\/date54114.2022.9774510","type":"proceedings-article","created":{"date-parts":[[2022,5,19]],"date-time":"2022-05-19T20:35:05Z","timestamp":1652992505000},"page":"7-12","source":"Crossref","is-referenced-by-count":4,"title":["tweedledum: A Compiler Companion for Quantum Computing"],"prefix":"10.23919","author":[{"given":"Bruno","family":"Schmitt","sequence":"first","affiliation":[{"name":"Integrated Systems Laboratory (LSI), EPFL,Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"De Micheli","sequence":"additional","affiliation":[{"name":"Integrated Systems Laboratory (LSI), EPFL,Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref30","author":"barenco","year":"1995","journal-title":"Elementary gates for quantum computation"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab9acb"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2597917.2597939"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab9359"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab8e92"},{"key":"ref14","author":"larose","year":"2019","journal-title":"Overview and Comparison of Gate Level Quantum Software Platforms"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386007"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2459034"},{"key":"ref17","author":"amy","year":"2014","journal-title":"Polynomial-time T-depth Optimization of Clifford+ T circuits via Matroid Partitioning"},{"key":"ref18","author":"wootters","year":"1982","journal-title":"A single quantum cannot be cloned"},{"key":"ref19","article-title":"The epfl logic synthesis libraries","author":"soeken","year":"2018","journal-title":"Preprint"},{"key":"ref4","author":"chong","year":"2017","journal-title":"Programming languages and compiler design for realistic quantum hardware"},{"key":"ref28","author":"kissinger","year":"2019","journal-title":"CNOT circuit extraction for topologically-constrained quantum memories"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.23919\/DATE51398.2021.9474163"},{"key":"ref3","author":"jordan","year":"0"},{"key":"ref6","year":"2019","journal-title":"Qiskit An open-source framework for quantum computing"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3183895.3183901"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL49045.2020.00-34"},{"key":"ref8","author":"bergholm","year":"2020","journal-title":"Pennylane Automatic differentiation of hybrid quantum-classical computations"},{"key":"ref7","author":"smith","year":"2017","journal-title":"A practical quantum instruction set architecture"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1126\/science.abe8770"},{"key":"ref9","author":"saeedi","year":"2013","journal-title":"Synthesis and Optimization of Reversible Circuits - A Survey"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1038\/s41586-019-1666-5","article-title":"Quantum supremacy using a programmable superconducting processor","volume":"574","author":"martinis","year":"2019","journal-title":"Nature"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775915"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1137\/0218053"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.3934\/amc.2008.2.183"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-20323-8_8"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2019.00011"},{"key":"ref26","author":"soeken","year":"2019","journal-title":"LUT-Based Hierarchical Reversible Logic Synthesis"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715275"}],"event":{"name":"2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Antwerp, Belgium","start":{"date-parts":[[2022,3,14]]},"end":{"date-parts":[[2022,3,23]]}},"container-title":["2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9774496\/9774497\/09774510.pdf?arnumber=9774510","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,11]],"date-time":"2022-07-11T20:06:00Z","timestamp":1657569960000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9774510\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,14]]},"references-count":30,"URL":"https:\/\/doi.org\/10.23919\/date54114.2022.9774510","relation":{},"subject":[],"published":{"date-parts":[[2022,3,14]]}}}