Circular Proofs as Processes: Type-Based Termination via Arithmetic Refinements. - Siva Somayyajula; Frank Pfenning (CoRR, 2021)

Type-Based Termination for Futures. - Siva Somayyajula; Frank Pfenning (FSCD, 2022)

Dependent Type Refinements for Futures. - Siva Somayyajula; Frank Pfenning (MFPS, 2023)

Total Correctness Type Refinements for Communicating Processes - Siva Somayyajula (2024)

Dafny as Verification-Aware Intermediate Language for Code Generation. - Yue Chen Li; Stefan Zetzsche; Siva Somayyajula (CoRR, 2025)