Chandrakana Nandi
where else to find them
what they talk about
all 8 in the filters
where they keep going back
all 4 in the filters
on a stage with
all 32 in the filters
who talks about the same things
- Max Willsey12 talks
- Zachary Tatlock11 talks
- Mooly Sagiv18 talks
- Suresh Jagannathan16 talks
- Oliver Flatt4 talks
- Benjamin Delaware18 talks
| title | conference | date |
|---|---|---|
| Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of(…) | OOPSLA 2025 | 2025-10-16 |
Formalizes G‑code as sets of cuboids then samples them into point clouds and implements an efficient differential checker called GlitchFinder; prototype… | ||
| FEDT: Supporting Experiment Design and Execution in HCI Fabrication Research | UIST 2025 | 2025-09-28 |
FEDT is an openly available tool that encodes fabrication experiments as an embedded Python DSL, letting researchers generate flowcharts, produce artifacts… | ||
| Practical Verification Of Smart Contracts Using Memory Splitting | OOPSLA 2024 | 2024-10-20 |
The paper implements a conservative memory analysis and a memory-splitting transformation for EVM bytecode, integrated into CertoraProver, that recovers… | ||
| How Good Is Your Formal Specification Mutation Testing To The Rescue! | Solidity Summit 2023 | 2023-11-16 |
A tool called Gambit mutation generator automatically creates first-order mutants of Solidity programs by mutating the compiler JSON/AST, compiles and filters… | ||
| Equality Saturation Theory Exploration à la Carte | OOPSLA 2023 | 2023-10-23 |
Enumo is a domain-specific language for programmable theory exploration that gives users small, composable operators to guide automatic inference of rewrite… | ||
| babble: Learning Better Abstractions with E-Graphs and Anti-unification | POPL 2023 | 2023-01-15 |
Presents Library Learning Modulo Theory (LLMT) implemented as the tool babble, which uses e-graphs plus a new e-graph anti-unification algorithm and targeted… | ||
| Rewrite Rule Inference Using Equality Saturation | OOPSLA 2021 | 2021-10-17 |
Describes a system called Ruler that uses equality saturation over e-graphs to infer rewrite rules automatically, implemented in Rust on the egg library… | ||
| Taxon: a Language for Formal Reasoning with Digital Fabrication Machines | UIST 2021 | 2021-10-10 |
Taxon is a programmatic system that encodes machines, workflows, and reusable heuristics so makers can verify feasibility and safety before fabricating… | ||
| egg: Fast and Extensible Equality Saturation | POPL 2021 | 2021-01-17 |
Equality saturation is implemented as the egg Rust library, which applies rewrites into an e-graph and then runs a single rebuild once per iteration rather… | ||
| nothing matches | ||