Metrics and techniques for automatic partitioning and assignment of object-based concurrent programs. - Lonnie R. Welch; Binoy Ravindran; Jorge Henriques; Dieter K. Hammer (SPDP, 1995)

Exploiting parallelism in high performance embedded system scheduling. - Binoy Ravindran; Lonnie R. Welch (HiPC, 1996)

Reverse Engineering of Computer-Based Control Systems. - Lonnie R. Welch; Guohui Yu; Binoy Ravindran; Franz J. Kurfess; Jorge Henriques; Mark Wilson 001; Antonio L. Samuel; Michael W. Masters (Int. J. Softw. Eng. Knowl. Eng., 1996)

Building Distributed Scalable Dependable Real-TimeSystems. - Binoy Ravindran; Lonnie R. Welch; Christian Kelling (ECBS, 1997)

A Resource Management Model for Dynamic, Scalable, Dependable, Real-Time Systems. - Binoy Ravindran; Lonnie R. Welch; Carl Bruggeman; Behrooz A. Shirazi; Charles Cavanaugh (IPPS/SPDP Workshops, 1998)

Specification and Modeling of Dynamic, Distributed Real-Time Systems. - Lonnie R. Welch; Binoy Ravindran; Behrooz A. Shirazi; Carl Bruggeman (RTSS, 1998)

Quality of Service Management in Distributed Asynchronous Real-Time Systems. - Binoy Ravindran (Euro-Par, 1999)

DynBench: A Dynamic Benchmark Suite for Distributed Real-Time Systems. - Behrooz A. Shirazi; Lonnie R. Welch; Binoy Ravindran; Charles Cavanaugh; Barath Yanamula; Russ Brucks; Eui-nam Huh (IPPS/SPDP Workshops, 1999)

Distributed, Scalable, Dependable Real-Time Systems: Middleware Services and Applications. - Lonnie R. Welch; Binoy Ravindran; Paul V. Werme; Michael W. Masters; Behrooz A. Shirazi; Prashant A. Shirolkar; Robert D. Harrison; D. Wayne Mills; Tuy Do; Judy Lafratta; Shafqat Anwar; Steve Sharp; et al. (IPPS/SPDP, 1999)

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 (IEEE Real Time Technology and Applications Symposium, 1999)

Palette: A Reuse-Oriented Specification Language for Real-Time Systems. - Binoy Ravindran; Stephen H. Edwards (ICSR, 2000)

DynBench: A Benchmark Suite for Dynamic Real-Time Systems. - Behrooz A. Shirazi; Lonnie R. Welch; Binoy Ravindran; Charles Cavanaugh; Eui-nam Huh (Parallel Distributed Comput. Pract., 2000)

On Adaptive Communication in Asynchronous Real-Time Distributed Systems. - Binoy Ravindran; Baoping Zhang (ECBS, 2001)

A Predictive Algorithm for Adaptive Resource Management of Periodic Tasks in Asynchronous Real-Time Distributed Systems. - Binoy Ravindran; Tamir Hegazy (IPDPS, 2001)

Adaptive Resource Management in Asynchronous Real-Time Distributed Systems Using Feedback Control Functions. - Binoy Ravindran; Pushkin Kachroo; Tamir Hegazy (ISADS, 2001)

Implementation and evaluation of a best-effort scheduling algorithm in an embedded real-time system. - Peng Li 020; Binoy Ravindran; Tamir Hegazy (ISPASS, 2001)

RBA: A Best Effort Resource Allocation Algorithm for Asynchronous Real-Time Distributed Systems. - Binoy Ravindran; Tamir Hegazy (J. Res. Pract. Inf. Technol., 2001)

Resource Management Middleware for Dynamic, Dependable Real-Time Systems. - Binoy Ravindran; Lonnie R. Welch; Behrooz A. Shirazi (Real Time Syst., 2001)

Intelligent feedback control-based adaptive resource management for asynchronous, decentralized real-time systems. - Binoy Ravindran; Pushkin Kachroo; Tamir Hegazy (IEEE Trans. Syst. Man Cybern. Syst., 2001)

On Decentralized Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems. - Tamir Hegazy; Binoy Ravindran (HASE, 2002)

Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach. - Binoy Ravindran; Gérard Le Lann; Peng Li 020 (HASE, 2002)

A Best-Effort Communication Protocol for Real-Time Broadcast Networks. - Lakshmi Ramaswamy; Binoy Ravindran (ICPP, 2002)

BPA: A Fast Packet Scheduling Algorithm for Real-Time Switched Ethernet Networks. - Jinggang Wang; Binoy Ravindran (ICPP, 2002)

Adaptive Resource Management Algorithms for Periodic Tasks in Dynamic Real-Time Distributed Systems. - Binoy Ravindran; Ravi K. Devarasetty; Behrooz A. Shirazi (J. Parallel Distributed Comput., 2002)

Using Application Benefit for Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems. - Tamir Hegazy; Binoy Ravindran (IEEE Trans. Computers, 2002)

Guest Editors' Introduction to Special Section on Asynchronous Real-Time Distributed Systems. - E. Douglas Jensen; Binoy Ravindran (IEEE Trans. Computers, 2002)

Engineering Dynamic Real-Time Distributed Systems: Architecture, System Description Language, and Middleware. - Binoy Ravindran (IEEE Trans. Software Eng., 2002)

Choir: A Real-Time Middleware Architecture Supporting Benefit-Based Proactive Resource Allocation. - Peng Li 020; Binoy Ravindran; Jinggang Wang; Glenn Konowicz (ISORC, 2003)

A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems. - Binoy Ravindran; Gérard Le Lann; Jinggang Wang; Peng Li 020 (ISORC, 2003)

Utilitiy Accrual Scheduling with Real-Time Java. - Shahrooz Feizabadi; William S. Beebee; Binoy Ravindran; Peng Li 020; Martin C. Rinard (OTM Workshops, 2003)

A Power-Aware, Best-Effort Real-Time Task Scheduling Algorithm. - Jinggang Wang; Binoy Ravindran; Tom L. Martin (WSTFES, 2003)

Proactive resource allocation for asynchronous real-time distributed systems in the presence of processor failures. - Binoy Ravindran; Peng Li 020; Tamir Hegazy (J. Parallel Distributed Comput., 2003)

LMR, DTA: adaptive communication algorithms for asynchronous real-time distributed systems using token-ring networks. - Binoy Ravindran (J. Syst. Softw., 2003)

CPU scheduling for statistically-assured real-time performance and improved energy efficiency. - Haisang Wu; Binoy Ravindran; E. Douglas Jensen; Peng Li 020 (CODES+ISSS, 2004)

Adaptive Time-Critical Resource Management Using Time/Utility Functions: Past, Present, and Future. - Peng Li 020; Binoy Ravindran; E. Douglas Jensen (COMPSAC Workshops, 2004)

Scheduling Distributable Real-Time Threads in Tempus Middleware. - Peng Li 020; Binoy Ravindran; Hyeonjoong Cho; E. Douglas Jensen (ICPADS, 2004)

On the Joint Utility Accrual Model. - Haisang Wu; Binoy Ravindran; E. Douglas Jensen (IPDPS, 2004)

On Utility Accrual Real-Time Channel Establishment in Multi-Hop Networks. - Karthik Channakeshava; Binoy Ravindran (ISORC, 2004)

Utility Accrual Scheduling under Joint Utility and Resource Constraints. - Haisang Wu; Binoy Ravindran; E. Douglas Jensen (ISORC, 2004)

Efficiently tolerating failures in asynchronous real-time distributed systems. - Peng Li 020; Binoy Ravindran (J. Syst. Archit., 2004)

Proactive QoS negotiation in asynchronous real-time distributed systems. - Peng Li 020; Binoy Ravindran (J. Syst. Softw., 2004)

Fast, Best-Effort Real-Time Scheduling Algorithms. - Peng Li 020; Binoy Ravindran (IEEE Trans. Computers, 2004)

DPR, LPR: Proactive Resource Allocation Algorithms for Asynchronous Real-Time Distributed Systems. - Binoy Ravindran; Peng Li 020 (IEEE Trans. Computers, 2004)

Time-Utility Function-Driven Switched Ethernet: Packet Scheduling Algorithm, Implementation, and Feasibility Analysis. - Jinggang Wang; Binoy Ravindran (IEEE Trans. Parallel Distributed Syst., 2004)

A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems. - Peng Li 020; Binoy Ravindran; Syed Suhaib; Shahrooz Feizabadi (IEEE Trans. Software Eng., 2004)

Energy-Efficient, Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model. - Haisang Wu; Binoy Ravindran; E. Douglas Jensen (DATE, 2005)

A Space-Optimal Wait-Free Real-Time Synchronization Protocol. - Hyeonjoong Cho; Binoy Ravindran; E. Douglas Jensen (ECRTS, 2005)

Stochastic, Utility Accrual Real-Time Scheduling with Task-Level and System-Level Timeliness Assurances. - Peng Li 020; Hyeonjoong Cho; Binoy Ravindran; E. Douglas Jensen (ISORC, 2005)

On Recent Advances in Time/Utility Function Real-Time Scheduling and Resource Management. - Binoy Ravindran; E. Douglas Jensen; Peng Li 020 (ISORC, 2005)

Utility Accrual Real-Time Scheduling under Variable Cost Functions. - Haisang Wu; Umut Balli; Binoy Ravindran; E. Douglas Jensen (RTCSA, 2005)

MSA: a memory-aware utility accrual scheduling algorithm. - Shahrooz Feizabadi; Binoy Ravindran; E. Douglas Jensen (SAC, 2005)

Time/Utility Function Decomposition Techniques for Utility Accrual Scheduling Algorithms in Real-Time Distributed Systems. - Haisang Wu; Binoy Ravindran; E. Douglas Jensen; Peng Li 020 (IEEE Trans. Computers, 2005)

On Multiprocessor Utility Accrual Real-Time Scheduling with Statistical Timing Assurances. - Hyeonjoong Cho; Haisang Wu; Binoy Ravindran; E. Douglas Jensen (EUC, 2006)

Garbage Collector Scheduling in Dynamic, Multiprocessor Real-Time Systems. - Chewoo Na; Hyeonjoong Cho; Binoy Ravindran; E. Douglas Jensen (RTCSA, 2006)

An Optimal Real-Time Scheduling Algorithm for Multiprocessors. - Hyeonjoong Cho; Binoy Ravindran; E. Douglas Jensen (RTSS, 2006)

On utility accrual processor scheduling with wait-free synchronization for embedded real-time software. - Hyeonjoong Cho; Binoy Ravindran; E. Douglas Jensen (SAC, 2006)

On bounding energy consumption in dynamic, embedded real-time systems. - Haisang Wu; Binoy Ravindran; E. Douglas Jensen (SAC, 2006)

Recovering from Distributable Thread Failures with Assured Timeliness in Real-Time Distributed Systems. - Edward Curley; Jonathan Stephen Anderson; Binoy Ravindran; E. Douglas Jensen (SRDS, 2006)

Utility Accrual Channel Establishment in Multihop Networks. - Karthik Channakeshava; Binoy Ravindran; E. Douglas Jensen (IEEE Trans. Computers, 2006)

A Utility Accrual Scheduling Algorithm for Real-Time Activities with Mutual Exclusion Resource Constraints. - Peng Li 020; Haisang Wu; Binoy Ravindran; E. Douglas Jensen (IEEE Trans. Computers, 2006)

Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems. - Haisang Wu; Binoy Ravindran; E. Douglas Jensen; Peng Li 020 (ACM Trans. Embed. Comput. Syst., 2006)

Consensus-Driven Distributable Thread Scheduling in Networked Embedded Systems. - Jonathan Stephen Anderson; Binoy Ravindran; E. Douglas Jensen (EUC, 2007)

Assured-Timeliness Integrity Protocols for Distributable Real-Time Threads with in Dynamic Distributed Systems. - Binoy Ravindran; Edward Curley; Jonathan Stephen Anderson; E. Douglas Jensen (EUC Workshops, 2007)

On Scheduling Exception Handlers in Dynamic, Embedded Real-Time Systems. - Binoy Ravindran; Edward Curley; E. Douglas Jensen (ICESS, 2007)

RTMG: Scheduling real-time distributable threads in large-scale, unreliable networks with low message overhead. - Kai Han 004; Binoy Ravindran; E. Douglas Jensen (ICPADS, 2007)

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 (ISORC, 2007)

Byzantine-Tolerant, Information Propagation in Untrustworthy and Unreliable Networks. - Kai Han 004; Binoy Ravindran; E. Douglas Jensen (NBiS, 2007)

RTG-L: Dependably Scheduling Real-Time Distributable Threads in Large-Scale, Unreliable Networks. - Kai Han 004; Binoy Ravindran; E. Douglas Jensen (PRDC, 2007)

On Distributed Real-Time Scheduling in Networked Embedded Systems in the Presence of Crash Failures. - Binoy Ravindran; Jonathan Stephen Anderson; E. Douglas Jensen (SEUS, 2007)

Synchronization for an optimal real-time scheduling algorithm on multiprocessors. - Hyeonjoong Cho; Binoy Ravindran; E. Douglas Jensen (SIES, 2007)

Probabilistic, Real-Time Scheduling of Distributable Threads Under Dependencies in Mobile, Ad Hoc Networks. - Kai Han 004; Binoy Ravindran; E. Douglas Jensen (WCNC, 2007)

On scheduling garbage collector in dynamic real-time systems with statistical timing assurances. - Hyeonjoong Cho; Chewoo Na; Binoy Ravindran; E. Douglas Jensen (Real Time Syst., 2007)

Utility Accrual Real-Time Scheduling under Variable Cost Functions. - Umut Balli; Haisang Wu; Binoy Ravindran; Jonathan Stephen Anderson; E. Douglas Jensen (IEEE Trans. Computers, 2007)

Space-Optimal, Wait-Free Real-Time Synchronization. - Hyeonjoong Cho; Binoy Ravindran; E. Douglas Jensen (IEEE Trans. Computers, 2007)

Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model with Energy Bounds. - Haisang Wu; Binoy Ravindran; E. Douglas Jensen (IEEE Trans. Computers, 2007)

RTQG: Real-Time Quorum-based Gossip Protocol for Unreliable Networks. - Bo Zhang 016; Kai Han 004; Binoy Ravindran; E. Douglas Jensen (ARES, 2008)

Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness. - Sherif Fadel Fahmy; Binoy Ravindran; E. Douglas Jensen (Ada-Europe, 2008)

LRTG: Scheduling Distributed Real-Time Tasks in Unreliable and Untrustworthy Systems. - Kai Han 004; Binoy Ravindran; E. Douglas Jensen (AINA Workshops, 2008)

Energy Efficient Sleep Scheduling in Sensor Networks for Multiple Target Tracking. - Bo Jiang 008; Binoy Ravindran; Hyeonjoong Cho (DCOSS, 2008)

RT-P2P: A Scalable Real-Time Peer-to-Peer System with Probabilistic Timing Assurances. - Fei Huang 001; Binoy Ravindran; E. Douglas Jensen (EUC (1), 2008)

Real-Time, Byzantine-Tolerant Information Dissemination in Unreliable and Untrustworthy Distributed Systems. - Kai Han 004; Guanhong Pei; Binoy Ravindran; E. Douglas Jensen (ICC, 2008)

Integrated Real-Time Scheduling and Communication with Probabilistic Timing Assurances in Unreliable Distributed Systems. - Fei Huang 001; Kai Han 004; Binoy Ravindran; E. Douglas Jensen (ICECCS, 2008)

Scheduling Dependent Distributable Real-Time Threads in Dynamic Networked Embedded Systems. - Sherif Fadel Fahmy; Binoy Ravindran; E. Douglas Jensen (DIPES, 2008)

Energy efficient sleep scheduling based on moving directions in target tracking sensor network. - Bo Jiang 008; Kai Han 004; Binoy Ravindran; Hyeonjoong Cho (IPDPS, 2008)

On Collaborative Scheduling of Distributable Real-Time Threads in Dynamic, Networked Embedded Systems. - Sherif Fadel Fahmy; Binoy Ravindran; E. Douglas Jensen (ISORC, 2008)

CQS-Pair: Cyclic Quorum System Pair for Wakeup Scheduling in Wireless Sensor Networks. - Shouwen Lai; Bo Zhang 016; Binoy Ravindran; Hyeonjoong Cho (OPODIS, 2008)

SOQ: A Service-Oriented Quorum-Based Protocol for Resilient Real-Time Communication in Partitionable Networks. - Bo Zhang 016; Binoy Ravindran (PRDC, 2008)

Scheduling distributable real-time threads in the presence of crash failures and message losses. - Sherif Fadel Fahmy; Binoy Ravindran; E. Douglas Jensen (SAC, 2008)

On a Self-Organizing MANET Event Routing Architecture with Causal Dependency Awareness. - Guanhong Pei; Binoy Ravindran; E. Douglas Jensen (SASO, 2008)

On Scalable Synchronization for Distributed Embedded Real-Time Systems. - Sherif Fadel Fahmy; Binoy Ravindran; E. Douglas Jensen (SEUS, 2008)

RTRD: Real-Time and Reliable Data Delivery in Ad Hoc Networks. - Kai Han 004; Guanhong Pei; Binoy Ravindran; Hyeonjoong Cho; E. Douglas Jensen (WCNC, 2008)

Rate Allocation with Lifetime Maximization and Fairness for Data Aggregation in Sensor Networks. - Shouwen Lai; Binoy Ravindran; Hyeonjoong Cho (WiMob, 2008)

On bounding response times under software transactional memory in distributed multiprocessor real-time systems. - Sherif Fadel Fahmy; Binoy Ravindran; E. Douglas Jensen (DATE, 2009)

On real-time capacity of event-driven data-gathering sensor networks. - Bo Jiang 008; Binoy Ravindran; Hyeonjoong Cho (MobiQuitous, 2009)

Brief Announcement: Relay: A Cache-Coherence Protocol for Distributed Transactional Memory. - Bo Zhang 016; Binoy Ravindran (OPODIS, 2009)

An Approximation Algorithm for Minimum-Delay Peer-to-Peer Streaming. - Fei Huang 001; Binoy Ravindran; Anil Vullikanti (Peer-to-Peer Computing, 2009)

Response time analysis of software transactional memory-based distributed real-time systems. - Sherif Fadel Fahmy; Binoy Ravindran; E. Douglas Jensen (SAC, 2009)

Opportunistic real-time routing in multi-hop wireless sensor networks. - Junwhan Kim; Binoy Ravindran (SAC, 2009)

On scheduling soft real-time tasks with lock-free synchronization for embedded devices. - Shouwen Lai; Binoy Ravindran; Hyeonjoong Cho (SAC, 2009)

Location-Aware Cache-Coherence Protocols for Distributed Transactional Contention Management in Metric-Space Networks. - Bo Zhang 016; Binoy Ravindran (SRDS, 2009)

CFlood: A Constrained Flooding Protocol for Real-time Data Delivery in Wireless Sensor Networks. - Bo Jiang 008; Binoy Ravindran; Hyeonjoong Cho (SSS, 2009)

Garbage Collector Scheduling in Dynamic, Multiprocessor Real-Time Systems. - Hyeonjoong Cho; Binoy Ravindran; Chewoo Na (IEEE Trans. Parallel Distributed Syst., 2009)

Event-Based System Architecture in Mobile Ad Hoc Networks (MANETs). - Guanhong Pei; Binoy Ravindran (Principles and Applications of Distributed Event-Based Systems, 2010)

On Multihop Broadcast over Adaptively Duty-Cycled Wireless Sensor Networks. - Shouwen Lai; Binoy Ravindran (DCOSS, 2010)

On Distributed Time-Dependent Shortest Paths over Duty-Cycled Wireless Sensor Networks. - Shouwen Lai; Binoy Ravindran (INFOCOM, 2010)

Dynamic analysis of the relay cache-coherence protocol for distributed transactional memory. - Bo Zhang 016; Binoy Ravindran (IPDPS, 2010)

On Best-Effort Utility Accrual Real-Time Scheduling on Multiprocessors. - Piyush Garyali; Matthew Dellinger; Binoy Ravindran (OPODIS, 2010)

On Minimizing Average End-to-End Delay in P2P Live Streaming Systems. - Fei Huang 001; Maleq Khan; Binoy Ravindran (OPODIS, 2010)

NAP: An Agent-Based Scheme on Reducing Churn-Induced Delays for P2P Live Streaming. - Fei Huang 001; Binoy Ravindran; Maleq Khan (Peer-to-Peer Computing, 2010)

Brief announcement: on enhancing concurrency in distributed transactional memory. - Bo Zhang 016; Binoy Ravindran (PODC, 2010)

Brief announcement: queuing or priority queuing? on the design of cache-coherence protocols for distributed transactional memory. - Bo Zhang 016; Binoy Ravindran (PODC, 2010)

Lightweight Live Migration for High Availability Cluster Service. - Bo Jiang 008; Binoy Ravindran; Changsoo Kim (SSS, 2010)

On Transactional Scheduling in Distributed Transactional Memory Systems. - Junwhan Kim; Binoy Ravindran (SSS, 2010)

Utility accrual real-time scheduling for multiprocessor embedded systems. - Hyeonjoong Cho; Binoy Ravindran; E. Douglas Jensen (J. Parallel Distributed Comput., 2010)

T-L plane-based real-time scheduling for homogeneous multiprocessors. - Hyeonjoong Cho; Binoy Ravindran; E. Douglas Jensen (J. Parallel Distributed Comput., 2010)

Heterogenous Quorum-Based Wake-Up Scheduling in Wireless Sensor Networks. - Shouwen Lai; Binoy Ravindran; Hyeonjoong Cho (IEEE Trans. Computers, 2010)

Lock-free synchronization for dynamic embedded real-time systems. - Hyeonjoong Cho; Binoy Ravindran; E. Douglas Jensen (ACM Trans. Embed. Comput. Syst., 2010)

Recovering from distributable thread failures in distributed real-time Java. - Edward Curley; Binoy Ravindran; Jonathan Stephen Anderson; E. Douglas Jensen (ACM Trans. Embed. Comput. Syst., 2010)

ChronOS Linux: a best-effort real-time multiprocessor Linux kernel. - Matthew Dellinger; Piyush Garyali; Binoy Ravindran (DAC, 2011)

HyFlow: a high performance distributed software transactional memory framework. - Mohamed M. Saad; Binoy Ravindran (HPDC, 2011)

Completely Distributed Particle Filters for Target Tracking in Sensor Networks. - Bo Jiang 008; Binoy Ravindran (IPDPS, 2011)

Enhancing the Performance of High Availability Lightweight Live Migration. - Peng Lu; Binoy Ravindran; Changsoo Kim (OPODIS, 2011)

A Quorum-Based Replication Framework for Distributed Software Transactional Memory. - Bo Zhang 016; Binoy Ravindran (OPODIS, 2011)

On STM concurrency control for multicore embedded real-time software. - Sherif Fadel Fahmy; Binoy Ravindran (ICSAMOS, 2011)

Snake: Control Flow Distributed Software Transactional Memory. - Mohamed M. Saad; Binoy Ravindran (SSS, 2011)

Achieving Max-Min lifetime and fairness with rate allocation for data aggregation in sensor networks. - Shouwen Lai; Binoy Ravindran (Ad Hoc Networks, 2011)

An Automatic Presence Service for Low Duty-Cycled Mobile Sensor Networks. - Shouwen Lai; Binoy Ravindran (Mob. Networks Appl., 2011)

Self-organizing and self-reconfigurable event routing in ad hoc networks with causal dependency awareness. - Guanhong Pei; Binoy Ravindran; E. Douglas Jensen (ACM Trans. Auton. Adapt. Syst., 2011)

STM concurrency control for embedded real-time software with tighter time bounds. - Mohammed El-Shambakey; Binoy Ravindran (DAC, 2012)

HydraVM: Extracting Parallelism from Legacy Sequential Code Using STM. - Mohamed M. Saad; Mohamed Mohamedin; Binoy Ravindran (HotPar, 2012)

Scheduling Closed-Nested Transactions in Distributed Transactional Memory. - Junwhan Kim; Binoy Ravindran (IPDPS, 2012)

A framework accommodating categorized multiprocessor real-time scheduling in the RTSJ. - Jinsan Kwon; Hyeonjoong Cho; Binoy Ravindran (JTRES, 2012)

Challenges in Distributed Real-Time Systems: Scheduling and Synchronization. - Binoy Ravindran (REACTION, 2012)

STM concurrency control for multicore embedded real-time software: time bounds and tradeoffs. - Mohammed El-Shambakey; Binoy Ravindran (SAC, 2012)

Implementing distributable real-time threads in the Linux kernel: programming interface and scheduling support. - Sherif Fadel Fahmy; Binoy Ravindran; E. Douglas Jensen (SAC, 2012)

VPC: Scalable, Low Downtime Checkpointing for Virtual Clusters. - Peng Lu; Binoy Ravindran; Changsoo Kim (SBAC-PAD, 2012)

Transactional Forwarding: Supporting Highly-Concurrent STM in Asynchronous Distributed Systems. - Mohamed M. Saad; Binoy Ravindran (SBAC-PAD, 2012)

An experimental evaluation of real-time DVFS scheduling algorithms. - Sonal Saha; Binoy Ravindran (SYSTOR, 2012)

On open nesting in distributed transactional memory. - Alexandru Turcu; Binoy Ravindran (SYSTOR, 2012)

An experimental evaluation of the scalability of real-time scheduling algorithms on large-scale multicore platforms. - Matthew Dellinger; Aaron Lindsay; Binoy Ravindran (ACM J. Exp. Algorithmics, 2012)

On real-time STM concurrency control for embedded software with improved schedulability. - Mohammed El-Shambakey; Binoy Ravindran (ASP-DAC, 2013)

Scheduling Transactions in Replicated Distributed Software Transactional Memory. - Junwhan Kim; Binoy Ravindran (CCGRID, 2013)

On transactional memory concurrency control in distributed real-time programs. - Sachin Hirve; Aaron Lindsay; Binoy Ravindran; Roberto Palmieri (CLUSTER, 2013)

Scheduling Open-Nested Transactions in Distributed Transactional Memory. - Junwhan Kim; Roberto Palmieri; Binoy Ravindran (COORDINATION, 2013)

ByteSTM: Virtual Machine-Level Java Software Transactional Memory. - Mohamed Mohamedin; Binoy Ravindran; Roberto Palmieri (COORDINATION, 2013)

FBLT: a real-time contention manager with improved schedulability. - Mohammed El-Shambakey; Binoy Ravindran (DATE, 2013)

Enhancing Concurrency in Distributed Transactional Memory through Commutativity. - Junwhan Kim; Roberto Palmieri; Binoy Ravindran (Euro-Par, 2013)

Adaptive Live Migration to Improve Load Balancing in Virtual Machine Environment. - Peng Lu; Antonio Barbalace; Roberto Palmieri; Binoy Ravindran (Euro-Par Workshops, 2013)

On Closed Nesting and Checkpointing in Fault-Tolerant Distributed Transactional Memory. - Aditya Dhoke; Binoy Ravindran; Bo Zhang 016 (IPDPS, 2013)

On high performance distributed transactional data structures. - Aditya Dhoke; Roberto Palmieri; Binoy Ravindran (Middleware Demo & Poster Track, 2013)

SMASH: speculative state machine replication in transactional systems. - Sachin Hirve; Roberto Palmieri; Binoy Ravindran (Middleware Demo & Poster Track, 2013)

Automated data partitioning for independent distributed transactions. - Alexandru Turcu; Roberto Palmieri; Binoy Ravindran (Middleware Demo & Poster Track, 2013)

HyflowCPP: A Distributed Transactional Memory Framework for C++. - Sudhanshu Mishra; Alexandru Turcu; Roberto Palmieri; Binoy Ravindran (NCA, 2013)

On the Viability of Speculative Transactional Replication in Database Systems: A Case Study with PostgreSQL. - Sebastiano Peluso; Roberto Palmieri; Francesco Quaglia; Binoy Ravindran (NCA, 2013)

Hyflow2: a high performance distributed transactional memory framework in scala. - Alexandru Turcu; Binoy Ravindran; Roberto Palmieri (PPPJ, 2013)

HSG-LM: hybrid-copy speculative guest OS live migration without hypervisor. - Peng Lu; Antonio Barbalace; Binoy Ravindran (SYSTOR, 2013)

Least-Latency Routing over Time-Dependent Wireless Sensor Networks. - Shouwen Lai; Binoy Ravindran (IEEE Trans. Computers, 2013)

Probability-Based Prediction and Sleep Scheduling for Energy-Efficient Target Tracking in Sensor Networks. - Bo Jiang 008; Binoy Ravindran; Hyeonjoong Cho (IEEE Trans. Mob. Comput., 2013)

KairosVM: Deterministic introspection for real-time virtual machine hierarchical scheduling. - Kevin Burns; Antonio Barbalace; Vincent Legout; Binoy Ravindran (ETFA, 2014)

On Cache-Aware Task Partitioning for Multicore Embedded Real-Time Systems. - Aaron Lindsay; Binoy Ravindran (HPCC/CSS/ICESS, 2014)

Remote Invalidation: Optimizing the Critical Path of Memory Transactions. - Ahmed Hassan; Roberto Palmieri; Binoy Ravindran (IPDPS, 2014)

Managing Soft-Errors in Transactional Systems. - Mohamed Mohamedin; Roberto Palmieri; Binoy Ravindran (IPDPS Workshops, 2014)

Speculative client execution in deferred update replication. - Balaji Arun; Sachin Hirve; Roberto Palmieri; Sebastiano Peluso; Binoy Ravindran (MW4NG@Middleware, 2014)

Archie: a speculative replicated transactional system. - Sachin Hirve; Roberto Palmieri; Binoy Ravindran (Middleware, 2014)

On Making Transactional Applications Resilient to Data Corruption Faults. - Mohamed Mohamedin; Roberto Palmieri; Binoy Ravindran (NCA, 2014)

On Developing Optimistic Transactional Lazy Set. - Ahmed Hassan; Roberto Palmieri; Binoy Ravindran (OPODIS, 2014)

Be General and Don't Give Up Consistency in Geo-Replicated Transactional Systems. - Alexandru Turcu; Sebastiano Peluso; Roberto Palmieri; Binoy Ravindran (OPODIS, 2014)

Optimistic transactional boosting. - Ahmed Hassan; Roberto Palmieri; Binoy Ravindran (PPoPP, 2014)

Applying source level auto-vectorization to Aparapi Java. - Curt Albert; Alastair Murray; Binoy Ravindran (PPPJ, 2014)

Distributed Transactional Contention Management as the Traveling Salesman Problem. - Bo Zhang 016; Binoy Ravindran; Roberto Palmieri (SIROCCO, 2014)

Automated Data Partitioning for Highly Scalable and Strongly Consistent Transactions. - Alexandru Turcu; Roberto Palmieri; Binoy Ravindran (SYSTOR, 2014)

Breaching the Wall of Impossibility Results on Disjoint-Access Parallel TM. - Sebastiano Peluso; Roberto Palmieri; Paolo Romano 002; Binoy Ravindran; Francesco Quaglia (DISC, 2014)

Transaction Execution Models in Partially Replicated Transactional Memory: The Case for Data-Flow and Control-Flow. - Roberto Palmieri; Sebastiano Peluso; Binoy Ravindran (Transactional Memory, 2015)

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 (EuroSys, 2015)

On Reducing False Conflicts in Distributed Transactional Data Structures. - Aditya Dhoke; Roberto Palmieri; Binoy Ravindran (ICDCN, 2015)

Reducing Aborts in Distributed Transactional Systems through Dependency Detection. - Bo Zhang 016; Binoy Ravindran; Roberto Palmieri (ICDCN, 2015)

Thread Migration in a Replicated-Kernel OS. - David Katz; Antonio Barbalace; Saif Ansary; Akshay Ravichandran; Binoy Ravindran (ICDCS, 2015)

On Preserving Data Integrity of Transactional Applications on Multicore Architectures. - Mohamed Mohamedin; Roberto Palmieri; Binoy Ravindran (ICDCS, 2015)

On Exploiting Locality for Generalized Consensus. - Sebastiano Peluso; Alexandru Turcu; Roberto Palmieri; Binoy Ravindran (ICDCS, 2015)

An Automated Framework for Decomposing Memory Transactions to Exploit Partial Rollback. - Aditya Dhoke; Roberto Palmieri; Binoy Ravindran (IPDPS, 2015)

Disjoint-Access Parallelism: Impossibility, Possibility, and Cost of Transactional Memory Implementations. - Sebastiano Peluso; Roberto Palmieri; Paolo Romano 002; Binoy Ravindran; Francesco Quaglia (PODC, 2015)

Brief Announcement: Managing Resource Limitation of Best-Effort HTM. - Mohamed Mohamedin; Roberto Palmieri; Ahmed Hassan; Binoy Ravindran (SPAA, 2015)

Brief Announcement: On Scheduling Best-Effort HTM Transactions. - Mohamed Mohamedin; Roberto Palmieri; Binoy Ravindran (SPAA, 2015)

Transactional Interference-Less Balanced Tree. - Ahmed Hassan; Roberto Palmieri; Binoy Ravindran (DISC, 2015)

Harnessing Energy Efficiency of Heterogeneous-ISA Platforms. - Sharath K. Bhat; Ajithchandra Saya; Hemedra K. Rawat; Antonio Barbalace; Binoy Ravindran (ACM SIGOPS Oper. Syst. Rev., 2015)

On Scheduling in Distributed Transactional Memory: Techniques and Tradeoffs. - Junwhan Kim; Roberto Palmieri; Binoy Ravindran (Handbook on Data Centers, 2015)

Making Fast Consensus Generally Faster. - Sebastiano Peluso; Alexandru Turcu; Roberto Palmieri; Giuliano Losa; Binoy Ravindran (DSN, 2016)

A flattened hierarchical scheduler for real-time virtualization. - Michael Drescher; Vincent Legout; Antonio Barbalace; Binoy Ravindran (EMSOFT, 2016)

Brief Announcement: A Family of Leaderless Generalized-Consensus Algorithms. - Giuliano Losa; Sebastiano Peluso; Binoy Ravindran (PODC, 2016)

On designing NUMA-aware concurrency control for scalable transactional memory. - Mohamed Mohamedin; Roberto Palmieri; Sebastiano Peluso; Binoy Ravindran (PPoPP, 2016)

On ordering transaction commit. - Mohamed M. Saad; Roberto Palmieri; Binoy Ravindran (PPoPP, 2016)

Extending TM Primitives using Low Level Semantics. - Mohamed M. Saad; Roberto Palmieri; Ahmed Hassan; Binoy Ravindran (SPAA, 2016)

Exploiting Parallelism of Distributed Nested Transactions. - Duane Niles; Roberto Palmieri; Binoy Ravindran (SYSTOR, 2016)

Opacity vs TMS2: Expectations and Reality. - Sandeep Hans; Ahmed Hassan; Roberto Palmieri; Sebastiano Peluso; Binoy Ravindran (DISC, 2016)

Remote Transaction Commit: Centralizing Software Transactional Memory Commits. - Ahmed Hassan; Roberto Palmieri; Binoy Ravindran (IEEE Trans. Computers, 2016)

On Open Nesting in Distributed Transactional Memory. - Alexandru Turcu; Roberto Palmieri; Binoy Ravindran (IEEE Trans. Computers, 2016)

Automated Data Partitioning for Highly Scalable and Strongly Consistent Transactions. - Alexandru Turcu; Roberto Palmieri; Binoy Ravindran; Sachin Hirve (IEEE Trans. Parallel Distributed Syst., 2016)

Breaking the Boundaries in Heterogeneous-ISA Datacenters. - Antonio Barbalace; Robert Lyerly; Christopher Jelesnianski; Anthony Carno; Ho-Ren Chuang; Vincent Legout; Binoy Ravindran (ASPLOS, 2017)

Speeding up Consensus by Chasing Fast Decisions. - Balaji Arun; Sebastiano Peluso; Roberto Palmieri; Giuliano Losa; Binoy Ravindran (DSN, 2017)

OS Support for Thread Migration and Distribution in the Fully Heterogeneous Datacenter. - Pierre Olivier; Sang-Hoon Kim; Binoy Ravindran (HotOS, 2017)

A Distributed Operating System Network Stack and Device Driver for Multicores. - Saif Ansary; Antonio Barbalace; Ho-Ren Chuang; Thomas Lazor; Binoy Ravindran (ICDCS, 2017)

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 (ICDCS, 2017)

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 (VEE, 2017)

HiperTM: High performance, fault-tolerant transactional memory. - Sachin Hirve; Roberto Palmieri; Binoy Ravindran (Theor. Comput. Sci., 2017)

Optimistic Transactional Boosting. - Ahmed Hassan; Roberto Palmieri; Sebastiano Peluso; Binoy Ravindran (IEEE Trans. Parallel Distributed Syst., 2017)

Managing Resource Limitation of Best-Effort HTM. - Mohamed Mohamedin; Roberto Palmieri; Ahmed Hassan; Binoy Ravindran (IEEE Trans. Parallel Distributed Syst., 2017)

AIRA: A Framework for Flexible Compute Kernel Execution in Heterogeneous Platforms. - Robert Lyerly; Alastair Murray; Antonio Barbalace; Binoy Ravindran (IEEE Trans. Parallel Distributed Syst., 2018)

Formally verified big step semantics out of x86-64 binaries. - Ian Roessle; Freek Verbeek; Binoy Ravindran (CPP, 2019)

Scalable Translation Validation of Unverified Legacy OS Code. - Amer Tahat; Sarang Joshi; Pronnoy Goswami; Binoy Ravindran (FMCAD, 2019)

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 (HPDC, 2019)

ezBFT: Decentralizing Byzantine Fault-Tolerant State Machine Replication. - Balaji Arun; Sebastiano Peluso; Binoy Ravindran (ICDCS, 2019)

Establishing a refinement relation between binaries and abstract code. - Freek Verbeek; Joshua A. Bockenek; Abhijith Bharadwaj; Binoy Ravindran; Ian Roessle (MEMOCODE, 2019)

Quantifying Memory Underutilization in HPC Systems and Using it to Improve Performance via Architecture Support. - Gagandeep Panwar; Da Zhang 004; Yihan Pang; Mai Dahshan; Nathan DeBardeleben; Binoy Ravindran; Xun Jian 002 (MICRO, 2019)

Generalized Consensus for Practical Fault Tolerance. - Mohit Garg 005; Sebastiano Peluso; Balaji Arun; Binoy Ravindran (Middleware, 2019)

SlimGuard: A Secure and Memory-Efficient Heap Allocator. - Beichen Liu; Pierre Olivier; Binoy Ravindran (Middleware, 2019)

Hyaline: Fast and Transparent Lock-Free Memory Reclamation. - Ruslan Nikolaev 001; Binoy Ravindran (PODC, 2019)

Scheduling HPC workloads on heterogeneous-ISA architectures: poster. - Mohamed Lamine Karaoui; Anthony Carno; Robert Lyerly; Sang-Hoon Kim; Pierre Olivier; Changwoo Min; Binoy Ravindran (PPoPP, 2019)

libMPNode: An OpenMP Runtime For Parallel Processing Across Incoherent Domains. - Robert Lyerly; Sang-Hoon Kim; Binoy Ravindran (PMAM@PPoPP, 2019)

Formal Verification of Memory Preservation of x86-64 Binaries. - Joshua A. Bockenek; Freek Verbeek; Peter Lammich; Binoy Ravindran (SAFECOMP, 2019)

Rethinking Communication in Multiple-kernel OSes for New Shared Memory Interconnects. - Antonio Barbalace; Pierre Olivier; Binoy Ravindran (PLOS@SOSP, 2019)

Cross-ISA execution of SIMD regions for improved performance. - Yihan Pang; Robert Lyerly; Binoy Ravindran (SYSTOR, 2019)

A binary-compatible unikernel. - Pierre Olivier; Daniel Chiba; Stefan Lankes; Changwoo Min; Binoy Ravindran (VEE, 2019)

Spectrum: A Framework for Adapting Consensus Protocols. - Balaji Arun; Sebastiano Peluso; Binoy Ravindran (CoRR, 2019)

PrVM: a multicore real-time virtualization scheduling framework with probabilistic timing guarantees. - Kevin Burns; Vincent Legout; Antonio Barbalace; Binoy Ravindran (SIGBED Rev., 2019)

Lerna: Parallelizing Dependent Loops Using Speculation. - Mohamed M. Saad; Roberto Palmieri; Binoy Ravindran (ACM Trans. Storage, 2019)

Dynamic and Secure Memory Transformation in Userspace. - Robert Lyerly; Xiaoguang Wang 003; Binoy Ravindran (ESORICS (1), 2020)

Secure and efficient in-process monitor (and library) protection with Intel MPK. - Xiaoguang Wang 003; Sengming Yeoh; Pierre Olivier; Binoy Ravindran (EuroSec@EuroSys, 2020)

DeX: Scaling Applications Beyond Machine Boundaries. - Sang-Hoon Kim; Ho-Ren Chuang; Robert Lyerly; Pierre Olivier; Changwoo Min; Binoy Ravindran (ICDCS, 2020)

An OpenMP Runtime for Transparent Work Sharing Across Cache-Incoherent Heterogeneous Nodes. - Robert Lyerly; Changwoo Min; Christopher J. Rossbach; Binoy Ravindran (Middleware, 2020)

A Validation Methodology for OCaml-to-PVS Translation. - Xiaoxin An; Amer Tahat; Binoy Ravindran (NFM, 2020)

Universal wait-free memory reclamation. - Ruslan Nikolaev 001; Binoy Ravindran (PPoPP, 2020)

A Framework for Software Diversification with ISA Heterogeneity. - Xiaoguang Wang 003; Sengming Yeoh; Robert Lyerly; Pierre Olivier; Sang-Hoon Kim; Binoy Ravindran (RAID, 2020)

Sound C Code Decompilation for a Subset of x86-64 Binaries. - Freek Verbeek; Pierre Olivier; Binoy Ravindran (SEFM, 2020)

Scaling Shared Memory Multiprocessing Applications in Non-cache-coherent Domains. - Ho-Ren Chuang; Robert Lyerly; Stefan Lankes; Binoy Ravindran (SYSTOR, 2020)

Highly Automated Formal Proofs over Memory Usage of Assembly Code. - Freek Verbeek; Joshua A. Bockenek; Binoy Ravindran (TACAS (2), 2020)

LibrettOS: a dynamically adaptable multiserver-library OS. - Ruslan Nikolaev 001; Mincheol Sung; Binoy Ravindran (VEE, 2020)

Edge computing: the case for heterogeneous-ISA container migration. - Antonio Barbalace; Mohamed Lamine Karaoui; Wei Wang 512; Tong Xing; Pierre Olivier; Binoy Ravindran (VEE, 2020)

Intra-unikernel isolation with Intel memory protection keys. - Mincheol Sung; Pierre Olivier; Stefan Lankes; Binoy Ravindran (VEE, 2020)

DuoBFT: Resilience vs. Efficiency Trade-off in Byzantine Fault Tolerance. - Balaji Arun; Binoy Ravindran (CoRR, 2020)

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 (Middleware, 2021)

Verification of Functional Correctness of Code Diversification Techniques. - Jae-Won Jang; Freek Verbeek; Binoy Ravindran (NFM, 2021)

Snapshot-free, transparent, and robust memory reclamation for lock-free data structures. - Ruslan Nikolaev 001; Binoy Ravindran (PLDI, 2021)

Brief Announcement: Crystalline: Fast and Memory Efficient Wait-Free Reclamation. - Ruslan Nikolaev 001; Binoy Ravindran (DISC, 2021)

X86 instruction semantics and basic block symbolic execution. - Freek Verbeek; Abhijith Bharadwaj; Joshua A. Bockenek; Ian Roessle; Timmy Weerwag; Binoy Ravindran (Arch. Formal Proofs, 2021)

Crystalline: Fast and Memory Efficient Wait-Free Reclamation. - Ruslan Nikolaev 001; Binoy Ravindran (CoRR, 2021)

Taming the Contention in Consensus-Based Distributed Systems. - Balaji Arun; Sebastiano Peluso; Roberto Palmieri; Giuliano Losa; Binoy Ravindran (IEEE Trans. Dependable Secur. Comput., 2021)

An OpenMP Runtime for Transparent Work Sharing across Cache-Incoherent Heterogeneous Nodes. - Robert Lyerly; Carlos Bilbao; Changwoo Min; Christopher J. Rossbach; Binoy Ravindran (ACM Trans. Comput. Syst., 2021)

H-Container: Enabling Heterogeneous-ISA Container Migration in Edge Computing. - Tong Xing; Antonio Barbalace; Pierre Olivier; Mohamed Lamine Karaoui; Wei Wang 512; Binoy Ravindran (ACM Trans. Comput. Syst., 2021)

Adelie: continuous address space layout re-randomization for Linux drivers. - Ruslan Nikolaev 001; Hassan Nadeem; Cathlyn Stone; Binoy Ravindran (ASPLOS, 2022)

Rave: A Modular and Extensible Framework for Program State Re-Randomization. - Christopher Blackburn; Xiaoguang Wang 003; Binoy Ravindran (MTD@CCS, 2022)

Kite: lightweight critical service domains. - A. K. M. Fazla Mehrab; Ruslan Nikolaev 001; Binoy Ravindran (EuroSys, 2022)

DSV: Disassembly Soundness Validation Without Assuming a Ground Truth. - Xiaoxin An; Freek Verbeek; Binoy Ravindran (NFM, 2022)

Formally verified lifting of C-compiled x86-64 binaries. - Freek Verbeek; Joshua A. Bockenek; Zhoulai Fu; Binoy Ravindran (PLDI, 2022)

wCQ: A Fast Wait-Free Queue with Bounded Memory Usage. - Ruslan Nikolaev 001; Binoy Ravindran (SPAA, 2022)

A Formal Semantics for P-Code. - Nico Naus; Freek Verbeek; Dale Walker; Binoy Ravindran (VSTTE, 2022)

Reachability Logic for Low-Level Programs. - Nico Naus; Freek Verbeek; Marc Schoolderman; Binoy Ravindran (CoRR, 2022)

Scalable Byzantine Fault Tolerance via Partial Decentralization. - Balaji Arun; Binoy Ravindran (Proc. VLDB Endow., 2022)

A Syscall-Level Binary-Compatible Unikernel. - Pierre Olivier; Hugo Lefeuvre; Daniel Chiba; Stefan Lankes; Changwoo Min; Binoy Ravindran (IEEE Trans. Computers, 2022)

Understanding the Security of Linux eBPF Subsystem. - Mohamed Husain Noor Mohamed; Xiaoguang Wang 003; Binoy Ravindran (APSys, 2023)

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 (EuroSys, 2023)

DynaCut: A Framework for Dynamic and Adaptive Program Customization. - Abhijit Mahurkar; Xiaoguang Wang 003; Hang Zhang 012; Binoy Ravindran (Middleware, 2023)

BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries. - Daniel Engel; Freek Verbeek; Binoy Ravindran (TAP, 2023)

Low-Level Reachability Analysis Based on Formal Logic. - Nico Naus; Freek Verbeek; Marc Schoolderman; Binoy Ravindran (TAP, 2023)

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 (Zenodo, 2023)

BIRD: A Binary Intermediate Representation for formally verified Decompilation of x86-64 binaries. - Daniel Engel; Freek Verbeek; Binoy Ravindran (Zenodo, 2023)

DynaCut: Dynamic and Adaptive Code Customization with Process Rewriting. - Abhijit Mahurkar; Xiaoguang Wang 003; Hang Zhang 012; Binoy Ravindran (Zenodo, 2023)

Poster: Formally Verified Binary Lifting to P-Code. - Nico Naus; Freek Verbeek; Sagar Atla; Binoy Ravindran (CCS, 2024)

Verifiably Correct Lifting of Position-Independent x86-64 Binaries to Symbolized Assembly. - Freek Verbeek; Nico Naus; Binoy Ravindran (CCS, 2024)

Exceptional Interprocedural Control Flow Graphs for x86-64 Binaries. - Joshua A. Bockenek; Freek Verbeek; Binoy Ravindran (DIMVA, 2024)

Dapper: A Lightweight and Extensible Framework for Live Program State Rewriting. - Abhishek Bapat; Jaidev Shastri; Xiaoguang Wang 003; Abilesh Sundarasamy; Binoy Ravindran (ICDCS, 2024)

sMVX: Multi-Variant Execution on Selected Code Paths. - Sengming Yeoh; Xiaoguang Wang 003; Jae-Won Jang; Binoy Ravindran (Middleware, 2024)

On the Decidability of Disassembling Binaries. - Daniel Engel; Freek Verbeek; Binoy Ravindran (TASE, 2024)

HMTRace: Hardware-Assisted Memory-Tagging based Dynamic Data Race Detection. - Jaidev Shastri; Xiaoguang Wang 003; Basavesh Ammanaghatta Shivakumar; Freek Verbeek; Binoy Ravindran (CoRR, 2024)

libLISA: Instruction Discovery and Analysis on x86-64. - Jos Craaijo; Freek Verbeek; Binoy Ravindran (Proc. ACM Program. Lang., 2024)

A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation. - Ruslan Nikolaev 001; Binoy Ravindran (Proc. ACM Program. Lang., 2024)

HEXO: Offloading Long-Running Compute- and Memory-Intensive Workloads on Low-Cost, Low-Power Embedded Systems. - Pierre Olivier; A. K. M. Fazla Mehrab; Sandeep Errabelly; Stefan Lankes; Mohamed Lamine Karaoui; Robert Lyerly; Sang-Hoon Kim; Antonio Barbalace; Binoy Ravindran (IEEE Trans. Cloud Comput., 2024)

Artifact for the DIMVA 2024 paper "Exceptional Interprocedural Control Flow Graphs for x86-64 Binaries". - Joshua A. Bockenek; Freek Verbeek; Binoy Ravindran (Zenodo, 2024)

Reproduction package (Docker container) for the OOPSLA 2024 article "libLISA: Instruction Discovery and Analysis on x86-64". - Jos Craaijo; Freek Verbeek; Binoy Ravindran (Zenodo, 2024)

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 (ASPLOS (2), 2025)

SmartNIC-Based Distributed Shared Memory. - Hemanth Ramesh; Naarayanan Rao VSathish; Edson Horta; Antonio Barbalace; Binoy Ravindran (FCCM, 2025)

Formally Verified Binary-Level Pointer Analysis. - Freek Verbeek; Ali Shokri 004; Daniel Engel; Binoy Ravindran (ICSE, 2025)

On Extending Incorrectness Logic with Backwards Reasoning. - Freek Verbeek; Md Syadus Sefat; Zhoulai Fu; Binoy Ravindran (Proc. ACM Program. Lang., 2025)

Augmented Weak Distance for Fast and Accurate Bounds Checking. - Zhoulai Fu; Freek Verbeek; Binoy Ravindran (CoRR, 2025)

Large Language Model-Powered Agent for C to Rust Code Translation. - HoHyun Sim; Hyeonjoong Cho; Yeonghyeon Go; Zhoulai Fu; Ali Shokri 004; Binoy Ravindran (CoRR, 2025)

BeePL: Correct-by-compilation kernel extensions. - Swarn Priya; Frédéric Besson; Connor Sughrue; Tim Steenvoorden; Jamie Fulford; Freek Verbeek; Binoy Ravindran (CoRR, 2025)