publications

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

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, 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, 2024
    DOI

2022

  1. Verifying verified code
    Siddharth Priya, Xiang Zhou, Yusen Su, and 3 more authors
    Innov. Syst. Softw. Eng., 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, 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, 2021
    DOI

2020

  1. Life-Span Expectancy and Cycle Size in the Original Autopoiesis Algorithm
    Siddharth Priya and Chrystopher L. Nehaniv
    In 2020 Conference on Artificial Life, ALIFE 2020, online, July 13-18, 2020, 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, 2012
    DOI