Siddharth Priya
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2012–2025
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMCAD | A Tale of Two Case Studies: A Unified Exploration of Rust Verification with SEABMC. | Joseph Tafese, Siddharth Priya, Giuliano Losa, Arie Gurfinkel, Graydon Hoare |
| 2024 | FMCAD | Ownership in Low-Level Intermediate Representation. | Siddharth Priya, Arie Gurfinkel |
| 2024 | SEFM | Unlocking the Power of Environment Assumptions for Unit Proofs. | Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel |
| 2022 | FMCAD | Bounded Model Checking for LLVM. | Siddharth Priya, Yusen Su, Yuyan Bao, Xiang Zhou, Yakir Vizel, Arie Gurfinkel |
| 2021 | ATVA | Verifying Verified Code. | Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel |
| 2012 | SCAM | Building Useful Program Analysis Tools Using an Extensible Java Compiler. | Edward Aftandilian, Raluca Sauciuc, Siddharth Priya, Sundaresan Krishnan |