Shuvendu K. Lahiri
where else to find them
no profile links on file
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
all 17 in the filters
who talks about the same things
- Narges Shadab2 talks
- Isil Dillig15 talks
- Yuepeng Wang8 talks
- Manu Sridharan6 talks
- Shrey Tiwari2 talks
- Benjamin Mariano6 talks
| title | conference | date |
|---|---|---|
| Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming | Dafny 2025 | 2025-01-19 |
Curated a reproducible dataset of about 600K lines and 32K top-level F definitions (extended to 940K lines and 54K defs) plus a program‑fragment checker that… | ||
| Inference of Resource Management Specifications | OOPSLA 2023 | 2023-10-23 |
Automatic inference produces resource-management specs for Java and C# by applying optimistic inference rules framed in a Datalog-style fixpoint so the system… | ||
| SolType: Refinement Types for Arithmetic Overflow in Solidity | SPLASH 2022 | 2022-12-05 |
SolType adds refinement types to Solidity and Solid implements it, inferring contract invariants to prove arithmetic overflow absence rather than paying… | ||
| SolType: Refinement Types for Arithmetic Overflow in Solidity | POPL 2022 | 2022-01-16 |
SolType is a refinement-type system for Solidity with an implementation called Solid that translates contracts to a miniSol SSA IR, encodes overflow checks as… | ||
| nothing matches | ||