Binoy Ravindran
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2024–2026
all 4 in the filters
on a stage with
all 9 in the filters
who talks about the same things
- Freek Verbeek3 talks
- Zhoulai Fu2 talks
- John Regehr13 talks
- Tobias Grosser14 talks
- Jeehoon Kang14 talks
- Parosh Aziz Abdulla9 talks
| title | conference | date |
|---|---|---|
| Stretch: A Fault-Driven DSM Runtime for Distributed Multithreaded Applications | ISMM 2026 | 2026-06-16 |
Stretch is a userspace, page-granularity DSM runtime that uses userfaultfd-based fault interception, centralized MSI-style coherence, and CRIU-driven thread… | ||
| Scalable Floating-Point Satisfiability via Staged Optimization | PLDI 2026 | 2026-06-15 |
StageSAT reframes floating-point SAT as three optimization stages: a fast projection-aided square residuals descent to find a trustworthy basin, a bit-precise… | ||
| On Extending Incorrectness Logic with Backwards Reasoning | POPL 2025 | 2025-01-19 |
Extends incorrectness logic with underspecification so postconditions can ignore irrelevant variables, provides a backwards-proof system that produces… | ||
| libLISA: Instruction Discovery and Analysis on x86-64 | OOPSLA 2024 | 2024-10-20 |
libLISA automatically discovers and synthesizes x86-64 instruction semantics by observing execution and inferring operand encodings, producing a CPU-specific… | ||
| A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation | PLDI 2024 | 2024-06-24 |
Crystalline is a family of non-blocking reclamation schemes (Crystalline L, LW, W) that guarantees wait-free reclamation in its strongest variant, supports… | ||
| nothing matches | ||