Siddharth Priya

According to our database, Siddharth Priya authored at least 7 papers between 2012 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Tale of Two Case Studies: A Unified Exploration of Rust Verification with SEABMC.

Joseph Tafese, Siddharth Priya, Giuliano Losa, Arie Gurfinkel, Graydon Hoare

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

2024

Unlocking the Power of Environment Assumptions for Unit Proofs.

Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

Ownership in Low-Level Intermediate Representation.

Siddharth Priya, Arie Gurfinkel

Proceedings of the Formal Methods in Computer-Aided Design, 2024

2022

Bounded Model Checking for LLVM.

Siddharth Priya, Yusen Su, Yuyan Bao, Xiang Zhou, Yakir Vizel, Arie Gurfinkel

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

Verifying Verified Code.

Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

Life-Span Expectancy and Cycle Size in the Original Autopoiesis Algorithm.

Siddharth Priya, Chrystopher L. Nehaniv

Proceedings of the 2020 Conference on Artificial Life, 2020

2012

Building Useful Program Analysis Tools Using an Extensible Java Compiler.

Edward Aftandilian, Raluca Sauciuc, Siddharth Priya, Sundaresan Krishnan

Proceedings of the 12th IEEE International Working Conference on Source Code Analysis and Manipulation, 2012