Ankush Desai
where else to find them
no profile links on file
what they talk about
all 6 in the filters
where they keep going back
- OOPSLA3 editions2018–2025
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2026
all 6 in the filters
on a stage with
all 16 in the filters
who talks about the same things
- Lauren Pick3 talks
- Rupak Majumdar21 talks
- Constantin Enea14 talks
- Suresh Jagannathan16 talks
- Pascal Weisenburger11 talks
- Andreas Pavlogiannis18 talks
| title | conference | date |
|---|---|---|
| Trace-Guided Synthesis of Effectful Test Generators | PLDI 2026 | 2026-06-15 |
Underapproximate type-and-effect specs (U-hats) plus a small typed DSL synthesize effectful test generators that interact with black-box systems rather than… | ||
| Feedback-guided Adaptive Testing of Distributed Systems Designs | NSDI '26 | 2026-05-04 |
Fest uses feedback-guided adaptive schedule generation for formal distributed-system models, implemented in the P framework and evaluated on 94 models. It… | ||
| Checking Observational Correctness of Database Systems | OOPSLA 2025 | 2025-10-16 |
Tool encodes transaction behavior with a version-aware semantics and checks isolation via explicit SMT constraints so the checker asks whether any valid… | ||
| Ranking Formal Specifications using LLMs | LMPL 2025 | 2025-10-12 |
An LLM-driven four-metric rating workflow scores mined first-order specifications (generalizability, criticality, distinguishability, visibility) by prompting… | ||
| Message Chains for Distributed System Verification | OOPSLA 2023 | 2023-10-23 |
Defines message chains as a listlike datatype that records send history so proofs avoid reasoning about individual messages or buffers, and implements an… | ||
| Psym: Efficient Symbolic Exploration of Distributed Systems | PLDI 2023 | 2023-06-17 |
Psym implements a symbolic explorer for P programs that merges frontier states using composite value summaries and canonical BDD-backed SECI guards so… | ||
| Formal Modeling and Analysis of Distributed Systems | Strange Loop 2022 | 2022-09-22 |
P is a state-machine programming language and open-source framework that models distributed components as communicating state machines, attaches runtime… | ||
| Amazon S3 Strong Consistency | AWS Pi Week 2021 | 2021-03-15 |
Amazon S3 now guarantees strong read‑after‑write consistency for all operations with no change in price, performance, or regional isolation, across exabytes of… | ||
| Compositional Programming and Testing of Dynamic Distributed Systems | OOPSLA 2018 | 2018-11-07 |
Paper: https://dl.acm.org/citation.cfm?id=3276529
Real-world distributed systems are rarely built as a monolithic system. Instead, they are composed of… | ||
| nothing matches | ||