Copertina

RustSFQ: A Domain-Specific Language for SFQ Circuit Design

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Oishi, Mebuki, Tanaka, Sun, Takamaeda-Yamazaki, Shinya
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators
di: Tanaka, Izumi, et al.
Pubblicazione: (2026)

xeSFQ: Clockless SFQ Logic with Zero Static Power
di: Volk, Jennifer, et al.
Pubblicazione: (2024)

Unleashing the Power of T1-cells in SFQ Arithmetic Circuits
di: Bairamkulov, Rassul, et al.
Pubblicazione: (2024)

Development of a Neuromorphic Network Using BioSFQ Circuits
di: Golden, Evan B., et al.
Pubblicazione: (2024)

An Empirical Study of Rust-Specific Bugs in the rustc Compiler
di: Liu, Zixi, et al.
Pubblicazione: (2025)

An On-Chip Trainable Neuron Circuit for SFQ-Based Spiking Neural Networks
di: Ucpinar, Beyza Zeynep, et al.
Pubblicazione: (2023)

Domain-Specific Tensor Languages
di: Bernardy, Jean-Philippe, et al.
Pubblicazione: (2023)

Reed-Muller Error-Correction Code Encoder for SFQ-to-CMOS Interface Circuits
di: Mustafa, Yerzhan, et al.
Pubblicazione: (2026)

Unsupervised SFQ-Based Spiking Neural Network
di: Karamuftuoglu, Mustafa Altay, et al.
Pubblicazione: (2023)

SFQ counter-based precomputation for large-scale cryogenic VQE machines
di: Ueno, Yosuke, et al.
Pubblicazione: (2024)

Crux, a Precise Verifier for Rust and Other Languages
di: Pernsteiner, Stuart, et al.
Pubblicazione: (2024)

AR-SFQ: Asynchronous Reset Library Using α-Cell Design
di: Kopur, Yasemin, et al.
Pubblicazione: (2025)

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
di: Wu, Jinhua, et al.
Pubblicazione: (2026)

Towards verifying unsafe Rust programs against Rust's pointer-aliasing restrictions
di: Tas, Wannes, et al.
Pubblicazione: (2026)

PermRust: A Token-based Permission System for Rust
di: Gehring, Lukas, et al.
Pubblicazione: (2025)

Charon: An Analysis Framework for Rust
di: Ho, Son, et al.
Pubblicazione: (2024)

Surveying the Rust Verification Landscape
di: Blanc, Alex Le, et al.
Pubblicazione: (2024)

Auditing Rust Crates Effectively
di: Zoghbi, Lydia, et al.
Pubblicazione: (2026)

RustMC: Extending the GenMC stateless model checker to Rust
di: Pearce, Oliver, et al.
Pubblicazione: (2025)

A Hybrid Approach to Semi-automated Rust Verification
di: Ayoun, Sacha-Élie, et al.
Pubblicazione: (2024)

The Formal Semantics and Implementation of a Domain-Specific Language for Mixed-Initiative Dialogs
di: Rowland, Zachary S., et al.
Pubblicazione: (2025)

NPB-Rust: NAS Parallel Benchmarks in Rust
di: Martins, Eduardo M., et al.
Pubblicazione: (2025)

Annotating and Auditing the Safety Properties of Unsafe Rust
di: Rao, Zihao, et al.
Pubblicazione: (2025)

Cocoon: Static Information Flow Control in Rust
di: Lamba, Ada, et al.
Pubblicazione: (2023)

Translating Large-Scale C Repositories to Idiomatic Rust
di: Dehghan, Saman, et al.
Pubblicazione: (2025)

TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
di: Chen, Hung-Mao, et al.
Pubblicazione: (2025)

&inator: Correct, Precise C-to-Rust Interface Translation
di: Chen, Victor, et al.
Pubblicazione: (2026)

Scylla: Translating an Applicative Subset of C to Safe Rust
di: Fromherz, Aymeric, et al.
Pubblicazione: (2024)

ALEA IACTA EST: A Declarative Domain-Specific Language for Manually Performable Random Experiments
di: Widemann, Baltasar Trancón y, et al.
Pubblicazione: (2025)

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
di: Matsushita, Yusuke, et al.
Pubblicazione: (2026)

Mapple: A Domain-Specific Language for Mapping Distributed Programs
di: Wei, Anjiang, et al.
Pubblicazione: (2025)

DriftScript: A Domain-Specific Language for Programming Non-Axiomatic Reasoning Agents
di: Brady, Seamus
Pubblicazione: (2026)

An Interactive Debugger for Rust Trait Errors
di: Gray, Gavin, et al.
Pubblicazione: (2025)

Garbage Collection for Rust: The Finalizer Frontier
di: Hughes, Jacob, et al.
Pubblicazione: (2025)

Conditional Nested Pattern Matching in Interaction Net
di: Sato, Shinya
Pubblicazione: (2024)

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
di: Yang, Aidan Z. H., et al.
Pubblicazione: (2024)

Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
di: Lian, Qihao, et al.
Pubblicazione: (2025)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
di: Ho, Son, et al.
Pubblicazione: (2024)

Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
di: Grannan, Zachary, et al.
Pubblicazione: (2025)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
di: Sim, HoHyun, et al.
Pubblicazione: (2025)