1 citations · 1 across the 2 of their papers we have counts for
5 papers
React-ing to Grace Hopper 200: Five Open-Weights Coding Models, One React Native App, One GH200, One Weekend
Alex Potanin
We evaluate five state-of-the-art open-weights coding language models -- Kimi-K2.5 (at Q3 and Q4 quantizations), GLM-5.1, Qwen3-Coder-480B, and DeepSeek-V3.2 -- on a single multi-f…
A Survey of Algorithm Debt in Machine and Deep Learning Systems: Definition, Smells, and Future Work
Emmanuel Iko-Ojo Simon, Chirath Hettiarachchi, Fatemeh Fard +2
The adoption of Machine and Deep Learning (ML/DL) technologies introduces maintenance challenges, leading to Technical Debt (TD). Algorithm Debt (AD) is a TD type that impacts the…
Validating Quantum State Preparation Programs (Extended Version)
Liyi Li, Anshu Sharma, Zoukarneini Difaizi Tagba +2
One of the key steps in quantum algorithms is to prepare an initial quantum superposition state with different kinds of features. These so-called state preparation algorithms are e…
Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs
Matthew Britton, Sasha Pak, Alex Potanin
Refactoring tools are central to modern development, with extract-function refactorings used heavily in day-to-day work. For Rust, however, ownership, borrowing, and advanced type…
A Security Analysis of CheriBSD and Morello Linux
Dariy Guzairov, Alex Potanin, Stephen Kell +1
Memory corruption attacks have been prevalent in software for a long time. Some mitigation strategies against these attacks do exist, but they are not as far-reaching or as efficie…