Monte Carlo methods are fundamental to finance, system verification, and scientific simulation, but converge slowly: achieving an additive error of є requires O(1/є2) samples. Quantum Amplitude Estimation (QAE) offers a quadratic speedup by encoding the target probabilistic model into a quantum circuit. However, constr...
Seungmin Jeon, Jaeho Choi, J. Jeon et al.· Proceedings of the ACM on Pr...· 0 citations
This work introduces Consensus-SpecTec, a mechanized specification of the Ethereum consensus algorithm, which makes validity conditions explicit as if-premises, and defines premise coverage, a metric that measures which if-premises are evaluated to true and false across spectests.
S. Jeong, Gyeongmin Dan, Sukyoung Ryu et al.· Proceedings of the 41st IEEE...· 0 citations
An empirical study of 30 issues that report potential soundness bugs in rustc, collected from the GitHub issue tracker between January 1, 2022 and September 1, 2025, indicates that certain soundness bugs, typically triggered by implied bounds or trait objects, compromise memory safety.
Yusung Sim, Sukyoung Ryu, Jaemin Hong· Proceedings of the ACM on So...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
