Building Useful Program Analysis Tools Using an Extensible Java Compiler. - Edward Aftandilian; Raluca Sauciuc; Siddharth Priya; Sundaresan Krishnan (SCAM, 2012)

Life-Span Expectancy and Cycle Size in the Original Autopoiesis Algorithm. - Siddharth Priya; Chrystopher L. Nehaniv (ALIFE, 2020)

Bounded Model Checking for LLVM. - Siddharth Priya; Yusen Su; Yuyan Bao; Xiang Zhou; Yakir Vizel; Arie Gurfinkel (FMCAD, 2022)

Verifying verified code. - Siddharth Priya; Xiang Zhou; Yusen Su; Yakir Vizel; Yuyan Bao; Arie Gurfinkel (Innov. Syst. Softw. Eng., 2022)

Ownership in Low-Level Intermediate Representation. - Siddharth Priya; Arie Gurfinkel (FMCAD, 2024)

Unlocking the Power of Environment Assumptions for Unit Proofs. - Siddharth Priya; Temesghen Kahsai; Arie Gurfinkel (SEFM, 2024)