FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3108983691> ?p ?o ?g. }

• W3108983691 abstract "We present CertiQ, a verification framework for writing and verifying compiler passes of Qiskit, the most widely-used quantum compiler. To our knowledge, CertiQ is the first effort enabling the verification of real-world quantum compiler passes in a mostly-automated manner. Compiler passes written in the CertiQ interface with annotations can be used to generate verification conditions, as well as the executable code that can be integrated into Qiskit. CertiQ introduces the quantum circuit calculus to enable the efficient checking of equivalence of quantum circuits by encoding such a checking procedure into an SMT problem. CertiQ also provides a verified library of widely-used data structures, transformation functions for circuits, and conversion functions for different quantum data representations. This verified library not only enables modular verification but also sheds light on future quantum compiler design. We have re-implemented and verified 26 (out of 30) Qiskit compiler passes in CertiQ, during which three bugs are detected in the Qiskit implementation. Our verified compiler pass implementations passed all of Qiskit's regression tests without showing noticeable performance loss." @default.
• W3108983691 created "2020-12-07" @default.
• W3108983691 creator A5000031216 @default.
• W3108983691 creator A5016831506 @default.
• W3108983691 creator A5035119066 @default.
• W3108983691 creator A5045226769 @default.
• W3108983691 creator A5064909614 @default.
• W3108983691 creator A5079557370 @default.
• W3108983691 creator A5083979678 @default.
• W3108983691 date "2019-08-23" @default.
• W3108983691 modified "2023-09-26" @default.
• W3108983691 title "CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler" @default.
• W3108983691 cites W1480909796 @default.
• W3108983691 cites W1493472896 @default.
• W3108983691 cites W1572916684 @default.
• W3108983691 cites W1669113757 @default.
• W3108983691 cites W2003164052 @default.
• W3108983691 cites W2023035194 @default.
• W3108983691 cites W2041617655 @default.
• W3108983691 cites W2044357043 @default.
• W3108983691 cites W2092494161 @default.
• W3108983691 cites W2125125126 @default.
• W3108983691 cites W2153185479 @default.
• W3108983691 cites W2576393274 @default.
• W3108983691 cites W2734474749 @default.
• W3108983691 cites W2761236351 @default.
• W3108983691 cites W2771370296 @default.
• W3108983691 cites W2781738013 @default.
• W3108983691 cites W2884575413 @default.
• W3108983691 cites W2891199480 @default.
• W3108983691 cites W2898693507 @default.
• W3108983691 cites W2903516100 @default.
• W3108983691 cites W2913384061 @default.
• W3108983691 cites W2941082703 @default.
• W3108983691 cites W2949686459 @default.
• W3108983691 cites W2974073952 @default.
• W3108983691 cites W32507011 @default.
• W3108983691 cites W3144623956 @default.
• W3108983691 doi "https://doi.org/10.48550/arxiv.1908.08963" @default.
• W3108983691 hasPublicationYear "2019" @default.
• W3108983691 type Work @default.
• W3108983691 sameAs 3108983691 @default.
• W3108983691 citedByCount "4" @default.
• W3108983691 countsByYear W31089836912019 @default.
• W3108983691 countsByYear W31089836912021 @default.
• W3108983691 countsByYear W31089836912023 @default.
• W3108983691 crossrefType "posted-content" @default.
• W3108983691 hasAuthorship W3108983691A5000031216 @default.
• W3108983691 hasAuthorship W3108983691A5016831506 @default.
• W3108983691 hasAuthorship W3108983691A5035119066 @default.
• W3108983691 hasAuthorship W3108983691A5045226769 @default.
• W3108983691 hasAuthorship W3108983691A5064909614 @default.
• W3108983691 hasAuthorship W3108983691A5079557370 @default.
• W3108983691 hasAuthorship W3108983691A5083979678 @default.
• W3108983691 hasBestOaLocation W31089836911 @default.
• W3108983691 hasConcept C101468663 @default.
• W3108983691 hasConcept C111498074 @default.
• W3108983691 hasConcept C111564260 @default.
• W3108983691 hasConcept C121332964 @default.
• W3108983691 hasConcept C124148022 @default.
• W3108983691 hasConcept C160145156 @default.
• W3108983691 hasConcept C169590947 @default.
• W3108983691 hasConcept C173608175 @default.
• W3108983691 hasConcept C186468114 @default.
• W3108983691 hasConcept C190902152 @default.
• W3108983691 hasConcept C199360897 @default.
• W3108983691 hasConcept C29331672 @default.
• W3108983691 hasConcept C41008148 @default.
• W3108983691 hasConcept C58053490 @default.
• W3108983691 hasConcept C62520636 @default.
• W3108983691 hasConcept C68366613 @default.
• W3108983691 hasConcept C84114770 @default.
• W3108983691 hasConcept C96654402 @default.
• W3108983691 hasConcept C9957790 @default.
• W3108983691 hasConceptScore W3108983691C101468663 @default.
• W3108983691 hasConceptScore W3108983691C111498074 @default.
• W3108983691 hasConceptScore W3108983691C111564260 @default.
• W3108983691 hasConceptScore W3108983691C121332964 @default.
• W3108983691 hasConceptScore W3108983691C124148022 @default.
• W3108983691 hasConceptScore W3108983691C160145156 @default.
• W3108983691 hasConceptScore W3108983691C169590947 @default.
• W3108983691 hasConceptScore W3108983691C173608175 @default.
• W3108983691 hasConceptScore W3108983691C186468114 @default.
• W3108983691 hasConceptScore W3108983691C190902152 @default.
• W3108983691 hasConceptScore W3108983691C199360897 @default.
• W3108983691 hasConceptScore W3108983691C29331672 @default.
• W3108983691 hasConceptScore W3108983691C41008148 @default.
• W3108983691 hasConceptScore W3108983691C58053490 @default.
• W3108983691 hasConceptScore W3108983691C62520636 @default.
• W3108983691 hasConceptScore W3108983691C68366613 @default.
• W3108983691 hasConceptScore W3108983691C84114770 @default.
• W3108983691 hasConceptScore W3108983691C96654402 @default.
• W3108983691 hasConceptScore W3108983691C9957790 @default.
• W3108983691 hasLocation W31089836911 @default.
• W3108983691 hasOpenAccess W3108983691 @default.
• W3108983691 hasPrimaryLocation W31089836911 @default.
• W3108983691 hasRelatedWork W1977285665 @default.
• W3108983691 hasRelatedWork W1996576978 @default.
• W3108983691 hasRelatedWork W2004605222 @default.
• W3108983691 hasRelatedWork W2056408260 @default.

• next