| 2025 | ASPLOS | Stramash: A Fused-Kernel Operating System For Cache-Coherent, Heterogeneous-ISA Platforms. | Tong Xing, Cong Xiong, Tianrui Wei, April Sanchez, Binoy Ravindran, Jonathan Balkind, Antonio Barbalace |
| 2025 | CLOUD | Scalable and Fault-Tolerant Storage and File System Services with Non-Blocking Synchronization for Private Clouds. | Mincheol Sung, Ruslan Nikolaev, Binoy Ravindran |
| 2025 | FCCM | SmartNIC-Based Distributed Shared Memory. | Hemanth Ramesh, Naarayanan Rao VSathish, Edson Horta, Antonio Barbalace, Binoy Ravindran |
| 2025 | ICSE | Formally Verified Binary-Level Pointer Analysis. | Freek Verbeek, Ali Shokri, Daniel Engel, Binoy Ravindran |
| 2024 | CCS | Poster: Formally Verified Binary Lifting to P-Code. | Nico Naus, Freek Verbeek, Sagar Atla, Binoy Ravindran |
| 2024 | CCS | Verifiably Correct Lifting of Position-Independent x86-64 Binaries to Symbolized Assembly. | Freek Verbeek, Nico Naus, Binoy Ravindran |
| 2024 | DIMVA | Exceptional Interprocedural Control Flow Graphs for x86-64 Binaries. | Joshua A. Bockenek, Freek Verbeek, Binoy Ravindran |
| 2024 | ICDCS | Dapper: A Lightweight and Extensible Framework for Live Program State Rewriting. | Abhishek Bapat, Jaidev Shastri, Xiaoguang Wang, Abilesh Sundarasamy, Binoy Ravindran |
| 2024 | Middleware | sMVX: Multi-Variant Execution on Selected Code Paths. | Sengming Yeoh, Xiaoguang Wang, Jae-Won Jang, Binoy Ravindran |
| 2024 | SYSTOR | Offloading Datacenter Jobs to RISC-V Hardware for Improved Performance and Power Efficiency. | Balvansh Heerekar, Cesar Philippidis, Ho-Ren Chuang, Pierre Olivier, Antonio Barbalace, Binoy Ravindran |
| 2024 | TASE | On the Decidability of Disassembling Binaries. | Daniel Engel, Freek Verbeek, Binoy Ravindran |
| 2023 | EuroSys | Aggregate VM: Why Reduce or Evict VM's Resources When You Can Borrow Them From Other Nodes? | Ho-Ren Chuang, Karim Manaouil, Tong Xing, Antonio Barbalace, Pierre Olivier, Balvansh Heerekar, Binoy Ravindran |
| 2023 | Middleware | DynaCut: A Framework for Dynamic and Adaptive Program Customization. | Abhijit Mahurkar, Xiaoguang Wang, Hang Zhang, Binoy Ravindran |
| 2023 | TAP | BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries. | Daniel Engel, Freek Verbeek, Binoy Ravindran |
| 2023 | TAP | Low-Level Reachability Analysis Based on Formal Logic. | Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran |
| 2022 | ASPLOS | Adelie: continuous address space layout re-randomization for Linux drivers. | Ruslan Nikolaev, Hassan Nadeem, Cathlyn Stone, Binoy Ravindran |
| 2022 | CCS | Rave: A Modular and Extensible Framework for Program State Re-Randomization. | Christopher Blackburn, Xiaoguang Wang, Binoy Ravindran |
| 2022 | EuroSys | Kite: lightweight critical service domains. | A. K. M. Fazla Mehrab, Ruslan Nikolaev, Binoy Ravindran |
| 2022 | PLDI | Formally verified lifting of C-compiled x86-64 binaries. | Freek Verbeek, Joshua A. Bockenek, Zhoulai Fu, Binoy Ravindran |
| 2022 | PPoPP | wCQ: a fast wait-free queue with bounded memory usage. | Ruslan Nikolaev, Binoy Ravindran |
| 2022 | SPAA | wCQ: A Fast Wait-Free Queue with Bounded Memory Usage. | Ruslan Nikolaev, Binoy Ravindran |
| 2021 | Middleware | Xar-trek: run-time execution migration among FPGAs and heterogeneous-ISA CPUs. | Edson Horta, Ho-Ren Chuang, Naarayanan Rao VSathish, Cesar Philippidis, Antonio Barbalace, Pierre Olivier, Binoy Ravindran |
| 2021 | PLDI | Snapshot-free, transparent, and robust memory reclamation for lock-free data structures. | Ruslan Nikolaev, Binoy Ravindran |
| 2020 | ESORICS | Dynamic and Secure Memory Transformation in Userspace. | Robert Lyerly, Xiaoguang Wang, Binoy Ravindran |
| 2020 | ICDCS | DeX: Scaling Applications Beyond Machine Boundaries. | Sang-Hoon Kim, Ho-Ren Chuang, Robert Lyerly, Pierre Olivier, Changwoo Min, Binoy Ravindran |
| 2020 | Middleware | An OpenMP Runtime for Transparent Work Sharing Across Cache-Incoherent Heterogeneous Nodes. | Robert Lyerly, Changwoo Min, Christopher J. Rossbach, Binoy Ravindran |
| 2020 | PPoPP | Universal wait-free memory reclamation. | Ruslan Nikolaev, Binoy Ravindran |
| 2020 | RAID | A Framework for Software Diversification with ISA Heterogeneity. | Xiaoguang Wang, Sengming Yeoh, Robert Lyerly, Pierre Olivier, Sang-Hoon Kim, Binoy Ravindran |
| 2020 | SEFM | Sound C Code Decompilation for a Subset of x86-64 Binaries. | Freek Verbeek, Pierre Olivier, Binoy Ravindran |
| 2020 | SYSTOR | Scaling Shared Memory Multiprocessing Applications in Non-cache-coherent Domains. | Ho-Ren Chuang, Robert Lyerly, Stefan Lankes, Binoy Ravindran |
| 2020 | TACAS | Highly Automated Formal Proofs over Memory Usage of Assembly Code. | Freek Verbeek, Joshua A. Bockenek, Binoy Ravindran |
| 2020 | VEE | LibrettOS: a dynamically adaptable multiserver-library OS. | Ruslan Nikolaev, Mincheol Sung, Binoy Ravindran |
| 2020 | VEE | Edge computing: the case for heterogeneous-ISA container migration. | Antonio Barbalace, Mohamed Lamine Karaoui, Wei Wang, Tong Xing, Pierre Olivier, Binoy Ravindran |
| 2020 | VEE | Intra-unikernel isolation with Intel memory protection keys. | Mincheol Sung, Pierre Olivier, Stefan Lankes, Binoy Ravindran |
| 2019 | CPP | Formally verified big step semantics out of x86-64 binaries. | Ian Roessle, Freek Verbeek, Binoy Ravindran |
| 2019 | FMCAD | Scalable Translation Validation of Unverified Legacy OS Code. | Amer Tahat, Sarang Joshi, Pronnoy Goswami, Binoy Ravindran |
| 2019 | HPDC | HEXO: Offloading HPC Compute-Intensive Workloads on Low-Cost, Low-Power Embedded Systems. | Pierre Olivier, A. K. M. Fazla Mehrab, Stefan Lankes, Mohamed Lamine Karaoui, Robert Lyerly, Binoy Ravindran |
| 2019 | ICDCS | ezBFT: Decentralizing Byzantine Fault-Tolerant State Machine Replication. | Balaji Arun, Sebastiano Peluso, Binoy Ravindran |
| 2019 | MEMOCODE | Establishing a refinement relation between binaries and abstract code. | Freek Verbeek, Joshua A. Bockenek, Abhijith Bharadwaj, Binoy Ravindran, Ian Roessle |
| 2019 | MICRO | Quantifying Memory Underutilization in HPC Systems and Using it to Improve Performance via Architecture Support. | Gagandeep Panwar, Da Zhang, Yihan Pang, Mai Dahshan, Nathan DeBardeleben, Binoy Ravindran, Xun Jian |
| 2019 | Middleware | Generalized Consensus for Practical Fault Tolerance. | Mohit Garg, Sebastiano Peluso, Balaji Arun, Binoy Ravindran |
| 2019 | Middleware | SlimGuard: A Secure and Memory-Efficient Heap Allocator. | Beichen Liu, Pierre Olivier, Binoy Ravindran |
| 2019 | PODC | Hyaline: Fast and Transparent Lock-Free Memory Reclamation. | Ruslan Nikolaev, Binoy Ravindran |
| 2019 | PPoPP | Scheduling HPC workloads on heterogeneous-ISA architectures: poster. | Mohamed Lamine Karaoui, Anthony Carno, Robert Lyerly, Sang-Hoon Kim, Pierre Olivier, Changwoo Min, Binoy Ravindran |
| 2019 | PPoPP | libMPNode: An OpenMP Runtime For Parallel Processing Across Incoherent Domains. | Robert Lyerly, Sang-Hoon Kim, Binoy Ravindran |
| 2019 | SAFECOMP | Formal Verification of Memory Preservation of x86-64 Binaries. | Joshua A. Bockenek, Freek Verbeek, Peter Lammich, Binoy Ravindran |
| 2019 | SOSP | Rethinking Communication in Multiple-kernel OSes for New Shared Memory Interconnects. | Antonio Barbalace, Pierre Olivier, Binoy Ravindran |
| 2019 | SYSTOR | Cross-ISA execution of SIMD regions for improved performance. | Yihan Pang, Robert Lyerly, Binoy Ravindran |
| 2019 | VEE | A binary-compatible unikernel. | Pierre Olivier, Daniel Chiba, Stefan Lankes, Changwoo Min, Binoy Ravindran |
| 2018 | SYSTOR | Lerna: Parallelizing Dependent Loops Using Speculation. | Mohamed M. Saad, Roberto Palmieri, Binoy Ravindran |
| 2017 | ASPLOS | Breaking the Boundaries in Heterogeneous-ISA Datacenters. | Antonio Barbalace, Robert Lyerly, Christopher Jelesnianski, Anthony Carno, Ho-Ren Chuang, Vincent Legout, Binoy Ravindran |
| 2017 | DSN | Speeding up Consensus by Chasing Fast Decisions. | Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran |
| 2017 | HotOS | OS Support for Thread Migration and Distribution in the Fully Heterogeneous Datacenter. | Pierre Olivier, Sang-Hoon Kim, Binoy Ravindran |
| 2017 | ICDCS | A Distributed Operating System Network Stack and Device Driver for Multicores. | Saif Ansary, Antonio Barbalace, Ho-Ren Chuang, Thomas Lazor, Binoy Ravindran |
| 2017 | ICDCS | Transparent Fault-Tolerance Using Intra-Machine Full-Software-Stack Replication on Commodity Multicore Hardware. | Giuliano Losa, Antonio Barbalace, Yuzhong Wen, Ho-Ren Chuang, Binoy Ravindran |
| 2017 | VEE | Swift Birth and Quick Death: Enabling Fast Parallel Guest Boot and Destruction in the Xen Hypervisor. | Vlad Nitu, Pierre Olivier, Alain Tchana, Daniel Chiba, Antonio Barbalace, Daniel Hagimont, Binoy Ravindran |
| 2016 | DSN | Making Fast Consensus Generally Faster. | Sebastiano Peluso, Alexandru Turcu, Roberto Palmieri, Giuliano Losa, Binoy Ravindran |
| 2016 | EMSOFT | A flattened hierarchical scheduler for real-time virtualization. | Michael Drescher, Vincent Legout, Antonio Barbalace, Binoy Ravindran |
| 2016 | PODC | Brief Announcement: A Family of Leaderless Generalized-Consensus Algorithms. | Giuliano Losa, Sebastiano Peluso, Binoy Ravindran |
| 2016 | PPoPP | On designing NUMA-aware concurrency control for scalable transactional memory. | Mohamed Mohamedin, Roberto Palmieri, Sebastiano Peluso, Binoy Ravindran |
| 2016 | PPoPP | On ordering transaction commit. | Mohamed M. Saad, Roberto Palmieri, Binoy Ravindran |
| 2016 | SPAA | Extending TM Primitives using Low Level Semantics. | Mohamed M. Saad, Roberto Palmieri, Ahmed Hassan, Binoy Ravindran |
| 2016 | SYSTOR | Exploiting Parallelism of Distributed Nested Transactions. | Duane Niles, Roberto Palmieri, Binoy Ravindran |
| 2015 | EuroSys | Popcorn: bridging the programmability gap in heterogeneous-ISA platforms. | Antonio Barbalace, Marina Sadini, Saif Ansary, Christopher Jelesnianski, Akshay Ravichandran, Cagil Kendir, Alastair Murray, Binoy Ravindran |
| 2015 | ICDCN | On Reducing False Conflicts in Distributed Transactional Data Structures. | Aditya Dhoke, Roberto Palmieri, Binoy Ravindran |
| 2015 | ICDCN | Reducing Aborts in Distributed Transactional Systems through Dependency Detection. | Bo Zhang, Binoy Ravindran, Roberto Palmieri |
| 2015 | ICDCS | Thread Migration in a Replicated-Kernel OS. | David Katz, Antonio Barbalace, Saif Ansary, Akshay Ravichandran, Binoy Ravindran |
| 2015 | ICDCS | On Preserving Data Integrity of Transactional Applications on Multicore Architectures. | Mohamed Mohamedin, Roberto Palmieri, Binoy Ravindran |
| 2015 | ICDCS | On Exploiting Locality for Generalized Consensus. | Sebastiano Peluso, Alexandru Turcu, Roberto Palmieri, Binoy Ravindran |
| 2015 | PODC | Disjoint-Access Parallelism: Impossibility, Possibility, and Cost of Transactional Memory Implementations. | Sebastiano Peluso, Roberto Palmieri, Paolo Romano, Binoy Ravindran, Francesco Quaglia |
| 2015 | SPAA | Brief Announcement: Managing Resource Limitation of Best-Effort HTM. | Mohamed Mohamedin, Roberto Palmieri, Ahmed Hassan, Binoy Ravindran |
| 2015 | SPAA | Brief Announcement: On Scheduling Best-Effort HTM Transactions. | Mohamed Mohamedin, Roberto Palmieri, Binoy Ravindran |
| 2015 | SOSP | Harnessing energy efficiency of heterogeneous-ISA platforms. | Sharath K. Bhat, Ajithchandra Saya, Hemedra K. Rawat, Antonio Barbalace, Binoy Ravindran |
| 2014 | ETFA | KairosVM: Deterministic introspection for real-time virtual machine hierarchical scheduling. | Kevin Burns, Antonio Barbalace, Vincent Legout, Binoy Ravindran |
| 2014 | HPCC | On Cache-Aware Task Partitioning for Multicore Embedded Real-Time Systems. | Aaron Lindsay, Binoy Ravindran |
| 2014 | ICDCN | HiperTM: High Performance, Fault-Tolerant Transactional Memory. | Sachin Hirve, Roberto Palmieri, Binoy Ravindran |
| 2014 | Middleware | Speculative client execution in deferred update replication. | Balaji Arun, Sachin Hirve, Roberto Palmieri, Sebastiano Peluso, Binoy Ravindran |
| 2014 | Middleware | Archie: a speculative replicated transactional system. | Sachin Hirve, Roberto Palmieri, Binoy Ravindran |
| 2014 | NCA | On Making Transactional Applications Resilient to Data Corruption Faults. | Mohamed Mohamedin, Roberto Palmieri, Binoy Ravindran |
| 2014 | OPODIS | On Developing Optimistic Transactional Lazy Set. | Ahmed Hassan, Roberto Palmieri, Binoy Ravindran |
| 2014 | OPODIS | Be General and Don't Give Up Consistency in Geo-Replicated Transactional Systems. | Alexandru Turcu, Sebastiano Peluso, Roberto Palmieri, Binoy Ravindran |
| 2014 | PPoPP | Optimistic transactional boosting. | Ahmed Hassan, Roberto Palmieri, Binoy Ravindran |
| 2014 | SIROCCO | Distributed Transactional Contention Management as the Traveling Salesman Problem. | Bo Zhang, Binoy Ravindran, Roberto Palmieri |
| 2014 | SYSTOR | Automated Data Partitioning for Highly Scalable and Strongly Consistent Transactions. | Alexandru Turcu, Roberto Palmieri, Binoy Ravindran |
| 2013 | ASPDAC | On real-time STM concurrency control for embedded software with improved schedulability. | Mohammed El-Shambakey, Binoy Ravindran |
| 2013 | CCGRID | Scheduling Transactions in Replicated Distributed Software Transactional Memory. | Junwhan Kim, Binoy Ravindran |
| 2013 | CLUSTER | On transactional memory concurrency control in distributed real-time programs. | Sachin Hirve, Aaron Lindsay, Binoy Ravindran, Roberto Palmieri |
| 2013 | Coordination | Scheduling Open-Nested Transactions in Distributed Transactional Memory. | Junwhan Kim, Roberto Palmieri, Binoy Ravindran |
| 2013 | Coordination | ByteSTM: Virtual Machine-Level Java Software Transactional Memory. | Mohamed Mohamedin, Binoy Ravindran, Roberto Palmieri |
| 2013 | DATE | FBLT: a real-time contention manager with improved schedulability. | Mohammed El-Shambakey, Binoy Ravindran |
| 2013 | EuroPar | Enhancing Concurrency in Distributed Transactional Memory through Commutativity. | Junwhan Kim, Roberto Palmieri, Binoy Ravindran |
| 2013 | EuroPar | Adaptive Live Migration to Improve Load Balancing in Virtual Machine Environment. | Peng Lu, Antonio Barbalace, Roberto Palmieri, Binoy Ravindran |
| 2013 | Middleware | On high performance distributed transactional data structures. | Aditya Dhoke, Roberto Palmieri, Binoy Ravindran |
| 2013 | Middleware | SMASH: speculative state machine replication in transactional systems. | Sachin Hirve, Roberto Palmieri, Binoy Ravindran |
| 2013 | Middleware | Automated data partitioning for independent distributed transactions. | Alexandru Turcu, Roberto Palmieri, Binoy Ravindran |
| 2013 | NCA | HyflowCPP: A Distributed Transactional Memory Framework for C++. | Sudhanshu Mishra, Alexandru Turcu, Roberto Palmieri, Binoy Ravindran |
| 2013 | NCA | On the Viability of Speculative Transactional Replication in Database Systems: A Case Study with PostgreSQL. | Sebastiano Peluso, Roberto Palmieri, Francesco Quaglia, Binoy Ravindran |
| 2013 | SYSTOR | HSG-LM: hybrid-copy speculative guest OS live migration without hypervisor. | Peng Lu, Antonio Barbalace, Binoy Ravindran |
| 2012 | DAC | STM concurrency control for embedded real-time software with tighter time bounds. | Mohammed El-Shambakey, Binoy Ravindran |
| 2012 | SAC | STM concurrency control for multicore embedded real-time software: time bounds and tradeoffs. | Mohammed El-Shambakey, Binoy Ravindran |
| 2012 | SAC | Implementing distributable real-time threads in the Linux kernel: programming interface and scheduling support. | Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen |
| 2012 | RTSS | Challenges in Distributed Real-Time Systems: Scheduling and Synchronization. | Binoy Ravindran |
| 2012 | SBAC-PAD | VPC: Scalable, Low Downtime Checkpointing for Virtual Clusters. | Peng Lu, Binoy Ravindran, Changsoo Kim |
| 2012 | SBAC-PAD | Transactional Forwarding: Supporting Highly-Concurrent STM in Asynchronous Distributed Systems. | Mohamed M. Saad, Binoy Ravindran |
| 2012 | SYSTOR | An experimental evaluation of real-time DVFS scheduling algorithms. | Sonal Saha, Binoy Ravindran |
| 2012 | SYSTOR | On open nesting in distributed transactional memory. | Alexandru Turcu, Binoy Ravindran |
| 2011 | DAC | ChronOS Linux: a best-effort real-time multiprocessor Linux kernel. | Matthew Dellinger, Piyush Garyali, Binoy Ravindran |
| 2011 | HPDC | HyFlow: a high performance distributed software transactional memory framework. | Mohamed M. Saad, Binoy Ravindran |
| 2011 | OPODIS | Enhancing the Performance of High Availability Lightweight Live Migration. | Peng Lu, Binoy Ravindran, Changsoo Kim |
| 2011 | OPODIS | A Quorum-Based Replication Framework for Distributed Software Transactional Memory. | Bo Zhang, Binoy Ravindran |
| 2011 | SSS | Snake: Control Flow Distributed Software Transactional Memory. | Mohamed M. Saad, Binoy Ravindran |
| 2010 | DCOSS | On Multihop Broadcast over Adaptively Duty-Cycled Wireless Sensor Networks. | Shouwen Lai, Binoy Ravindran |
| 2010 | INFOCOM | On Distributed Time-Dependent Shortest Paths over Duty-Cycled Wireless Sensor Networks. | Shouwen Lai, Binoy Ravindran |
| 2010 | OPODIS | On Best-Effort Utility Accrual Real-Time Scheduling on Multiprocessors. | Piyush Garyali, Matthew Dellinger, Binoy Ravindran |
| 2010 | OPODIS | On Minimizing Average End-to-End Delay in P2P Live Streaming Systems. | Fei Huang, Maleq Khan, Binoy Ravindran |
| 2010 | PODC | Brief announcement: on enhancing concurrency in distributed transactional memory. | Bo Zhang, Binoy Ravindran |
| 2010 | PODC | Brief announcement: queuing or priority queuing? on the design of cache-coherence protocols for distributed transactional memory. | Bo Zhang, Binoy Ravindran |
| 2010 | SSS | Lightweight Live Migration for High Availability Cluster Service. | Bo Jiang, Binoy Ravindran, Changsoo Kim |
| 2010 | SSS | On Transactional Scheduling in Distributed Transactional Memory Systems. | Junwhan Kim, Binoy Ravindran |
| 2009 | DATE | On bounding response times under software transactional memory in distributed multiprocessor real-time systems. | Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen |
| 2009 | Mobiquitous | On real-time capacity of event-driven data-gathering sensor networks. | Bo Jiang, Binoy Ravindran, Hyeonjoong Cho |
| 2009 | OPODIS | Brief Announcement: Relay: A Cache-Coherence Protocol for Distributed Transactional Memory. | Bo Zhang, Binoy Ravindran |
| 2009 | SAC | Response time analysis of software transactional memory-based distributed real-time systems. | Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen |
| 2009 | SAC | Opportunistic real-time routing in multi-hop wireless sensor networks. | Junwhan Kim, Binoy Ravindran |
| 2009 | SAC | On scheduling soft real-time tasks with lock-free synchronization for embedded devices. | Shouwen Lai, Binoy Ravindran, Hyeonjoong Cho |
| 2009 | SRDS | Location-Aware Cache-Coherence Protocols for Distributed Transactional Contention Management in Metric-Space Networks. | Bo Zhang, Binoy Ravindran |
| 2009 | SSS | CFlood: A Constrained Flooding Protocol for Real-time Data Delivery in Wireless Sensor Networks. | Bo Jiang, Binoy Ravindran, Hyeonjoong Cho |
| 2008 | AINA | LRTG: Scheduling Distributed Real-Time Tasks in Unreliable and Untrustworthy Systems. | Kai Han, Binoy Ravindran, E. Douglas Jensen |
| 2008 | DCOSS | Energy Efficient Sleep Scheduling in Sensor Networks for Multiple Target Tracking. | Bo Jiang, Binoy Ravindran, Hyeonjoong Cho |
| 2008 | EUC | RT-P2P: A Scalable Real-Time Peer-to-Peer System with Probabilistic Timing Assurances. | Fei Huang, Binoy Ravindran, E. Douglas Jensen |
| 2008 | ICECCS | Integrated Real-Time Scheduling and Communication with Probabilistic Timing Assurances in Unreliable Distributed Systems. | Fei Huang, Kai Han, Binoy Ravindran, E. Douglas Jensen |
| 2008 | ISORC | On Collaborative Scheduling of Distributable Real-Time Threads in Dynamic, Networked Embedded Systems. | Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen |
| 2008 | OPODIS | CQS-Pair: Cyclic Quorum System Pair for Wakeup Scheduling in Wireless Sensor Networks. | Shouwen Lai, Bo Zhang, Binoy Ravindran, Hyeonjoong Cho |
| 2008 | PRDC | SOQ: A Service-Oriented Quorum-Based Protocol for Resilient Real-Time Communication in Partitionable Networks. | Bo Zhang, Binoy Ravindran |
| 2008 | WCNC | RTRD: Real-Time and Reliable Data Delivery in Ad Hoc Networks. | Kai Han, Guanhong Pei, Binoy Ravindran, Hyeonjoong Cho, E. Douglas Jensen |
| 2008 | SAC | Scheduling distributable real-time threads in the presence of crash failures and message losses. | Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen |
| 2008 | WiMob | Rate Allocation with Lifetime Maximization and Fairness for Data Aggregation in Sensor Networks. | Shouwen Lai, Binoy Ravindran, Hyeonjoong Cho |
| 2007 | EUC | Consensus-Driven Distributable Thread Scheduling in Networked Embedded Systems. | Jonathan Stephen Anderson, Binoy Ravindran, E. Douglas Jensen |
| 2007 | EUC | Assured-Timeliness Integrity Protocols for Distributable Real-Time Threads with in Dynamic Distributed Systems. | Binoy Ravindran, Edward Curley, Jonathan Stephen Anderson, E. Douglas Jensen |
| 2007 | ICPADS | RTMG: Scheduling real-time distributable threads in large-scale, unreliable networks with low message overhead. | Kai Han, Binoy Ravindran, E. Douglas Jensen |
| 2007 | ISORC | On Best-Effort Real-Time Assurances for Recovering from Distributable Thread Failures in Distributed Real-Time Systems. | Binoy Ravindran, Edward Curley, Jonathan Stephen Anderson, E. Douglas Jensen |
| 2007 | PRDC | RTG-L: Dependably Scheduling Real-Time Distributable Threads in Large-Scale, Unreliable Networks. | Kai Han, Binoy Ravindran, E. Douglas Jensen |
| 2007 | WCNC | Probabilistic, Real-Time Scheduling of Distributable Threads Under Dependencies in Mobile, Ad Hoc Networks. | Kai Han, Binoy Ravindran, E. Douglas Jensen |
| 2006 | DATE | Lock-free synchronization for dynamic embedded real-time systems. | Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen |
| 2006 | EUC | On Multiprocessor Utility Accrual Real-Time Scheduling with Statistical Timing Assurances. | Hyeonjoong Cho, Haisang Wu, Binoy Ravindran, E. Douglas Jensen |
| 2006 | ISORC | On Scheduling Garbage Collector in Dynamic Real-Time Systems With Statistical Timing Assurances. | Hyeonjoong Cho, Chewoo Na, Binoy Ravindran, E. Douglas Jensen |
| 2006 | SAC | On utility accrual processor scheduling with wait-free synchronization for embedded real-time software. | Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen |
| 2006 | SAC | On bounding energy consumption in dynamic, embedded real-time systems. | Haisang Wu, Binoy Ravindran, E. Douglas Jensen |
| 2006 | RTSS | An Optimal Real-Time Scheduling Algorithm for Multiprocessors. | Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen |
| 2006 | RTCSA | Garbage Collector Scheduling in Dynamic, Multiprocessor Real-Time Systems. | Chewoo Na, Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen |
| 2006 | SRDS | Recovering from Distributable Thread Failures with Assured Timeliness in Real-Time Distributed Systems. | Edward Curley, Jonathan Stephen Anderson, Binoy Ravindran, E. Douglas Jensen |
| 2005 | DATE | Energy-Efficient, Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model. | Haisang Wu, Binoy Ravindran, E. Douglas Jensen |
| 2005 | ECRTS | A Space-Optimal Wait-Free Real-Time Synchronization Protocol. | Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen |
| 2005 | ISORC | Stochastic, Utility Accrual Real-Time Scheduling with Task-Level and System-Level Timeliness Assurances. | Peng Li, Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen |
| 2005 | ISORC | On Recent Advances in Time/Utility Function Real-Time Scheduling and Resource Management. | Binoy Ravindran, E. Douglas Jensen, Peng Li |
| 2005 | SAC | MSA: a memory-aware utility accrual scheduling algorithm. | Shahrooz Feizabadi, Binoy Ravindran, E. Douglas Jensen |
| 2005 | RTCSA | Utility Accrual Real-Time Scheduling under Variable Cost Functions. | Haisang Wu, Umut Balli, Binoy Ravindran, E. Douglas Jensen |
| 2004 | COMPSAC | Adaptive Time-Critical Resource Management Using Time/Utility Functions: Past, Present, and Future. | Peng Li, Binoy Ravindran, E. Douglas Jensen |
| 2004 | EMSOFT | Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems. | Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Peng Li |
| 2004 | ICPADS | Scheduling Distributable Real-Time Threads in Tempus Middleware. | Peng Li, Binoy Ravindran, Hyeonjoong Cho, E. Douglas Jensen |
| 2004 | ISORC | On Utility Accrual Real-Time Channel Establishment in Multi-Hop Networks. | Karthik Channakeshava, Binoy Ravindran |
| 2004 | ISORC | Utility Accrual Scheduling under Joint Utility and Resource Constraints. | Haisang Wu, Binoy Ravindran, E. Douglas Jensen |
| 2003 | ISORC | Choir: A Real-Time Middleware Architecture Supporting Benefit-Based Proactive Resource Allocation. | Peng Li, Binoy Ravindran, Jinggang Wang, Glenn Konowicz |
| 2003 | ISORC | A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems. | Binoy Ravindran, Grard Le Lann, Jinggang Wang, Peng Li |
| 2002 | ICPP | A Best-Effort Communication Protocol for Real-Time Broadcast Networks. | Lakshmi Ramaswamy, Binoy Ravindran |
| 2002 | ICPP | BPA: A Fast Packet Scheduling Algorithm for Real-Time Switched Ethernet Networks. | Jinggang Wang, Binoy Ravindran |
| 2001 | ISADS | Adaptive Resource Management in Asynchronous Real-Time Distributed Systems Using Feedback Control Functions. | Binoy Ravindran, Pushkin Kachroo, Tamir Hegazy |
| 2001 | ISPASS | Implementation and evaluation of a best-effort scheduling algorithm in an embedded real-time system. | Peng Li, Binoy Ravindran, Tamir Hegazy |
| 2000 | ICSR | Palette: A Reuse-Oriented Specification Language for Real-Time Systems. | Binoy Ravindran, Stephen H. Edwards |
| 1999 | EuroPar | Quality of Service Management in Distributed Asynchronous Real-Time Systems. | Binoy Ravindran |
| 1999 | RTAS | Adaptive QoS and Resource Management using a Posteriori Workload Characterizations. | Lonnie R. Welch, Paul V. Werme, Larry A. Fontenot, Michael W. Masters, Behrooz A. Shirazi, Binoy Ravindran, D. Wayne Mills |
| 1998 | RTSS | Specification and Modeling of Dynamic, Distributed Real-Time Systems. | Lonnie R. Welch, Binoy Ravindran, Behrooz A. Shirazi, Carl Bruggeman |
| 1996 | HiPC | Exploiting parallelism in high performance embedded system scheduling. | Binoy Ravindran, Lonnie R. Welch |