Skip to content

Kunming Jiang

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

1

Active years

2023–2025

Best venue rank

A*

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2025SPCoBBL: Dynamic Constraint Generation for SNARKs.Kunming Jiang, Fraser Brown, Riad S. Wahby
2023SPLess is more: refinement proofs for probabilistic proofs.Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, Thomas Wies