Binoy Ravindran

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 92

Top Venues

Publications

Daniel Engel, Freek Verbeek, Binoy Ravindran
On the Decidability of Disassembling Binaries. TASE (2024)
Ruslan Nikolaev, Binoy Ravindran
A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Joshua A. Bockenek, Freek Verbeek, Binoy Ravindran
Exceptional Interprocedural Control Flow Graphs for x86-64 Binaries. DIMVA (2024)
Jaidev Shastri, Xiaoguang Wang, Basavesh Ammanaghatta Shivakumar, Freek Verbeek, Binoy Ravindran
HMTRace: Hardware-Assisted Memory-Tagging based Dynamic Data Race Detection. CoRR (2024)
Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran
Low-Level Reachability Analysis Based on Formal Logic. TAP (2023)
Abhijit Mahurkar, Xiaoguang Wang, Hang Zhang, Binoy Ravindran
DynaCut: A Framework for Dynamic and Adaptive Program Customization. Middleware (2023)
Daniel Engel, Freek Verbeek, Binoy Ravindran
BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries. TAP (2023)
Mohamed Husain Noor Mohamed, Xiaoguang Wang, Binoy Ravindran
Understanding the Security of Linux eBPF Subsystem. APSys (2023)
Ho-Ren Chuang, Karim Manaouil, Tong Xing, Antonio Barbalace, Pierre Olivier, Balvansh Heerekar, Binoy Ravindran
Aggregate VM: Why Reduce or Evict VM's Resources When You Can Borrow Them From Other Nodes? EuroSys (2023)
Tong Xing, Antonio Barbalace, Pierre Olivier, Mohamed Lamine Karaoui, Wei Wang, Binoy Ravindran
H-Container: Enabling Heterogeneous-ISA Container Migration in Edge Computing. ACM Trans. Comput. Syst. 39 (2022)
Xiaoxin An, Freek Verbeek, Binoy Ravindran
DSV: Disassembly Soundness Validation Without Assuming a Ground Truth. NFM (2022)
Freek Verbeek, Joshua A. Bockenek, Zhoulai Fu, Binoy Ravindran
Formally verified lifting of C-compiled x86-64 binaries. PLDI (2022)
Ruslan Nikolaev, Hassan Nadeem, Cathlyn Stone, Binoy Ravindran
Adelie: Continuous Address Space Layout Re-randomization for Linux Drivers. CoRR (2022)
Nico Naus, Freek Verbeek, Dale Walker, Binoy Ravindran
A Formal Semantics for P-Code. VSTTE (2022)
Ruslan Nikolaev, Binoy Ravindran
wCQ: A Fast Wait-Free Queue with Bounded Memory Usage. SPAA (2022)
Balaji Arun, Binoy Ravindran
Scalable Byzantine Fault Tolerance via Partial Decentralization. CoRR (2022)
Christopher Blackburn, Xiaoguang Wang, Binoy Ravindran
Rave: A Modular and Extensible Framework for Program State Re-Randomization. MTD@CCS (2022)
Ruslan Nikolaev, Hassan Nadeem, Cathlyn Stone, Binoy Ravindran
Adelie: continuous address space layout re-randomization for Linux drivers. ASPLOS (2022)
Ruslan Nikolaev, Binoy Ravindran
wCQ: A Fast Wait-Free Queue with Bounded Memory Usage. CoRR (2022)
Pierre Olivier, Hugo Lefeuvre, Daniel Chiba, Stefan Lankes, Changwoo Min, Binoy Ravindran
A Syscall-Level Binary-Compatible Unikernel. IEEE Trans. Computers 71 (9) (2022)
Balaji Arun, Binoy Ravindran
Scalable Byzantine Fault Tolerance via Partial Decentralization. Proc. VLDB Endow. 15 (9) (2022)
Robert Lyerly, Carlos Bilbao, Changwoo Min, Christopher J. Rossbach, Binoy Ravindran
An OpenMP Runtime for Transparent Work Sharing across Cache-Incoherent Heterogeneous Nodes. ACM Trans. Comput. Syst. 39 (2022)
A. K. M. Fazla Mehrab, Ruslan Nikolaev, Binoy Ravindran
Kite: lightweight critical service domains. EuroSys (2022)
Ruslan Nikolaev, Binoy Ravindran
wCQ: a fast wait-free queue with bounded memory usage. PPoPP (2022)
Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran
Reachability Logic for Low-Level Programs. CoRR (2022)
Edson Horta, Ho-Ren Chuang, Naarayanan Rao VSathish, Cesar Philippidis, Antonio Barbalace, Pierre Olivier, Binoy Ravindran
Xar-Trek: Run-time Execution Migration among FPGAs and Heterogeneous-ISA CPUs. CoRR (2021)
Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran
Taming the Contention in Consensus-Based Distributed Systems. IEEE Trans. Dependable Secur. Comput. 18 (6) (2021)
Freek Verbeek, Abhijith Bharadwaj, Joshua A. Bockenek, Ian Roessle, Timmy Weerwag, Binoy Ravindran
X86 instruction semantics and basic block symbolic execution. Arch. Formal Proofs 2021 (2021)
Jae-Won Jang, Freek Verbeek, Binoy Ravindran
Verification of Functional Correctness of Code Diversification Techniques. NFM (2021)
Ruslan Nikolaev, Binoy Ravindran
Crystalline: Fast and Memory Efficient Wait-Free Reclamation. CoRR (2021)
Ruslan Nikolaev, Binoy Ravindran
Snapshot-free, transparent, and robust memory reclamation for lock-free data structures. PLDI (2021)
Edson Horta, Ho-Ren Chuang, Naarayanan Rao VSathish, Cesar Philippidis, Antonio Barbalace, Pierre Olivier, Binoy Ravindran
Xar-trek: run-time execution migration among FPGAs and heterogeneous-ISA CPUs. Middleware (2021)
Ruslan Nikolaev, Binoy Ravindran
Brief Announcement: Crystalline: Fast and Memory Efficient Wait-Free Reclamation. DISC (2021)
Ruslan Nikolaev, Mincheol Sung, Binoy Ravindran
LibrettOS: a dynamically adaptable multiserver-library OS. VEE (2020)
Balaji Arun, Binoy Ravindran
DuoBFT: Resilience vs. Efficiency Trade-off in Byzantine Fault Tolerance. CoRR (2020)
Xiaoguang Wang, SengMing Yeoh, Pierre Olivier, Binoy Ravindran
Secure and efficient in-process monitor (and library) protection with Intel MPK. EuroSec@EuroSys (2020)
Ruslan Nikolaev, Mincheol Sung, Binoy Ravindran
LibrettOS: A Dynamically Adaptable Multiserver-Library OS. CoRR (2020)
Freek Verbeek, Joshua A. Bockenek, Binoy Ravindran
Highly Automated Formal Proofs over Memory Usage of Assembly Code. TACAS (2) (2020)
Antonio Barbalace, Mohamed L. Karaoui, Wei Wang, Tong Xing, Pierre Olivier, Binoy Ravindran
Edge computing: the case for heterogeneous-ISA container migration. VEE (2020)
Ho-Ren Chuang, Robert Lyerly, Stefan Lankes, Binoy Ravindran
Scaling Shared Memory Multiprocessing Applications in Non-cache-coherent Domains. SYSTOR (2020)
Ruslan Nikolaev, Binoy Ravindran
Universal wait-free memory reclamation. PPoPP (2020)
Xiaoguang Wang, SengMing Yeoh, Robert Lyerly, Pierre Olivier, Sang-Hoon Kim, Binoy Ravindran
A Framework for Software Diversification with ISA Heterogeneity. RAID (2020)
Robert Lyerly, Changwoo Min, Christopher J. Rossbach, Binoy Ravindran
An OpenMP Runtime for Transparent Work Sharing Across Cache-Incoherent Heterogeneous Nodes. Middleware (2020)
Xiaoxin An, Amer Tahat, Binoy Ravindran
A Validation Methodology for OCaml-to-PVS Translation. NFM (2020)
Mincheol Sung, Pierre Olivier, Stefan Lankes, Binoy Ravindran
Intra-unikernel isolation with Intel memory protection keys. VEE (2020)
Freek Verbeek, Pierre Olivier, Binoy Ravindran
Sound C Code Decompilation for a Subset of x86-64 Binaries. SEFM (2020)
Robert Lyerly, Xiaoguang Wang, Binoy Ravindran
Dynamic and Secure Memory Transformation in Userspace. ESORICS (1) (2020)
Sang-Hoon Kim, Ho-Ren Chuang, Robert Lyerly, Pierre Olivier, Changwoo Min, Binoy Ravindran
DeX: Scaling Applications Beyond Machine Boundaries. ICDCS (2020)
Ruslan Nikolaev, Binoy Ravindran
Universal Wait-Free Memory Reclamation. CoRR (2020)
Pierre Olivier, Daniel Chiba, Stefan Lankes, Changwoo Min, Binoy Ravindran
A binary-compatible unikernel. VEE (2019)
Mohamed L. Karaoui, Anthony Carno, Robert Lyerly, Sang-Hoon Kim, Pierre Olivier, Changwoo Min, Binoy Ravindran
Scheduling HPC workloads on heterogeneous-ISA architectures: poster. PPoPP (2019)
Joshua A. Bockenek, Freek Verbeek, Peter Lammich, Binoy Ravindran
Formal Verification of Memory Preservation of x86-64 Binaries. SAFECOMP (2019)
Pierre Olivier, A. K. M. Fazla Mehrab, Stefan Lankes, Mohamed Lamine Karaoui, Robert Lyerly, Binoy Ravindran
HEXO: Offloading HPC Compute-Intensive Workloads on Low-Cost, Low-Power Embedded Systems. HPDC (2019)
Antonio Barbalace, Pierre Olivier, Binoy Ravindran
Rethinking Communication in Multiple-kernel OSes for New Shared Memory Interconnects. PLOS@SOSP (2019)
Ian Roessle, Freek Verbeek, Binoy Ravindran
Formally verified big step semantics out of x86-64 binaries. CPP (2019)
Beichen Liu, Pierre Olivier, Binoy Ravindran
SlimGuard: A Secure and Memory-Efficient Heap Allocator. Middleware (2019)
Kevin Burns, Vincent Legout, Antonio Barbalace, Binoy Ravindran
PrVM: a multicore real-time virtualization scheduling framework with probabilistic timing guarantees. SIGBED Rev. 16 (3) (2019)
Balaji Arun, Sebastiano Peluso, Binoy Ravindran
ezBFT: Decentralizing Byzantine Fault-Tolerant State Machine Replication. CoRR (2019)
Robert Lyerly, Sang-Hoon Kim, Binoy Ravindran
libMPNode: An OpenMP Runtime For Parallel Processing Across Incoherent Domains. PMAM@PPoPP (2019)
Gagandeep Panwar, Da Zhang, Yihan Pang, Mai Dahshan, Nathan DeBardeleben, Binoy Ravindran, Xun Jian
Quantifying Memory Underutilization in HPC Systems and Using it to Improve Performance via Architecture Support. MICRO (2019)
Ruslan Nikolaev, Binoy Ravindran
Hyaline: Fast and Transparent Lock-Free Memory Reclamation. CoRR (2019)
Balaji Arun, Sebastiano Peluso, Binoy Ravindran
Spectrum: A Framework for Adapting Consensus Protocols. CoRR (2019)
Mohit Garg, Sebastiano Peluso, Balaji Arun, Binoy Ravindran
Generalized Consensus for Practical Fault Tolerance. Middleware (2019)
Balaji Arun, Sebastiano Peluso, Binoy Ravindran
ezBFT: Decentralizing Byzantine Fault-Tolerant State Machine Replication. ICDCS (2019)
Amer Tahat, Sarang Joshi, Pronnoy Goswami, Binoy Ravindran
Scalable Translation Validation of Unverified Legacy OS Code. FMCAD (2019)
Ruslan Nikolaev, Binoy Ravindran
Hyaline: Fast and Transparent Lock-Free Memory Reclamation. PODC (2019)
Yihan Pang, Robert Lyerly, Binoy Ravindran
Cross-ISA execution of SIMD regions for improved performance. SYSTOR (2019)
Mohamed M. Saad, Roberto Palmieri, Binoy Ravindran
Lerna: Parallelizing Dependent Loops Using Speculation. ACM Trans. Storage 15 (1) (2019)
Freek Verbeek, Joshua A. Bockenek, Abhijith Bharadwaj, Binoy Ravindran, Ian Roessle
Establishing a refinement relation between binaries and abstract code. MEMOCODE (2019)
Robert Lyerly, Alastair Murray, Antonio Barbalace, Binoy Ravindran
AIRA: A Framework for Flexible Compute Kernel Execution in Heterogeneous Platforms. IEEE Trans. Parallel Distributed Syst. 29 (2) (2018)
Mohamed M. Saad, Roberto Palmieri, Binoy Ravindran
Lerna: Parallelizing Dependent Loops Using Speculation. SYSTOR (2018)
Antonio Barbalace, Robert Lyerly, Christopher Jelesnianski, Anthony Carno, Ho-Ren Chuang, Vincent Legout, Binoy Ravindran
Breaking the Boundaries in Heterogeneous-ISA Datacenters. ASPLOS (2017)
Pierre Olivier, Sang-Hoon Kim, Binoy Ravindran
OS Support for Thread Migration and Distribution in the Fully Heterogeneous Datacenter. HotOS (2017)
Sachin Hirve, Roberto Palmieri, Binoy Ravindran
HiperTM: High performance, fault-tolerant transactional memory. Theor. Comput. Sci. 688 (2017)
Mohamed Mohamedin, Roberto Palmieri, Ahmed Hassan, Binoy Ravindran
Managing Resource Limitation of Best-Effort HTM. IEEE Trans. Parallel Distributed Syst. 28 (8) (2017)
Vlad Nitu, Pierre Olivier, Alain Tchana, Daniel Chiba, Antonio Barbalace, Daniel Hagimont, Binoy Ravindran
Swift Birth and Quick Death: Enabling Fast Parallel Guest Boot and Destruction in the Xen Hypervisor. VEE (2017)
Giuliano Losa, Antonio Barbalace, Yuzhong Wen, Ho-Ren Chuang, Binoy Ravindran
Transparent Fault-Tolerance Using Intra-Machine Full-Software-Stack Replication on Commodity Multicore Hardware. ICDCS (2017)
Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran
Speeding up Consensus by Chasing Fast Decisions. DSN (2017)
Ahmed Hassan, Roberto Palmieri, Sebastiano Peluso, Binoy Ravindran
Optimistic Transactional Boosting. IEEE Trans. Parallel Distributed Syst. 28 (12) (2017)
Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran
Speeding up Consensus by Chasing Fast Decisions. CoRR (2017)
Saif Ansary, Antonio Barbalace, Ho-Ren Chuang, Thomas Lazor, Binoy Ravindran
A Distributed Operating System Network Stack and Device Driver for Multicores. ICDCS (2017)
Alexandru Turcu, Roberto Palmieri, Binoy Ravindran
On Open Nesting in Distributed Transactional Memory. IEEE Trans. Computers 65 (6) (2016)
Mohamed Mohamedin, Roberto Palmieri, Sebastiano Peluso, Binoy Ravindran
On designing NUMA-aware concurrency control for scalable transactional memory. PPOPP (2016)
Mohamed M. Saad, Roberto Palmieri, Ahmed Hassan, Binoy Ravindran
Extending TM Primitives using Low Level Semantics. SPAA (2016)
Duane Niles, Roberto Palmieri, Binoy Ravindran
Exploiting Parallelism of Distributed Nested Transactions. SYSTOR (2016)
Alexandru Turcu, Roberto Palmieri, Binoy Ravindran, Sachin Hirve
Automated Data Partitioning for Highly Scalable and Strongly Consistent Transactions. IEEE Trans. Parallel Distributed Syst. 27 (1) (2016)
Sandeep Hans, Ahmed Hassan, Roberto Palmieri, Sebastiano Peluso, Binoy Ravindran
Opacity vs TMS2: Expectations and Reality. DISC (2016)
Sebastiano Peluso, Alexandru Turcu, Roberto Palmieri, Giuliano Losa, Binoy Ravindran
Making Fast Consensus Generally Faster. DSN (2016)
Mohamed M. Saad, Roberto Palmieri, Binoy Ravindran
On ordering transaction commit. PPOPP (2016)
Giuliano Losa, Sebastiano Peluso, Binoy Ravindran
Brief Announcement: A Family of Leaderless Generalized-Consensus Algorithms. PODC (2016)
Michael Drescher, Vincent Legout, Antonio Barbalace, Binoy Ravindran
A flattened hierarchical scheduler for real-time virtualization. EMSOFT (2016)
Ahmed Hassan, Roberto Palmieri, Binoy Ravindran
Remote Transaction Commit: Centralizing Software Transactional Memory Commits. IEEE Trans. Computers 65 (7) (2016)
Sebastiano Peluso, Roberto Palmieri, Paolo Romano, Binoy Ravindran, Francesco Quaglia
Disjoint-Access Parallelism: Impossibility, Possibility, and Cost of Transactional Memory Implementations. PODC (2015)
David Katz, Antonio Barbalace, Saif Ansary, Akshay Ravichandran, Binoy Ravindran
Thread Migration in a Replicated-Kernel OS. ICDCS (2015)
Mohamed Mohamedin, Roberto Palmieri, Ahmed Hassan, Binoy Ravindran
Brief Announcement: Managing Resource Limitation of Best-Effort HTM. SPAA (2015)
Sebastiano Peluso, Alexandru Turcu, Roberto Palmieri, Binoy Ravindran
On Exploiting Locality for Generalized Consensus. ICDCS (2015)
Sharath K. Bhat, Ajithchandra Saya, Hemedra K. Rawat, Antonio Barbalace, Binoy Ravindran
Harnessing energy efficiency of heterogeneous-ISA platforms. HotPower@SOSP (2015)
Mohamed Mohamedin, Roberto Palmieri, Binoy Ravindran
Brief Announcement: On Scheduling Best-Effort HTM Transactions. SPAA (2015)
Aditya Dhoke, Roberto Palmieri, Binoy Ravindran
On Reducing False Conflicts in Distributed Transactional Data Structures. ICDCN (2015)
Sharath K. Bhat, Ajithchandra Saya, Hemedra K. Rawat, Antonio Barbalace, Binoy Ravindran
Harnessing Energy Efficiency of Heterogeneous-ISA Platforms. ACM SIGOPS Oper. Syst. Rev. 49 (2) (2015)

Binoy Ravindran.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Binoy Ravindran