ENCRUST decouples C-to-Rust translation via ABI wrappers and agentic refinement to reduce unsafe constructs across 15 real programs while preserving full test correctness.
Matsakis and Felix S
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
Qiskit is an open-source SDK that supports quantum circuit design, optimization at multiple abstraction levels, execution on hardware, and dynamic quantum-classical computations.
citing papers explorer
-
ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation
ENCRUST decouples C-to-Rust translation via ABI wrappers and agentic refinement to reduce unsafe constructs across 15 real programs while preserving full test correctness.
-
Quantum computing with Qiskit
Qiskit is an open-source SDK that supports quantum circuit design, optimization at multiple abstraction levels, execution on hardware, and dynamic quantum-classical computations.