Siva Somayyajula

According to our database, Siva Somayyajula authored at least 5 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Dafny as Verification-Aware Intermediate Language for Code Generation.

Yue Chen Li, Stefan Zetzsche, Siva Somayyajula

CoRR, January, 2025

2024

Total Correctness Type Refinements for Communicating Processes

Siva Somayyajula

PhD thesis, 2024

2023

Dependent Type Refinements for Futures.

Siva Somayyajula, Frank Pfenning

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

2022

Type-Based Termination for Futures.

Siva Somayyajula, Frank Pfenning

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

Circular Proofs as Processes: Type-Based Termination via Arithmetic Refinements.

Siva Somayyajula, Frank Pfenning

CoRR, 2021