Siddharth Priya

Orcid: 0000-0002-2172-9525

According to our database¹, Siddharth Priya authored at least 4 papers between 2012 and 2022.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2022

Verifying verified code.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2022

Bounded Model Checking for LLVM.

[BibT_eX]

[DOI]

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

2020

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Siddharth Priya

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...