Kinnari Dave

According to our database, Kinnari Dave authored at least 4 papers between 2021 and 2025.

Collaborative distances:

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

2025

IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation.

Kinnari Dave, Alejandro Díaz-Caro, Vladimir Zamdzhiev

CoRR, June, 2025

Combining quantum and classical control: syntax, semantics and adequacy.

Kinnari Dave, Louis Lemonnier, Romain Péchoux, Vladimir Zamdzhiev

Proceedings of the Foundations of Software Science and Computation Structures, 2025

2024

Foundational Verification of Smart Contracts through Verified Compilation.

Vilhelm Sjöberg, Kinnari Dave, Daniel Britten, Maria A Schett, Xinyuan Sun, Qinshi Wang, Sean Noble Anderson, Steve Reeves, Zhong Shao

CoRR, 2024

2021

Towards Verified Price Oracles for Decentralized Exchange Protocols.

Kinnari Dave, Vilhelm Sjöberg, Xinyuan Sun

Proceedings of the 3rd International Workshop on Formal Methods for Blockchains, 2021