Binoy Ravindran

303 papers A* 16A 43B 52C 28Misc 28Journal 76Unranked 56
YearRankTypeTitle / Venue / Authors
2026 J jnl
Scalable Floating-Point Satisfiability via Staged Optimization.
CoRR
Yuanzhuo Zhang, Zhoulai Fu, Binoy Ravindran
2025 J jnl
Augmented Weak Distance for Fast and Accurate Bounds Checking.
CoRR
Zhoulai Fu, Freek Verbeek, Binoy Ravindran
2025 J jnl
BeePL: Correct-by-compilation kernel extensions.
CoRR
Swarn Priya, Frédéric Besson, Connor Sughrue, Tim Steenvoorden, Jamie Fulford, Freek Verbeek, Binoy Ravindran
2025 A* conf
Formally Verified Binary-Level Pointer Analysis.
ICSE
Freek Verbeek, Ali Shokri, Daniel Engel, Binoy Ravindran
2025 J jnl
Formally Verified Binary-level Pointer Analysis.
CoRR
Freek Verbeek, Ali Shokri, Daniel Engel, Binoy Ravindran
2025 J jnl
Large Language Model-Powered Agent for C to Rust Code Translation.
CoRR
HoHyun Sim, Hyeonjoong Cho, Yeonghyeon Go, Zhoulai Fu, Ali Shokri, Binoy Ravindran
2025 J jnl
On Extending Incorrectness Logic with Backwards Reasoning.
Proc. ACM Program. Lang.
Freek Verbeek, Md Syadus Sefat, Zhoulai Fu, Binoy Ravindran
2025 — conf
Scalable and Fault-Tolerant Storage and File System Services with Non-Blocking Synchronization for Private Clouds.
SoCC
Mincheol Sung, Ruslan Nikolaev, Binoy Ravindran
2025 Misc conf
SmartNIC-Based Distributed Shared Memory.
FCCM
Hemanth Ramesh, Naarayanan Rao VSathish, Edson Horta, Antonio Barbalace, Binoy Ravindran
2025 — conf
Stramash: A Fused-Kernel Operating System For Cache-Coherent, Heterogeneous-ISA Platforms.
ASPLOS (2)
Tong Xing, Cong Xiong, Tianrui Wei, April Sanchez, Binoy Ravindran, Jonathan Balkind, Antonio Barbalace
2024 J jnl
A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation.
Proc. ACM Program. Lang.
Ruslan Nikolaev, Binoy Ravindran
2024 A conf
Dapper: A Lightweight and Extensible Framework for Live Program State Rewriting.
ICDCS
Abhishek Bapat, Jaidev Shastri, Xiaoguang Wang, Abilesh Sundarasamy, Binoy Ravindran
2024 B conf
Exceptional Interprocedural Control Flow Graphs for x86-64 Binaries.
DIMVA
Joshua A. Bockenek, Freek Verbeek, Binoy Ravindran
2024 J jnl
HEXO: Offloading Long-Running Compute- and Memory-Intensive Workloads on Low-Cost, Low-Power Embedded Systems.
IEEE Trans. Cloud Comput.
Pierre Olivier, A. K. M. Fazla Mehrab, Sandeep Errabelly, Stefan Lankes, Mohamed Lamine Karaoui, Robert Lyerly, Sang-Hoon Kim, Antonio Barbalace, Binoy Ravindran
2024 J jnl
HMTRace: Hardware-Assisted Memory-Tagging based Dynamic Data Race Detection.
CoRR
Jaidev Shastri, Xiaoguang Wang, Basavesh Ammanaghatta Shivakumar, Freek Verbeek, Binoy Ravindran
2024 Misc conf
Offloading Datacenter Jobs to RISC-V Hardware for Improved Performance and Power Efficiency.
SYSTOR
Balvansh Heerekar, Cesar Philippidis, Ho-Ren Chuang, Pierre Olivier, Antonio Barbalace, Binoy Ravindran
2024 Misc conf
On the Decidability of Disassembling Binaries.
TASE
Daniel Engel, Freek Verbeek, Binoy Ravindran
2024 A* conf
Poster: Formally Verified Binary Lifting to P-Code.
CCS
Nico Naus, Freek Verbeek, Sagar Atla, Binoy Ravindran
2024 A* conf
Verifiably Correct Lifting of Position-Independent x86-64 Binaries to Symbolized Assembly.
CCS
Freek Verbeek, Nico Naus, Binoy Ravindran
2024 J jnl
libLISA: Instruction Discovery and Analysis on x86-64.
Proc. ACM Program. Lang.
Jos Craaijo, Freek Verbeek, Binoy Ravindran
2024 A conf
sMVX: Multi-Variant Execution on Selected Code Paths.
Middleware
Sengming Yeoh, Xiaoguang Wang, Jae-Won Jang, Binoy Ravindran
2023 A conf
Aggregate VM: Why Reduce or Evict VM's Resources When You Can Borrow Them From Other Nodes?
EuroSys
Ho-Ren Chuang, Karim Manaouil, Tong Xing, Antonio Barbalace, Pierre Olivier, Balvansh Heerekar, Binoy Ravindran
2023 C conf
BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries.
TAP
Daniel Engel, Freek Verbeek, Binoy Ravindran
2023 A conf
DynaCut: A Framework for Dynamic and Adaptive Program Customization.
Middleware
Abhijit Mahurkar, Xiaoguang Wang, Hang Zhang, Binoy Ravindran
2023 C conf
Low-Level Reachability Analysis Based on Formal Logic.
TAP
Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran
2023 — conf
Understanding the Security of Linux eBPF Subsystem.
APSys
Mohamed Husain Noor Mohamed, Xiaoguang Wang, Binoy Ravindran
2022 — conf
A Formal Semantics for P-Code.
VSTTE
Nico Naus, Freek Verbeek, Dale Walker, Binoy Ravindran
2022 J jnl
A Syscall-Level Binary-Compatible Unikernel.
IEEE Trans. Computers
Pierre Olivier, Hugo Lefeuvre, Daniel Chiba, Stefan Lankes, Changwoo Min, Binoy Ravindran
2022 J jnl
Adelie: Continuous Address Space Layout Re-randomization for Linux Drivers.
CoRR
Ruslan Nikolaev, Hassan Nadeem, Cathlyn Stone, Binoy Ravindran
2022 A* conf
Adelie: continuous address space layout re-randomization for Linux drivers.
ASPLOS
Ruslan Nikolaev, Hassan Nadeem, Cathlyn Stone, Binoy Ravindran
2022 — conf
DSV: Disassembly Soundness Validation Without Assuming a Ground Truth.
NFM
Xiaoxin An, Freek Verbeek, Binoy Ravindran
2022 A* conf
Formally verified lifting of C-compiled x86-64 binaries.
PLDI
Freek Verbeek, Joshua A. Bockenek, Zhoulai Fu, Binoy Ravindran
2022 A conf
Kite: lightweight critical service domains.
EuroSys
A. K. M. Fazla Mehrab, Ruslan Nikolaev, Binoy Ravindran
2022 — conf
Rave: A Modular and Extensible Framework for Program State Re-Randomization.
MTD@CCS
Christopher Blackburn, Xiaoguang Wang, Binoy Ravindran
2022 J jnl
Reachability Logic for Low-Level Programs.
CoRR
Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran
2022 J jnl
Scalable Byzantine Fault Tolerance via Partial Decentralization.
CoRR
Balaji Arun, Binoy Ravindran
2022 J jnl
Scalable Byzantine Fault Tolerance via Partial Decentralization.
Proc. VLDB Endow.
Balaji Arun, Binoy Ravindran
2022 B conf
wCQ: A Fast Wait-Free Queue with Bounded Memory Usage.
SPAA
Ruslan Nikolaev, Binoy Ravindran
2022 J jnl
wCQ: A Fast Wait-Free Queue with Bounded Memory Usage.
CoRR
Ruslan Nikolaev, Binoy Ravindran
2022 B conf
wCQ: a fast wait-free queue with bounded memory usage.
PPoPP
Ruslan Nikolaev, Binoy Ravindran
2021 J jnl
An OpenMP Runtime for Transparent Work Sharing across Cache-Incoherent Heterogeneous Nodes.
ACM Trans. Comput. Syst.
Robert Lyerly, Carlos Bilbao, Changwoo Min, Christopher J. Rossbach, Binoy Ravindran
2021 A conf
Brief Announcement: Crystalline: Fast and Memory Efficient Wait-Free Reclamation.
DISC
Ruslan Nikolaev, Binoy Ravindran
2021 J jnl
Crystalline: Fast and Memory Efficient Wait-Free Reclamation.
CoRR
Ruslan Nikolaev, Binoy Ravindran
2021 J jnl
H-Container: Enabling Heterogeneous-ISA Container Migration in Edge Computing.
ACM Trans. Comput. Syst.
Tong Xing, Antonio Barbalace, Pierre Olivier, Mohamed Lamine Karaoui, Wei Wang, Binoy Ravindran
2021 A* conf
Snapshot-free, transparent, and robust memory reclamation for lock-free data structures.
PLDI
Ruslan Nikolaev, Binoy Ravindran
2021 J jnl
Taming the Contention in Consensus-Based Distributed Systems.
IEEE Trans. Dependable Secur. Comput.
Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran
2021 — conf
Verification of Functional Correctness of Code Diversification Techniques.
NFM
Jae-Won Jang, Freek Verbeek, Binoy Ravindran
2021 J jnl
X86 instruction semantics and basic block symbolic execution.
Arch. Formal Proofs
Freek Verbeek, Abhijith Bharadwaj, Joshua A. Bockenek, Ian Roessle, Timmy Weerwag, Binoy Ravindran
2021 J jnl
Xar-Trek: Run-time Execution Migration among FPGAs and Heterogeneous-ISA CPUs.
CoRR
Edson Horta, Ho-Ren Chuang, Naarayanan Rao VSathish, Cesar Philippidis, Antonio Barbalace, Pierre Olivier, Binoy Ravindran
2021 A conf
Xar-trek: run-time execution migration among FPGAs and heterogeneous-ISA CPUs.
Middleware
Edson Horta, Ho-Ren Chuang, Naarayanan Rao VSathish, Cesar Philippidis, Antonio Barbalace, Pierre Olivier, Binoy Ravindran
2020 A conf
A Framework for Software Diversification with ISA Heterogeneity.
RAID
Xiaoguang Wang, Sengming Yeoh, Robert Lyerly, Pierre Olivier, Sang-Hoon Kim, Binoy Ravindran
2020 — conf
A Validation Methodology for OCaml-to-PVS Translation.
NFM
Xiaoxin An, Amer Tahat, Binoy Ravindran
2020 A conf
An OpenMP Runtime for Transparent Work Sharing Across Cache-Incoherent Heterogeneous Nodes.
Middleware
Robert Lyerly, Changwoo Min, Christopher J. Rossbach, Binoy Ravindran
2020 A conf
DeX: Scaling Applications Beyond Machine Boundaries.
ICDCS
Sang-Hoon Kim, Ho-Ren Chuang, Robert Lyerly, Pierre Olivier, Changwoo Min, Binoy Ravindran
2020 J jnl
DuoBFT: Resilience vs. Efficiency Trade-off in Byzantine Fault Tolerance.
CoRR
Balaji Arun, Binoy Ravindran
2020 — conf
Dynamic and Secure Memory Transformation in Userspace.
ESORICS (1)
Robert Lyerly, Xiaoguang Wang, Binoy Ravindran
2020 B conf
Edge computing: the case for heterogeneous-ISA container migration.
VEE
Antonio Barbalace, Mohamed Lamine Karaoui, Wei Wang, Tong Xing, Pierre Olivier, Binoy Ravindran
2020 — conf
Highly Automated Formal Proofs over Memory Usage of Assembly Code.
TACAS (2)
Freek Verbeek, Joshua A. Bockenek, Binoy Ravindran
2020 B conf
Intra-unikernel isolation with Intel memory protection keys.
VEE
Mincheol Sung, Pierre Olivier, Stefan Lankes, Binoy Ravindran
2020 J jnl
LibrettOS: A Dynamically Adaptable Multiserver-Library OS.
CoRR
Ruslan Nikolaev, Mincheol Sung, Binoy Ravindran
2020 B conf
LibrettOS: a dynamically adaptable multiserver-library OS.
VEE
Ruslan Nikolaev, Mincheol Sung, Binoy Ravindran
2020 Misc conf
Scaling Shared Memory Multiprocessing Applications in Non-cache-coherent Domains.
SYSTOR
Ho-Ren Chuang, Robert Lyerly, Stefan Lankes, Binoy Ravindran
2020 — conf
Secure and efficient in-process monitor (and library) protection with Intel MPK.
EuroSec@EuroSys
Xiaoguang Wang, Sengming Yeoh, Pierre Olivier, Binoy Ravindran
2020 B conf
Sound C Code Decompilation for a Subset of x86-64 Binaries.
SEFM
Freek Verbeek, Pierre Olivier, Binoy Ravindran
2020 J jnl
Universal Wait-Free Memory Reclamation.
CoRR
Ruslan Nikolaev, Binoy Ravindran
2020 B conf
Universal wait-free memory reclamation.
PPoPP
Ruslan Nikolaev, Binoy Ravindran
2019 B conf
A binary-compatible unikernel.
VEE
Pierre Olivier, Daniel Chiba, Stefan Lankes, Changwoo Min, Binoy Ravindran
2019 Misc conf
Cross-ISA execution of SIMD regions for improved performance.
SYSTOR
Yihan Pang, Robert Lyerly, Binoy Ravindran
2019 C conf
Establishing a refinement relation between binaries and abstract code.
MEMOCODE
Freek Verbeek, Joshua A. Bockenek, Abhijith Bharadwaj, Binoy Ravindran, Ian Roessle
2019 B conf
Formal Verification of Memory Preservation of x86-64 Binaries.
SAFECOMP
Joshua A. Bockenek, Freek Verbeek, Peter Lammich, Binoy Ravindran
2019 B conf
Formally verified big step semantics out of x86-64 binaries.
CPP
Ian Roessle, Freek Verbeek, Binoy Ravindran
2019 A conf
Generalized Consensus for Practical Fault Tolerance.
Middleware
Mohit Garg, Sebastiano Peluso, Balaji Arun, Binoy Ravindran
2019 A conf
HEXO: Offloading HPC Compute-Intensive Workloads on Low-Cost, Low-Power Embedded Systems.
HPDC
Pierre Olivier, A. K. M. Fazla Mehrab, Stefan Lankes, Mohamed Lamine Karaoui, Robert Lyerly, Binoy Ravindran
2019 A* conf
Hyaline: Fast and Transparent Lock-Free Memory Reclamation.
PODC
Ruslan Nikolaev, Binoy Ravindran
2019 J jnl
Hyaline: Fast and Transparent Lock-Free Memory Reclamation.
CoRR
Ruslan Nikolaev, Binoy Ravindran
2019 J jnl
Lerna: Parallelizing Dependent Loops Using Speculation.
ACM Trans. Storage
Mohamed M. Saad, Roberto Palmieri, Binoy Ravindran
2019 J jnl
PrVM: a multicore real-time virtualization scheduling framework with probabilistic timing guarantees.
SIGBED Rev.
Kevin Burns, Vincent Legout, Antonio Barbalace, Binoy Ravindran
2019 A* conf
Quantifying Memory Underutilization in HPC Systems and Using it to Improve Performance via Architecture Support.
MICRO
Gagandeep Panwar, Da Zhang, Yihan Pang, Mai Dahshan, Nathan DeBardeleben, Binoy Ravindran, Xun Jian
2019 — conf
Rethinking Communication in Multiple-kernel OSes for New Shared Memory Interconnects.
PLOS@SOSP
Antonio Barbalace, Pierre Olivier, Binoy Ravindran
2019 B conf
Scalable Translation Validation of Unverified Legacy OS Code.
FMCAD
Amer Tahat, Sarang Joshi, Pronnoy Goswami, Binoy Ravindran
2019 B conf
Scheduling HPC workloads on heterogeneous-ISA architectures: poster.
PPoPP
Mohamed Lamine Karaoui, Anthony Carno, Robert Lyerly, Sang-Hoon Kim, Pierre Olivier, Changwoo Min, Binoy Ravindran
2019 A conf
SlimGuard: A Secure and Memory-Efficient Heap Allocator.
Middleware
Beichen Liu, Pierre Olivier, Binoy Ravindran
2019 J jnl
Spectrum: A Framework for Adapting Consensus Protocols.
CoRR
Balaji Arun, Sebastiano Peluso, Binoy Ravindran
2019 A conf
ezBFT: Decentralizing Byzantine Fault-Tolerant State Machine Replication.
ICDCS
Balaji Arun, Sebastiano Peluso, Binoy Ravindran
2019 J jnl
ezBFT: Decentralizing Byzantine Fault-Tolerant State Machine Replication.
CoRR
Balaji Arun, Sebastiano Peluso, Binoy Ravindran
2019 — conf
libMPNode: An OpenMP Runtime For Parallel Processing Across Incoherent Domains.
PMAM@PPoPP
Robert Lyerly, Sang-Hoon Kim, Binoy Ravindran
2018 J jnl
AIRA: A Framework for Flexible Compute Kernel Execution in Heterogeneous Platforms.
IEEE Trans. Parallel Distributed Syst.
Robert Lyerly, Alastair Murray, Antonio Barbalace, Binoy Ravindran
2018 Misc conf
Lerna: Parallelizing Dependent Loops Using Speculation.
SYSTOR
Mohamed M. Saad, Roberto Palmieri, Binoy Ravindran
2017 A conf
A Distributed Operating System Network Stack and Device Driver for Multicores.
ICDCS
Saif Ansary, Antonio Barbalace, Ho-Ren Chuang, Thomas Lazor, Binoy Ravindran
2017 A* conf
Breaking the Boundaries in Heterogeneous-ISA Datacenters.
ASPLOS
Antonio Barbalace, Robert Lyerly, Christopher Jelesnianski, Anthony Carno, Ho-Ren Chuang, Vincent Legout, Binoy Ravindran
2017 J jnl
HiperTM: High performance, fault-tolerant transactional memory.
Theor. Comput. Sci.
Sachin Hirve, Roberto Palmieri, Binoy Ravindran
2017 J jnl
Managing Resource Limitation of Best-Effort HTM.
IEEE Trans. Parallel Distributed Syst.
Mohamed Mohamedin, Roberto Palmieri, Ahmed Hassan, Binoy Ravindran
2017 A conf
OS Support for Thread Migration and Distribution in the Fully Heterogeneous Datacenter.
HotOS
Pierre Olivier, Sang-Hoon Kim, Binoy Ravindran
2017 J jnl
Optimistic Transactional Boosting.
IEEE Trans. Parallel Distributed Syst.
Ahmed Hassan, Roberto Palmieri, Sebastiano Peluso, Binoy Ravindran
2017 A conf
Speeding up Consensus by Chasing Fast Decisions.
DSN
Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran
2017 J jnl
Speeding up Consensus by Chasing Fast Decisions.
CoRR
Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran
2017 B conf
Swift Birth and Quick Death: Enabling Fast Parallel Guest Boot and Destruction in the Xen Hypervisor.
VEE
Vlad Nitu, Pierre Olivier, Alain Tchana, Daniel Chiba, Antonio Barbalace, Daniel Hagimont, Binoy Ravindran
2017 A conf
Transparent Fault-Tolerance Using Intra-Machine Full-Software-Stack Replication on Commodity Multicore Hardware.
ICDCS
Giuliano Losa, Antonio Barbalace, Yuzhong Wen, Ho-Ren Chuang, Binoy Ravindran
2016 Misc conf
A flattened hierarchical scheduler for real-time virtualization.
EMSOFT
Michael Drescher, Vincent Legout, Antonio Barbalace, Binoy Ravindran
2016 J jnl
Automated Data Partitioning for Highly Scalable and Strongly Consistent Transactions.
IEEE Trans. Parallel Distributed Syst.
Alexandru Turcu, Roberto Palmieri, Binoy Ravindran, Sachin Hirve
2016 A* conf
Brief Announcement: A Family of Leaderless Generalized-Consensus Algorithms.
PODC
Giuliano Losa, Sebastiano Peluso, Binoy Ravindran
2016 Misc conf
Exploiting Parallelism of Distributed Nested Transactions.
SYSTOR
Duane Niles, Roberto Palmieri, Binoy Ravindran
2016 B conf
Extending TM Primitives using Low Level Semantics.
SPAA
Mohamed M. Saad, Roberto Palmieri, Ahmed Hassan, Binoy Ravindran
2016 A conf
Making Fast Consensus Generally Faster.
DSN
Sebastiano Peluso, Alexandru Turcu, Roberto Palmieri, Giuliano Losa, Binoy Ravindran
2016 J jnl
On Open Nesting in Distributed Transactional Memory.
IEEE Trans. Computers
Alexandru Turcu, Roberto Palmieri, Binoy Ravindran
2016 B conf
On designing NUMA-aware concurrency control for scalable transactional memory.
PPoPP
Mohamed Mohamedin, Roberto Palmieri, Sebastiano Peluso, Binoy Ravindran
2016 B conf
On ordering transaction commit.
PPoPP
Mohamed M. Saad, Roberto Palmieri, Binoy Ravindran
2016 A conf
Opacity vs TMS2: Expectations and Reality.
DISC
Sandeep Hans, Ahmed Hassan, Roberto Palmieri, Sebastiano Peluso, Binoy Ravindran
2016 J jnl
Remote Transaction Commit: Centralizing Software Transactional Memory Commits.
IEEE Trans. Computers
Ahmed Hassan, Roberto Palmieri, Binoy Ravindran
2015 A conf
An Automated Framework for Decomposing Memory Transactions to Exploit Partial Rollback.
IPDPS
Aditya Dhoke, Roberto Palmieri, Binoy Ravindran
2015 B conf
Brief Announcement: Managing Resource Limitation of Best-Effort HTM.
SPAA
Mohamed Mohamedin, Roberto Palmieri, Ahmed Hassan, Binoy Ravindran
2015 B conf
Brief Announcement: On Scheduling Best-Effort HTM Transactions.
SPAA
Mohamed Mohamedin, Roberto Palmieri, Binoy Ravindran
2015 A* conf
Disjoint-Access Parallelism: Impossibility, Possibility, and Cost of Transactional Memory Implementations.
PODC
Sebastiano Peluso, Roberto Palmieri, Paolo Romano, Binoy Ravindran, Francesco Quaglia
2015 J jnl
Harnessing Energy Efficiency of Heterogeneous-ISA Platforms.
ACM SIGOPS Oper. Syst. Rev.
Sharath K. Bhat, Ajithchandra Saya, Hemedra K. Rawat, Antonio Barbalace, Binoy Ravindran
2015 — conf
Harnessing energy efficiency of heterogeneous-ISA platforms.
HotPower@SOSP
Sharath K. Bhat, Ajithchandra Saya, Hemedra K. Rawat, Antonio Barbalace, Binoy Ravindran
2015 A conf
On Exploiting Locality for Generalized Consensus.
ICDCS
Sebastiano Peluso, Alexandru Turcu, Roberto Palmieri, Binoy Ravindran
2015 A conf
On Preserving Data Integrity of Transactional Applications on Multicore Architectures.
ICDCS
Mohamed Mohamedin, Roberto Palmieri, Binoy Ravindran
2015 Misc conf
On Reducing False Conflicts in Distributed Transactional Data Structures.
ICDCN
Aditya Dhoke, Roberto Palmieri, Binoy Ravindran
2015 — ch.
On Scheduling in Distributed Transactional Memory: Techniques and Tradeoffs.
Handbook on Data Centers
Junwhan Kim, Roberto Palmieri, Binoy Ravindran
2015 A conf
Popcorn: bridging the programmability gap in heterogeneous-ISA platforms.
EuroSys
Antonio Barbalace, Marina Sadini, Saif Ansary, Christopher Jelesnianski, Akshay Ravichandran, Cagil Kendir, Alastair Murray, Binoy Ravindran
2015 Misc conf
Reducing Aborts in Distributed Transactional Systems through Dependency Detection.
ICDCN
Bo Zhang, Binoy Ravindran, Roberto Palmieri
2015 A conf
Thread Migration in a Replicated-Kernel OS.
ICDCS
David Katz, Antonio Barbalace, Saif Ansary, Akshay Ravichandran, Binoy Ravindran
2015 — ch.
Transaction Execution Models in Partially Replicated Transactional Memory: The Case for Data-Flow and Control-Flow.
Transactional Memory
Roberto Palmieri, Sebastiano Peluso, Binoy Ravindran
2015 A conf
Transactional Interference-Less Balanced Tree.
DISC
Ahmed Hassan, Roberto Palmieri, Binoy Ravindran
2014 — conf
Applying source level auto-vectorization to Aparapi Java.
PPPJ
Curt Albert, Alastair Murray, Binoy Ravindran
2014 A conf
Archie: a speculative replicated transactional system.
Middleware
Sachin Hirve, Roberto Palmieri, Binoy Ravindran
2014 Misc conf
Automated Data Partitioning for Highly Scalable and Strongly Consistent Transactions.
SYSTOR
Alexandru Turcu, Roberto Palmieri, Binoy Ravindran
2014 B conf
Be General and Don't Give Up Consistency in Geo-Replicated Transactional Systems.
OPODIS
Alexandru Turcu, Sebastiano Peluso, Roberto Palmieri, Binoy Ravindran
2014 A conf
Breaching the Wall of Impossibility Results on Disjoint-Access Parallel TM.
DISC
Sebastiano Peluso, Roberto Palmieri, Paolo Romano, Binoy Ravindran, Francesco Quaglia
2014 B conf
Distributed Transactional Contention Management as the Traveling Salesman Problem.
SIROCCO
Bo Zhang, Binoy Ravindran, Roberto Palmieri
2014 Misc conf
HiperTM: High Performance, Fault-Tolerant Transactional Memory.
ICDCN
Sachin Hirve, Roberto Palmieri, Binoy Ravindran
2014 C conf
KairosVM: Deterministic introspection for real-time virtual machine hierarchical scheduling.
ETFA
Kevin Burns, Antonio Barbalace, Vincent Legout, Binoy Ravindran
2014 — conf
Managing Soft-Errors in Transactional Systems.
IPDPS Workshops
Mohamed Mohamedin, Roberto Palmieri, Binoy Ravindran
2014 — conf
On Cache-Aware Task Partitioning for Multicore Embedded Real-Time Systems.
HPCC/CSS/ICESS
Aaron Lindsay, Binoy Ravindran
2014 B conf
On Developing Optimistic Transactional Lazy Set.
OPODIS
Ahmed Hassan, Roberto Palmieri, Binoy Ravindran
2014 B conf
On Making Transactional Applications Resilient to Data Corruption Faults.
NCA
Mohamed Mohamedin, Roberto Palmieri, Binoy Ravindran
2014 B conf
Optimistic transactional boosting.
PPoPP
Ahmed Hassan, Roberto Palmieri, Binoy Ravindran
2014 A conf
Remote Invalidation: Optimizing the Critical Path of Memory Transactions.
IPDPS
Ahmed Hassan, Roberto Palmieri, Binoy Ravindran
2014 — conf
Speculative client execution in deferred update replication.
MW4NG@Middleware
Balaji Arun, Sachin Hirve, Roberto Palmieri, Sebastiano Peluso, Binoy Ravindran
2013 — conf
Adaptive Live Migration to Improve Load Balancing in Virtual Machine Environment.
Euro-Par Workshops
Peng Lu, Antonio Barbalace, Roberto Palmieri, Binoy Ravindran
2013 — conf
Automated data partitioning for independent distributed transactions.
Middleware Demo & Poster Track
Alexandru Turcu, Roberto Palmieri, Binoy Ravindran
2013 C conf
ByteSTM: Virtual Machine-Level Java Software Transactional Memory.
COORDINATION
Mohamed Mohamedin, Binoy Ravindran, Roberto Palmieri
2013 — conf
Enhancing Concurrency in Distributed Transactional Memory through Commutativity.
Euro-Par
Junwhan Kim, Roberto Palmieri, Binoy Ravindran
2013 A conf
FBLT: a real-time contention manager with improved schedulability.
DATE
Mohammed El-Shambakey, Binoy Ravindran
2013 Misc conf
HSG-LM: hybrid-copy speculative guest OS live migration without hypervisor.
SYSTOR
Peng Lu, Antonio Barbalace, Binoy Ravindran
2013 — conf
Hyflow2: a high performance distributed transactional memory framework in scala.
PPPJ
Alexandru Turcu, Binoy Ravindran, Roberto Palmieri
2013 B conf
HyflowCPP: A Distributed Transactional Memory Framework for C++.
NCA
Sudhanshu Mishra, Alexandru Turcu, Roberto Palmieri, Binoy Ravindran
2013 J jnl
Least-Latency Routing over Time-Dependent Wireless Sensor Networks.
IEEE Trans. Computers
Shouwen Lai, Binoy Ravindran
2013 A conf
On Closed Nesting and Checkpointing in Fault-Tolerant Distributed Transactional Memory.
IPDPS
Aditya Dhoke, Binoy Ravindran, Bo Zhang
2013 — conf
On high performance distributed transactional data structures.
Middleware Demo & Poster Track
Aditya Dhoke, Roberto Palmieri, Binoy Ravindran
2013 — conf
On real-time STM concurrency control for embedded software with improved schedulability.
ASP-DAC
Mohammed El-Shambakey, Binoy Ravindran
2013 B conf
On the Viability of Speculative Transactional Replication in Database Systems: A Case Study with PostgreSQL.
NCA
Sebastiano Peluso, Roberto Palmieri, Francesco Quaglia, Binoy Ravindran
2013 C conf
On transactional memory concurrency control in distributed real-time programs.
CLUSTER
Sachin Hirve, Aaron Lindsay, Binoy Ravindran, Roberto Palmieri
2013 J jnl
Probability-Based Prediction and Sleep Scheduling for Energy-Efficient Target Tracking in Sensor Networks.
IEEE Trans. Mob. Comput.
Bo Jiang, Binoy Ravindran, Hyeonjoong Cho
2013 — conf
SMASH: speculative state machine replication in transactional systems.
Middleware Demo & Poster Track
Sachin Hirve, Roberto Palmieri, Binoy Ravindran
2013 C conf
Scheduling Open-Nested Transactions in Distributed Transactional Memory.
COORDINATION
Junwhan Kim, Roberto Palmieri, Binoy Ravindran
2013 B conf
Scheduling Transactions in Replicated Distributed Software Transactional Memory.
CCGRID
Junwhan Kim, Binoy Ravindran
2012 — conf
A framework accommodating categorized multiprocessor real-time scheduling in the RTSJ.
JTRES
Jinsan Kwon, Hyeonjoong Cho, Binoy Ravindran
2012 Misc conf
An experimental evaluation of real-time DVFS scheduling algorithms.
SYSTOR
Sonal Saha, Binoy Ravindran
2012 J jnl
An experimental evaluation of the scalability of real-time scheduling algorithms on large-scale multicore platforms.
ACM J. Exp. Algorithmics
Matthew Dellinger, Aaron Lindsay, Binoy Ravindran
2012 — conf
Challenges in Distributed Real-Time Systems: Scheduling and Synchronization.
REACTION
Binoy Ravindran
2012 — conf
HydraVM: Extracting Parallelism from Legacy Sequential Code Using STM.
HotPar
Mohamed M. Saad, Mohamed Mohamedin, Binoy Ravindran
2012 Misc conf
Implementing distributable real-time threads in the Linux kernel: programming interface and scheduling support.
SAC
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen
2012 Misc conf
On open nesting in distributed transactional memory.
SYSTOR
Alexandru Turcu, Binoy Ravindran
2012 B ed.
Principles of Distributed Systems, 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings
OPODIS
Roberto Baldoni, Paola Flocchini, Binoy Ravindran
2012 A* conf
STM concurrency control for embedded real-time software with tighter time bounds.
DAC
Mohammed El-Shambakey, Binoy Ravindran
2012 Misc conf
STM concurrency control for multicore embedded real-time software: time bounds and tradeoffs.
SAC
Mohammed El-Shambakey, Binoy Ravindran
2012 A conf
Scheduling Closed-Nested Transactions in Distributed Transactional Memory.
IPDPS
Junwhan Kim, Binoy Ravindran
2012 C conf
Transactional Forwarding: Supporting Highly-Concurrent STM in Asynchronous Distributed Systems.
SBAC-PAD
Mohamed M. Saad, Binoy Ravindran
2012 C conf
VPC: Scalable, Low Downtime Checkpointing for Virtual Clusters.
SBAC-PAD
Peng Lu, Binoy Ravindran, Changsoo Kim
2011 B conf
A Quorum-Based Replication Framework for Distributed Software Transactional Memory.
OPODIS
Bo Zhang, Binoy Ravindran
2011 J jnl
Achieving Max-Min lifetime and fairness with rate allocation for data aggregation in sensor networks.
Ad Hoc Networks
Shouwen Lai, Binoy Ravindran
2011 J jnl
An Automatic Presence Service for Low Duty-Cycled Mobile Sensor Networks.
Mob. Networks Appl.
Shouwen Lai, Binoy Ravindran
2011 A* conf
ChronOS Linux: a best-effort real-time multiprocessor Linux kernel.
DAC
Matthew Dellinger, Piyush Garyali, Binoy Ravindran
2011 A conf
Completely Distributed Particle Filters for Target Tracking in Sensor Networks.
IPDPS
Bo Jiang, Binoy Ravindran
2011 B conf
Enhancing the Performance of High Availability Lightweight Live Migration.
OPODIS
Peng Lu, Binoy Ravindran, Changsoo Kim
2011 A conf
HyFlow: a high performance distributed software transactional memory framework.
HPDC
Mohamed M. Saad, Binoy Ravindran
2011 — conf
On STM concurrency control for multicore embedded real-time software.
ICSAMOS
Sherif Fadel Fahmy, Binoy Ravindran
2011 J jnl
Self-organizing and self-reconfigurable event routing in ad hoc networks with causal dependency awareness.
ACM Trans. Auton. Adapt. Syst.
Guanhong Pei, Binoy Ravindran, E. Douglas Jensen
2011 C conf
Snake: Control Flow Distributed Software Transactional Memory.
SSS
Mohamed M. Saad, Binoy Ravindran
2010 A* conf
Brief announcement: on enhancing concurrency in distributed transactional memory.
PODC
Bo Zhang, Binoy Ravindran
2010 A* conf
Brief announcement: queuing or priority queuing? on the design of cache-coherence protocols for distributed transactional memory.
PODC
Bo Zhang, Binoy Ravindran
2010 A conf
Dynamic analysis of the relay cache-coherence protocol for distributed transactional memory.
IPDPS
Bo Zhang, Binoy Ravindran
2010 — ch.
Event-Based System Architecture in Mobile Ad Hoc Networks (MANETs).
Principles and Applications of Distributed Event-Based Systems
Guanhong Pei, Binoy Ravindran
2010 J jnl
Heterogenous Quorum-Based Wake-Up Scheduling in Wireless Sensor Networks.
IEEE Trans. Computers
Shouwen Lai, Binoy Ravindran, Hyeonjoong Cho
2010 C conf
Lightweight Live Migration for High Availability Cluster Service.
SSS
Bo Jiang, Binoy Ravindran, Changsoo Kim
2010 J jnl
Lock-free synchronization for dynamic embedded real-time systems.
ACM Trans. Embed. Comput. Syst.
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
2010 — conf
NAP: An Agent-Based Scheme on Reducing Churn-Induced Delays for P2P Live Streaming.
Peer-to-Peer Computing
Fei Huang, Binoy Ravindran, Maleq Khan
2010 B conf
On Best-Effort Utility Accrual Real-Time Scheduling on Multiprocessors.
OPODIS
Piyush Garyali, Matthew Dellinger, Binoy Ravindran
2010 A* conf
On Distributed Time-Dependent Shortest Paths over Duty-Cycled Wireless Sensor Networks.
INFOCOM
Shouwen Lai, Binoy Ravindran
2010 B conf
On Minimizing Average End-to-End Delay in P2P Live Streaming Systems.
OPODIS
Fei Huang, Maleq Khan, Binoy Ravindran
2010 B conf
On Multihop Broadcast over Adaptively Duty-Cycled Wireless Sensor Networks.
DCOSS
Shouwen Lai, Binoy Ravindran
2010 C conf
On Transactional Scheduling in Distributed Transactional Memory Systems.
SSS
Junwhan Kim, Binoy Ravindran
2010 J jnl
Recovering from distributable thread failures in distributed real-time Java.
ACM Trans. Embed. Comput. Syst.
Edward Curley, Binoy Ravindran, Jonathan Stephen Anderson, E. Douglas Jensen
2010 J jnl
T-L plane-based real-time scheduling for homogeneous multiprocessors.
J. Parallel Distributed Comput.
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
2010 J jnl
Utility accrual real-time scheduling for multiprocessor embedded systems.
J. Parallel Distributed Comput.
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
2009 — conf
An Approximation Algorithm for Minimum-Delay Peer-to-Peer Streaming.
Peer-to-Peer Computing
Fei Huang, Binoy Ravindran, Anil Vullikanti
2009 B conf
Brief Announcement: Relay: A Cache-Coherence Protocol for Distributed Transactional Memory.
OPODIS
Bo Zhang, Binoy Ravindran
2009 C conf
CFlood: A Constrained Flooding Protocol for Real-time Data Delivery in Wireless Sensor Networks.
SSS
Bo Jiang, Binoy Ravindran, Hyeonjoong Cho
2009 J jnl
Garbage Collector Scheduling in Dynamic, Multiprocessor Real-Time Systems.
IEEE Trans. Parallel Distributed Syst.
Hyeonjoong Cho, Binoy Ravindran, Chewoo Na
2009 B conf
Location-Aware Cache-Coherence Protocols for Distributed Transactional Contention Management in Metric-Space Networks.
SRDS
Bo Zhang, Binoy Ravindran
2009 A conf
On bounding response times under software transactional memory in distributed multiprocessor real-time systems.
DATE
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen
2009 C conf
On real-time capacity of event-driven data-gathering sensor networks.
MobiQuitous
Bo Jiang, Binoy Ravindran, Hyeonjoong Cho
2009 Misc conf
On scheduling soft real-time tasks with lock-free synchronization for embedded devices.
SAC
Shouwen Lai, Binoy Ravindran, Hyeonjoong Cho
2009 Misc conf
Opportunistic real-time routing in multi-hop wireless sensor networks.
SAC
Junwhan Kim, Binoy Ravindran
2009 Misc conf
Response time analysis of software transactional memory-based distributed real-time systems.
SAC
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen
2008 B conf
CQS-Pair: Cyclic Quorum System Pair for Wakeup Scheduling in Wireless Sensor Networks.
OPODIS
Shouwen Lai, Bo Zhang, Binoy Ravindran, Hyeonjoong Cho
2008 B conf
Energy Efficient Sleep Scheduling in Sensor Networks for Multiple Target Tracking.
DCOSS
Bo Jiang, Binoy Ravindran, Hyeonjoong Cho
2008 A conf
Energy efficient sleep scheduling based on moving directions in target tracking sensor network.
IPDPS
Bo Jiang, Kai Han, Binoy Ravindran, Hyeonjoong Cho
2008 Misc conf
Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness.
Ada-Europe
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen
2008 B conf
Integrated Real-Time Scheduling and Communication with Probabilistic Timing Assurances in Unreliable Distributed Systems.
ICECCS
Fei Huang, Kai Han, Binoy Ravindran, E. Douglas Jensen
2008 — conf
LRTG: Scheduling Distributed Real-Time Tasks in Unreliable and Untrustworthy Systems.
AINA Workshops
Kai Han, Binoy Ravindran, E. Douglas Jensen
2008 C conf
On Collaborative Scheduling of Distributable Real-Time Threads in Dynamic, Networked Embedded Systems.
ISORC
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen
2008 — conf
On Scalable Synchronization for Distributed Embedded Real-Time Systems.
SEUS
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen
2008 — conf
On a Self-Organizing MANET Event Routing Architecture with Causal Dependency Awareness.
SASO
Guanhong Pei, Binoy Ravindran, E. Douglas Jensen
2008 — conf
RT-P2P: A Scalable Real-Time Peer-to-Peer System with Probabilistic Timing Assurances.
EUC (1)
Fei Huang, Binoy Ravindran, E. Douglas Jensen
2008 B conf
RTQG: Real-Time Quorum-based Gossip Protocol for Unreliable Networks.
ARES
Bo Zhang, Kai Han, Binoy Ravindran, E. Douglas Jensen
2008 B conf
RTRD: Real-Time and Reliable Data Delivery in Ad Hoc Networks.
WCNC
Kai Han, Guanhong Pei, Binoy Ravindran, Hyeonjoong Cho, E. Douglas Jensen
2008 B conf
Rate Allocation with Lifetime Maximization and Fairness for Data Aggregation in Sensor Networks.
WiMob
Shouwen Lai, Binoy Ravindran, Hyeonjoong Cho
2008 — conf
Real-Time, Byzantine-Tolerant Information Dissemination in Unreliable and Untrustworthy Distributed Systems.
ICC
Kai Han, Guanhong Pei, Binoy Ravindran, E. Douglas Jensen
2008 C conf
SOQ: A Service-Oriented Quorum-Based Protocol for Resilient Real-Time Communication in Partitionable Networks.
PRDC
Bo Zhang, Binoy Ravindran
2008 — conf
Scheduling Dependent Distributable Real-Time Threads in Dynamic Networked Embedded Systems.
DIPES
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen
2008 Misc conf
Scheduling distributable real-time threads in the presence of crash failures and message losses.
SAC
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen
2007 — conf
Assured-Timeliness Integrity Protocols for Distributable Real-Time Threads with in Dynamic Distributed Systems.
EUC Workshops
Binoy Ravindran, Edward Curley, Jonathan Stephen Anderson, E. Douglas Jensen
2007 — conf
Byzantine-Tolerant, Information Propagation in Untrustworthy and Unreliable Networks.
NBiS
Kai Han, Binoy Ravindran, E. Douglas Jensen
2007 C conf
Consensus-Driven Distributable Thread Scheduling in Networked Embedded Systems.
EUC
Jonathan Stephen Anderson, Binoy Ravindran, E. Douglas Jensen
2007 C conf
On Best-Effort Real-Time Assurances for Recovering from Distributable Thread Failures in Distributed Real-Time Systems.
ISORC
Binoy Ravindran, Edward Curley, Jonathan Stephen Anderson, E. Douglas Jensen
2007 — conf
On Distributed Real-Time Scheduling in Networked Embedded Systems in the Presence of Crash Failures.
SEUS
Binoy Ravindran, Jonathan Stephen Anderson, E. Douglas Jensen
2007 — conf
On Scheduling Exception Handlers in Dynamic, Embedded Real-Time Systems.
ICESS
Binoy Ravindran, Edward Curley, E. Douglas Jensen
2007 J jnl
On scheduling garbage collector in dynamic real-time systems with statistical timing assurances.
Real Time Syst.
Hyeonjoong Cho, Chewoo Na, Binoy Ravindran, E. Douglas Jensen
2007 B conf
Probabilistic, Real-Time Scheduling of Distributable Threads Under Dependencies in Mobile, Ad Hoc Networks.
WCNC
Kai Han, Binoy Ravindran, E. Douglas Jensen
2007 C conf
RTG-L: Dependably Scheduling Real-Time Distributable Threads in Large-Scale, Unreliable Networks.
PRDC
Kai Han, Binoy Ravindran, E. Douglas Jensen
2007 B conf
RTMG: Scheduling real-time distributable threads in large-scale, unreliable networks with low message overhead.
ICPADS
Kai Han, Binoy Ravindran, E. Douglas Jensen
2007 J jnl
Space-Optimal, Wait-Free Real-Time Synchronization.
IEEE Trans. Computers
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
2007 — conf
Synchronization for an optimal real-time scheduling algorithm on multiprocessors.
SIES
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
2007 J jnl
Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model with Energy Bounds.
IEEE Trans. Computers
Haisang Wu, Binoy Ravindran, E. Douglas Jensen
2007 J jnl
Utility Accrual Real-Time Scheduling under Variable Cost Functions.
IEEE Trans. Computers
Umut Balli, Haisang Wu, Binoy Ravindran, Jonathan Stephen Anderson, E. Douglas Jensen
2006 J jnl
A Utility Accrual Scheduling Algorithm for Real-Time Activities with Mutual Exclusion Resource Constraints.
IEEE Trans. Computers
Peng Li, Haisang Wu, Binoy Ravindran, E. Douglas Jensen
2006 A conf
An Optimal Real-Time Scheduling Algorithm for Multiprocessors.
RTSS
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
2006 J jnl
Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems.
ACM Trans. Embed. Comput. Syst.
Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Peng Li
2006 B conf
Garbage Collector Scheduling in Dynamic, Multiprocessor Real-Time Systems.
RTCSA
Chewoo Na, Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
2006 A conf
Lock-free synchronization for dynamic embedded real-time systems.
DATE
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
2006 C conf
On Multiprocessor Utility Accrual Real-Time Scheduling with Statistical Timing Assurances.
EUC
Hyeonjoong Cho, Haisang Wu, Binoy Ravindran, E. Douglas Jensen
2006 C conf
On Scheduling Garbage Collector in Dynamic Real-Time Systems With Statistical Timing Assurances.
ISORC
Hyeonjoong Cho, Chewoo Na, Binoy Ravindran, E. Douglas Jensen
2006 Misc conf
On bounding energy consumption in dynamic, embedded real-time systems.
SAC
Haisang Wu, Binoy Ravindran, E. Douglas Jensen
2006 Misc conf
On utility accrual processor scheduling with wait-free synchronization for embedded real-time software.
SAC
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
2006 B conf
Recovering from Distributable Thread Failures with Assured Timeliness in Real-Time Distributed Systems.
SRDS
Edward Curley, Jonathan Stephen Anderson, Binoy Ravindran, E. Douglas Jensen
2006 J jnl
Utility Accrual Channel Establishment in Multihop Networks.
IEEE Trans. Computers
Karthik Channakeshava, Binoy Ravindran, E. Douglas Jensen
2005 B conf
A Space-Optimal Wait-Free Real-Time Synchronization Protocol.
ECRTS
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
2005 A conf
Energy-Efficient, Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model.
DATE
Haisang Wu, Binoy Ravindran, E. Douglas Jensen
2005 Misc conf
MSA: a memory-aware utility accrual scheduling algorithm.
SAC
Shahrooz Feizabadi, Binoy Ravindran, E. Douglas Jensen
2005 C conf
On Recent Advances in Time/Utility Function Real-Time Scheduling and Resource Management.
ISORC
Binoy Ravindran, E. Douglas Jensen, Peng Li
2005 C conf
Stochastic, Utility Accrual Real-Time Scheduling with Task-Level and System-Level Timeliness Assurances.
ISORC
Peng Li, Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
2005 J jnl
Time/Utility Function Decomposition Techniques for Utility Accrual Scheduling Algorithms in Real-Time Distributed Systems.
IEEE Trans. Computers
Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Peng Li
2005 B conf
Utility Accrual Real-Time Scheduling under Variable Cost Functions.
RTCSA
Haisang Wu, Umut Balli, Binoy Ravindran, E. Douglas Jensen
2004 J jnl
A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems.
IEEE Trans. Software Eng.
Peng Li, Binoy Ravindran, Syed Suhaib, Shahrooz Feizabadi
2004 — conf
Adaptive Time-Critical Resource Management Using Time/Utility Functions: Past, Present, and Future.
COMPSAC Workshops
Peng Li, Binoy Ravindran, E. Douglas Jensen
2004 Misc conf
CPU scheduling for statistically-assured real-time performance and improved energy efficiency.
CODES+ISSS
Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Peng Li
2004 J jnl
DPR, LPR: Proactive Resource Allocation Algorithms for Asynchronous Real-Time Distributed Systems.
IEEE Trans. Computers
Binoy Ravindran, Peng Li
2004 J jnl
Efficiently tolerating failures in asynchronous real-time distributed systems.
J. Syst. Archit.
Peng Li, Binoy Ravindran
2004 Misc conf
Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems.
EMSOFT
Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Peng Li
2004 J jnl
Fast, Best-Effort Real-Time Scheduling Algorithms.
IEEE Trans. Computers
Peng Li, Binoy Ravindran
2004 C conf
On Utility Accrual Real-Time Channel Establishment in Multi-Hop Networks.
ISORC
Karthik Channakeshava, Binoy Ravindran
2004 A conf
On the Joint Utility Accrual Model.
IPDPS
Haisang Wu, Binoy Ravindran, E. Douglas Jensen
2004 J jnl
Proactive QoS negotiation in asynchronous real-time distributed systems.
J. Syst. Softw.
Peng Li, Binoy Ravindran
2004 B conf
Scheduling Distributable Real-Time Threads in Tempus Middleware.
ICPADS
Peng Li, Binoy Ravindran, Hyeonjoong Cho, E. Douglas Jensen
2004 J jnl
Time-Utility Function-Driven Switched Ethernet: Packet Scheduling Algorithm, Implementation, and Feasibility Analysis.
IEEE Trans. Parallel Distributed Syst.
Jinggang Wang, Binoy Ravindran
2004 C conf
Utility Accrual Scheduling under Joint Utility and Resource Constraints.
ISORC
Haisang Wu, Binoy Ravindran, E. Douglas Jensen
2003 — conf
A Power-Aware, Best-Effort Real-Time Task Scheduling Algorithm.
WSTFES
Jinggang Wang, Binoy Ravindran, Tom L. Martin
2003 C conf
A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems.
ISORC
Binoy Ravindran, Gérard Le Lann, Jinggang Wang, Peng Li
2003 C conf
Choir: A Real-Time Middleware Architecture Supporting Benefit-Based Proactive Resource Allocation.
ISORC
Peng Li, Binoy Ravindran, Jinggang Wang, Glenn Konowicz
2003 J jnl
LMR, DTA: adaptive communication algorithms for asynchronous real-time distributed systems using token-ring networks.
J. Syst. Softw.
Binoy Ravindran
2003 J jnl
Proactive resource allocation for asynchronous real-time distributed systems in the presence of processor failures.
J. Parallel Distributed Comput.
Binoy Ravindran, Peng Li, Tamir Hegazy
2003 — conf
Utilitiy Accrual Scheduling with Real-Time Java.
OTM Workshops
Shahrooz Feizabadi, William S. Beebee, Binoy Ravindran, Peng Li, Martin C. Rinard
2002 B conf
A Best-Effort Communication Protocol for Real-Time Broadcast Networks.
ICPP
Lakshmi Ramaswamy, Binoy Ravindran
2002 J jnl
Adaptive Resource Management Algorithms for Periodic Tasks in Dynamic Real-Time Distributed Systems.
J. Parallel Distributed Comput.
Binoy Ravindran, Ravi K. Devarasetty, Behrooz A. Shirazi
2002 B conf
BPA: A Fast Packet Scheduling Algorithm for Real-Time Switched Ethernet Networks.
ICPP
Jinggang Wang, Binoy Ravindran
2002 — conf
Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach.
HASE
Binoy Ravindran, Gérard Le Lann, Peng Li
2002 — conf
Efficiently Tolerating Failures in Asynchronous Real-Time Distributed Systems.
HASE
Peng Li, Binoy Ravindran
2002 J jnl
Engineering Dynamic Real-Time Distributed Systems: Architecture, System Description Language, and Middleware.
IEEE Trans. Software Eng.
Binoy Ravindran
2002 J jnl
Guest Editors' Introduction to Special Section on Asynchronous Real-Time Distributed Systems.
IEEE Trans. Computers
E. Douglas Jensen, Binoy Ravindran
2002 — conf
On Decentralized Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems.
HASE
Tamir Hegazy, Binoy Ravindran
2002 J jnl
Using Application Benefit for Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems.
IEEE Trans. Computers
Tamir Hegazy, Binoy Ravindran
2001 A conf
A Predictive Algorithm for Adaptive Resource Management of Periodic Tasks in Asynchronous Real-Time Distributed Systems.
IPDPS
Binoy Ravindran, Tamir Hegazy
2001 C conf
Adaptive Resource Management in Asynchronous Real-Time Distributed Systems Using Feedback Control Functions.
ISADS
Binoy Ravindran, Pushkin Kachroo, Tamir Hegazy
2001 B conf
Implementation and evaluation of a best-effort scheduling algorithm in an embedded real-time system.
ISPASS
Peng Li, Binoy Ravindran, Tamir Hegazy
2001 J jnl
Intelligent feedback control-based adaptive resource management for asynchronous, decentralized real-time systems.
IEEE Trans. Syst. Man Cybern. Syst.
Binoy Ravindran, Pushkin Kachroo, Tamir Hegazy
2001 — conf
On Adaptive Communication in Asynchronous Real-Time Distributed Systems.
ECBS
Binoy Ravindran, Baoping Zhang
2001 J jnl
RBA: A Best Effort Resource Allocation Algorithm for Asynchronous Real-Time Distributed Systems.
J. Res. Pract. Inf. Technol.
Binoy Ravindran, Tamir Hegazy
2001 J jnl
Resource Management Middleware for Dynamic, Dependable Real-Time Systems.
Real Time Syst.
Binoy Ravindran, Lonnie R. Welch, Behrooz A. Shirazi
2000 J jnl
DynBench: A Benchmark Suite for Dynamic Real-Time Systems.
Parallel Distributed Comput. Pract.
Behrooz A. Shirazi, Lonnie R. Welch, Binoy Ravindran, Charles Cavanaugh, Eui-Nam Huh
2000 B conf
Palette: A Reuse-Oriented Specification Language for Real-Time Systems.
ICSR
Binoy Ravindran, Stephen H. Edwards
1999 — conf
Adaptive QoS and Resource Management using a Posteriori Workload Characterizations.
IEEE Real Time Technology and Applications Symposium
Lonnie R. Welch, Paul V. Werme, Larry A. Fontenot, Michael W. Masters, Behrooz A. Shirazi, Binoy Ravindran, D. Wayne Mills
1999 — conf
Distributed, Scalable, Dependable Real-Time Systems: Middleware Services and Applications.
IPPS/SPDP
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, Terry Sergeant, George Bilowus, Mark Swick, Jim Hoppel, Joseph M. Caruso
1999 — conf
DynBench: A Dynamic Benchmark Suite for Distributed Real-Time Systems.
IPPS/SPDP Workshops
Behrooz A. Shirazi, Lonnie R. Welch, Binoy Ravindran, Charles Cavanaugh, Barath Yanamula, Russ Brucks, Eui-Nam Huh
1999 — ed.
Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedings
IPPS/SPDP Workshops
José D. P. Rolim, Frank Mueller, Albert Y. Zomaya, Fikret Erçal, Stephan Olariu, Binoy Ravindran, Jan Gustafsson, Hiroaki Takada, Ronald A. Olsson, Laxmikant V. Kalé, Peter H. Beckman, Matthew Haines, Hossam A. ElGindy, Denis Caromel, Serge Chaumette, Geoffrey C. Fox, Yi Pan, Keqin Li, Tao Yang, G. Ghiola, Gianni Conte, Luigi V. Mancini, Dominique Méry, Beverly A. Sanders, Devesh Bhatt, Viktor K. Prasanna
1999 — conf
Quality of Service Management in Distributed Asynchronous Real-Time Systems.
Euro-Par
Binoy Ravindran
1998 — conf
A Resource Management Model for Dynamic, Scalable, Dependable, Real-Time Systems.
IPPS/SPDP Workshops
Binoy Ravindran, Lonnie R. Welch, Carl Bruggeman, Behrooz A. Shirazi, Charles Cavanaugh
1998 A conf
Specification and Modeling of Dynamic, Distributed Real-Time Systems.
RTSS
Lonnie R. Welch, Binoy Ravindran, Behrooz A. Shirazi, Carl Bruggeman
1997 — conf
Building Distributed Scalable Dependable Real-TimeSystems.
ECBS
Binoy Ravindran, Lonnie R. Welch, Christian Kelling
1996 Misc conf
Exploiting parallelism in high performance embedded system scheduling.
HiPC
Binoy Ravindran, Lonnie R. Welch
1996 J jnl
Reverse Engineering of Computer-Based Control Systems.
Int. J. Softw. Eng. Knowl. Eng.
Lonnie R. Welch, Guohui Yu, Binoy Ravindran, Franz J. Kurfess, Jorge Henriques, Mark Wilson, Antonio L. Samuel, Michael W. Masters
1995 — conf
Metrics and techniques for automatic partitioning and assignment of object-based concurrent programs.
SPDP
Lonnie R. Welch, Binoy Ravindran, Jorge Henriques, Dieter K. Hammer