Siddharth Priya

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 5

Top Topics

Error Correcting Codes

Top Venues

Innov. Syst. Softw. Eng.

Publications

Siddharth Priya, Yusen Su, Yuyan Bao, Xiang Zhou, Yakir Vizel, Arie Gurfinkel
Bounded Model Checking for LLVM. FMCAD (2022)
Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel
Verifying verified code. Innov. Syst. Softw. Eng. 18 (3) (2022)
Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel
Verifying Verified Code. ATVA (2021)
Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel
Verifying Verified Code. CoRR (2021)
Siddharth Priya, Chrystopher L. Nehaniv
Life-Span Expectancy and Cycle Size in the Original Autopoiesis Algorithm. ALIFE (2020)
Edward Aftandilian, Raluca Sauciuc, Siddharth Priya, Sundaresan Krishnan
Building Useful Program Analysis Tools Using an Extensible Java Compiler. SCAM (2012)