Shardul Chiplunkar
where else to find them
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Practical compositional diagramming | Doctoral Symposium @ SPLASH 2025 | 2025-10-13 |
Diagrams are rare in programming and theorem-proving environments because current tools are non‑compositional; this work proposes compositional diagramming and… | ||
| Diagrammatic notations for interactive theorem proving | HATRA 2023 | 2023-10-22 |
Argues that interactive theorem provers need declarative diagram languages that match text macros by delivering low-cost composition and good-looking idioms… | ||
| Automated Synthesis of Verified Firewalls | CoqPL 2021 | 2021-01-19 |
A verified-compiler pipeline turns a high-level firewall DSL (iptables-like history queries and monadic composition) into executable OCaml using Fiat synthesis… | ||
| Automated Synthesis of Verified Firewalls | POPL 2021 | 2021-01-17 |
Claim of correct-by-construction, stateful TCP/IP packet filters implemented as a verified compiler in Coq using the Fiat refinement framework and the… | ||
| nothing matches | ||