Binoy Ravindran
- Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
2025/05/21 by HoHyun Sim, Hyeonjoong Cho, H.C. Cho +12 · 4 voices · 3 citations
Computer Science · #AI-based Problem Solving and Planning #Parallel Computing and Optimization Techniques #Model-Driven Software Engineering Techniques
- BeePL: Correct-by-compilation kernel extensions
2025/07/14 by Swarn Priya, Frédéric Besson, Priya, Swarn +10 · 1 voice · 1 citation
Computer Science · #Distributed and Parallel Computing Systems #Embedded Systems Design Techniques #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)
- Scalable Byzantine Fault Tolerance via Partial Decentralization
2022/02/27 by Balaji Arun, Binoy Ravindran, Arun, Balaji +1 · 2 citations
Computer Science · #Blockchain Technology Applications and Security #Databases (cs.DB) #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel #Privacy-Preserving Technologies in Data #and Cluster Computing (cs.DC)
- Adding Compilation Metadata To Binaries To Make Disassembly Decidable
2026/04/21 by Daniel Engel, Freek Verbeek, Pranav Kumar +1 · 1 voice
#cs.CR #cs.PL
- Snapshot-free, transparent, and robust memory reclamation for lock-free data structures
2019/05/20 by Ruslan Nikolaev, Binoy Ravindran · 1 voice
Computer Science · #Advanced Data Storage Technologies #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques #cs.DC
- Formally Verified Binary-level Pointer Analysis
2025/01/29 by Freek Verbeek, Ali Shokri, Verbeek, Freek +6 · 1 voice
Biochemistry, Genetics and Molecular Biology · Computer Science · #Embedded Systems Design Techniques #Genomics and Chromatin Dynamics #Optical measurement and interference techniques #cs.SE
- Formally verified big step semantics out of x86-64 binaries
2019/01/04 by Ian Roessle, Freek Verbeek, Binoy Ravindran · 1 voice
Computer Science · #Advanced Malware Detection Techniques #Distributed systems and fault tolerance #Security and Verification in Computing