Rohan Padhye
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Ao Li3×
- Ankush Desaionce
- Byeongjee Kangonce
all 10 in the filters
who talks about the same things
- Shrey Tiwari2 talks
- Hayawardh Vijayakumar3 talks
- Koushik Sen13 talks
- Kiran Gopinathan7 talks
- Shanto Rahman2 talks
- Akash Lal4 talks
| title | conference | date |
|---|---|---|
| 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… | ||
| Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM | OOPSLA 2025 | 2025-10-16 |
Fray is a JVM concurrency testing platform that orchestrates thread interleavings without replacing primitives using shadow locking, enabling deterministic… | ||
| Software Engineering Methods For AI-Driven Deductive Legal Reasoning | Onward! 2024 | 2024-10-23 |
Argues LLMs can be treated as interpreters of natural‑language programs and applies software‑engineering techniques to real statutes: uses Anthropic Claude 3… | ||
| ExChain: Exception Dependency Analysis for Root Cause Diagnosis | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
ExChain is an online monitor that instruments services with low overhead and links silent, state-changing exceptions to distant failures using… | ||
| nothing matches | ||