Siddharth Priya

11 papers B 5C 2Journal 4
YearRankTypeTitle / Venue / Authors
2025 B conf
A Tale of Two Case Studies: A Unified Exploration of Rust Verification with SEABMC.
FMCAD
Joseph Tafese, Siddharth Priya, Giuliano Losa, Arie Gurfinkel, Graydon Hoare
2024 B conf
Ownership in Low-Level Intermediate Representation.
FMCAD
Siddharth Priya, Arie Gurfinkel
2024 J jnl
Ownership in low-level intermediate representation.
CoRR
Siddharth Priya, Arie Gurfinkel
2024 B conf
Unlocking the Power of Environment Assumptions for Unit Proofs.
SEFM
Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel
2024 J jnl
Unlocking the Power of Environment Assumptions for Unit Proofs.
CoRR
Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel
2022 B conf
Bounded Model Checking for LLVM.
FMCAD
Siddharth Priya, Yusen Su, Yuyan Bao, Xiang Zhou, Yakir Vizel, Arie Gurfinkel
2022 J jnl
Verifying verified code.
Innov. Syst. Softw. Eng.
Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel
2021 B conf
Verifying Verified Code.
ATVA
Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel
2021 J jnl
Verifying Verified Code.
CoRR
Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel
2020 C conf
Life-Span Expectancy and Cycle Size in the Original Autopoiesis Algorithm.
ALIFE
Siddharth Priya, Chrystopher L. Nehaniv
2012 C conf
Building Useful Program Analysis Tools Using an Extensible Java Compiler.
SCAM
Edward Aftandilian, Raluca Sauciuc, Siddharth Priya, Sundaresan Krishnan