publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2026

  1. Unlocking the power of environment assumptions for unit proofs
    Siddharth Priya, Temesghen Kahsai, and Arie Gurfinkel
    Software and Systems Modeling, Apr 2026
    DOI

2025

  1. A Tale of Two Case Studies: A Unified Exploration of Rust Verification with SEABMC
    Joseph Tafese, Siddharth Priya, Giuliano Losa, and 2 more authors
    In Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025, Menlo Park, CA, USA, October 6-10, 2025, Apr 2025
    DOI

2024

  1. Ownership in Low-Level Intermediate Representation
    Siddharth Priya and Arie Gurfinkel
    In Formal Methods in Computer-Aided Design, FMCAD 2024, Prague, Czech Republic, October 15-18, 2024, Apr 2024
    DOI
  2. Unlocking the Power of Environment Assumptions for Unit Proofs
    Siddharth Priya, Temesghen Kahsai, and Arie Gurfinkel
    In Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings, Apr 2024
    DOI

2022

  1. Verifying verified code
    Siddharth Priya, Xiang Zhou, Yusen Su, and 3 more authors
    Innov. Syst. Softw. Eng., Apr 2022
    DOI
  2. Bounded Model Checking for LLVM
    Siddharth Priya, Yusen Su, Yuyan Bao, and 3 more authors
    In 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, Apr 2022
    DOI

2021

  1. Verifying Verified Code
    Siddharth Priya, Xiang Zhou, Yusen Su, and 3 more authors
    In Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, Apr 2021
    DOI

2020

  1. Life-Span Expectancy and Cycle Size in the Original Autopoiesis Algorithm
    Siddharth Priya and Chrystopher L. Nehaniv
    In Conference on Artificial Life, ALIFE 2020, online, July 13-18, 2020, Apr 2020
    DOI

2012

  1. Building Useful Program Analysis Tools Using an Extensible Java Compiler
    Edward Aftandilian, Raluca Sauciuc, Siddharth Priya, and 1 more author
    In 12th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2012, Riva del Garda, Italy, September 23-24, 2012, Apr 2012
    DOI