BR
Binoy Ravindran
cs.DCcs.PLcs.SEcs.AIcs.CRcs.OScs.DBcs.LO
On Valency
published · living versionsW_z7xsk3ye·v1 · currentpublished
Cost-Aware Stopping for Freeze-Thaw Bayesian Optimization: When Does One-Step Lookahead Suffice?
with Long Vu, Jongseong Brad Choi, Zhoulai Fu
1 version
Preprints & journals
20 papers in the corpus · 2017–2026Adding Compilation Metadata To Binaries To Make Disassembly Decidable2604.19628v1 · Daniel Engel, Freek Verbeek, Pranav Kumar et al.2026 · 0 citationsarXiv
ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation2604.04527v1 · Hohyun Sim, Hyeonjoong Cho, Ali Shokri et al.2026 · 0 citationsarXiv
Scalable Floating-Point Satisfiability via Staged Optimization2601.04492v1 · Yuanzhuo Zhang, Zhoulai Fu, Binoy Ravindran2026 · 1 citationarXiv
BeePL: Correct-by-compilation kernel extensions2507.09883v1 · Swarn Priya, Fr'ed'eric Besson, Connor Sughrue et al.2025 · 0 citationsarXiv
Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models2505.15858v3 · HoHyun Sim, Hyeonjoong Cho, Yeonghyeon Go et al.2025 · 2 citationsarXiv
Augmented Weak Distance for Fast and Accurate Bounds Checking2505.14213v1 · Zhoulai Fu, Freek Verbeek, Binoy Ravindran2025 · 0 citationsarXiv
Formally Verified Binary-level Pointer Analysis2501.17766v1 · Freek Verbeek, Ali Shokri, Daniel Engel et al.2025 · 2 citationsarXiv
HMTRace: Hardware-Assisted Memory-Tagging based Dynamic Data Race Detection2404.19139v1 · Jaidev Shastri, Xiaoguang Wang, Basavesh Ammanaghatta Shivakumar et al.2024 · 0 citationsarXiv
Reachability Logic for Low-Level Programs2204.00076v1 · Nico Naus, Freek Verbeek, Marc Schoolderman et al.2022 · 1 citationarXiv
Scalable Byzantine Fault Tolerance via Partial Decentralization2202.13408v1 · Balaji Arun, Binoy Ravindran2022 · 20 citationsarXiv
Adelie: Continuous Address Space Layout Re-randomization for Linux Drivers2201.08378v1 · Ruslan Nikolaev, Hassan Nadeem, Cathlyn Stone et al.2022 · 21 citationsarXiv
wCQ: A Fast Wait-Free Queue with Bounded Memory Usage2201.02179v2 · Ruslan Nikolaev, Binoy Ravindran2022 · 11 citationsProceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2022)
Xar-Trek: Run-time Execution Migration among FPGAs and Heterogeneous-ISA CPUs2110.14751v1 · Edson Horta, Ho-Ren Chuang, Naarayanan Rao VSathish et al.2021 · 6 citationsarXiv
Crystalline: Fast and Memory Efficient Wait-Free Reclamation2108.02763v1 · Ruslan Nikolaev, Binoy Ravindran2021 · 4 citationsarXiv
DuoBFT: Resilience vs. Performance Trade-off in Byzantine Fault Tolerance2010.01387v2 · Balaji Arun, Binoy Ravindran2020 · 0 citationsarXiv
LibrettOS: A Dynamically Adaptable Multiserver-Library OS2002.08928v1 · Ruslan Nikolaev, Mincheol Sung, Binoy Ravindran2020 · 16 citationsarXiv
Universal Wait-Free Memory Reclamation2001.01999v2 · Ruslan Nikolaev, Binoy Ravindran2020 · 27 citations25th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP 2020)
ezBFT: Decentralizing Byzantine Fault-Tolerant State Machine Replication1904.06023v1 · Balaji Arun, Sebastiano Peluso, Binoy Ravindran2019 · 24 citationsarXiv
Spectrum: A Framework for Adapting Consensus Protocols1902.05873v1 · Balaji Arun, Sebastiano Peluso, Binoy Ravindran2019 · 1 citationarXiv
Speeding up Consensus by Chasing Fast Decisions1704.03319v2 · Balaji Arun, Sebastiano Peluso, Roberto Palmieri et al.2017 · 43 citationsarXiv
Career total: 404 works. 20 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.