Binoy Ravindran

Identifiers

No identifiers captured yet.

Papers (5)

1. Adding Compilation Metadata To Binaries To Make Disassembly Decidable cs.CR · 2026 · author #4
2. ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation cs.SE · 2026 · author #5
3. Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models cs.PL · 2025 · author #7
4. ezBFT: Decentralizing Byzantine Fault-Tolerant State Machine Replication cs.DC · 2019 · author #3
5. Spectrum: A Framework for Adapting Consensus Protocols cs.DC · 2019 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Ali Shokri 2 shared papers
• Balaji Arun 2 shared papers
• HoHyun Sim 2 shared papers
• Hyeonjoong Cho 2 shared papers
• Sebastiano Peluso 2 shared papers
• Zhoulai Fu 2 shared papers
• Daniel Engel 1 shared papers
• Freek Verbeek 1 shared papers
• Pranav Kumar 1 shared papers
• Sadegh AlMahdi Kazemi Zarkouei 1 shared papers
• Yeonghyeon Go 1 shared papers