default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBinoy Ravindran
Person information
- affiliation: Virginia Tech, Blacksburg, VA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2024
[j54]Ruslan Nikolaev
, Binoy Ravindran:
A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation. Proc. ACM Program. Lang. 8(PLDI): 2174-2198 (2024)- 2022
- [j53]Balaji Arun, Binoy Ravindran:
Scalable Byzantine Fault Tolerance via Partial Decentralization. Proc. VLDB Endow. 15(9): 1739-1752 (2022) - [j52]Pierre Olivier, Hugo Lefeuvre, Daniel Chiba, Stefan Lankes, Changwoo Min, Binoy Ravindran:
A Syscall-Level Binary-Compatible Unikernel. IEEE Trans. Computers 71(9): 2116-2127 (2022) - 2021
- [j51]Freek Verbeek, Abhijith Bharadwaj, Joshua A. Bockenek, Ian Roessle, Timmy Weerwag, Binoy Ravindran:
X86 instruction semantics and basic block symbolic execution. Arch. Formal Proofs 2021 (2021) - [j50]Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran:
Taming the Contention in Consensus-Based Distributed Systems. IEEE Trans. Dependable Secur. Comput. 18(6): 2907-2925 (2021) - [j49]Robert Lyerly, Carlos Bilbao, Changwoo Min, Christopher J. Rossbach, Binoy Ravindran:
An OpenMP Runtime for Transparent Work Sharing across Cache-Incoherent Heterogeneous Nodes. ACM Trans. Comput. Syst. 39(1-4): 1:1-1:30 (2021) - [j48]Tong Xing, Antonio Barbalace, Pierre Olivier, Mohamed Lamine Karaoui, Wei Wang, Binoy Ravindran:
H-Container: Enabling Heterogeneous-ISA Container Migration in Edge Computing. ACM Trans. Comput. Syst. 39(1-4): 5:1-5:36 (2021) - 2019
- [j47]Kevin Burns, Vincent Legout, Antonio Barbalace, Binoy Ravindran:
PrVM: a multicore real-time virtualization scheduling framework with probabilistic timing guarantees. SIGBED Rev. 16(3): 14-20 (2019) - [j46]Mohamed M. Saad, Roberto Palmieri, Binoy Ravindran:
Lerna: Parallelizing Dependent Loops Using Speculation. ACM Trans. Storage 15(1): 6:1-6:24 (2019) - 2018
- [j45]Robert Lyerly, Alastair Murray, Antonio Barbalace, Binoy Ravindran:
AIRA: A Framework for Flexible Compute Kernel Execution in Heterogeneous Platforms. IEEE Trans. Parallel Distributed Syst. 29(2): 269-282 (2018) - 2017
- [j44]Sachin Hirve, Roberto Palmieri, Binoy Ravindran:
HiperTM: High performance, fault-tolerant transactional memory. Theor. Comput. Sci. 688: 86-102 (2017) - [j43]Mohamed Mohamedin, Roberto Palmieri, Ahmed Hassan, Binoy Ravindran:
Managing Resource Limitation of Best-Effort HTM. IEEE Trans. Parallel Distributed Syst. 28(8): 2299-2313 (2017) - [j42]Ahmed Hassan, Roberto Palmieri, Sebastiano Peluso, Binoy Ravindran:
Optimistic Transactional Boosting. IEEE Trans. Parallel Distributed Syst. 28(12): 3600-3614 (2017) - 2016
- [j41]Alexandru Turcu, Roberto Palmieri, Binoy Ravindran:
On Open Nesting in Distributed Transactional Memory. IEEE Trans. Computers 65(6): 1856-1868 (2016) - [j40]Ahmed Hassan, Roberto Palmieri, Binoy Ravindran:
Remote Transaction Commit: Centralizing Software Transactional Memory Commits. IEEE Trans. Computers 65(7): 2228-2240 (2016) - [j39]Alexandru Turcu, Roberto Palmieri, Binoy Ravindran, Sachin Hirve:
Automated Data Partitioning for Highly Scalable and Strongly Consistent Transactions. IEEE Trans. Parallel Distributed Syst. 27(1): 106-118 (2016) - 2015
- [j38]Sharath K. Bhat, Ajithchandra Saya, Hemedra K. Rawat, Antonio Barbalace, Binoy Ravindran:
Harnessing Energy Efficiency of Heterogeneous-ISA Platforms. ACM SIGOPS Oper. Syst. Rev. 49(2): 65-69 (2015) - 2013
- [j37]Shouwen Lai, Binoy Ravindran:
Least-Latency Routing over Time-Dependent Wireless Sensor Networks. IEEE Trans. Computers 62(5): 969-983 (2013) - [j36]Bo Jiang, Binoy Ravindran, Hyeonjoong Cho:
Probability-Based Prediction and Sleep Scheduling for Energy-Efficient Target Tracking in Sensor Networks. IEEE Trans. Mob. Comput. 12(4): 735-747 (2013) - 2012
- [j35]Matthew Dellinger, Aaron Lindsay, Binoy Ravindran:
An experimental evaluation of the scalability of real-time scheduling algorithms on large-scale multicore platforms. ACM J. Exp. Algorithmics 17(1) (2012) - 2011
- [j34]Shouwen Lai, Binoy Ravindran:
Achieving Max-Min lifetime and fairness with rate allocation for data aggregation in sensor networks. Ad Hoc Networks 9(5): 821-834 (2011) - [j33]Shouwen Lai, Binoy Ravindran:
An Automatic Presence Service for Low Duty-Cycled Mobile Sensor Networks. Mob. Networks Appl. 16(4): 460-474 (2011) - [j32]Guanhong Pei, Binoy Ravindran, E. Douglas Jensen:
Self-organizing and self-reconfigurable event routing in ad hoc networks with causal dependency awareness. ACM Trans. Auton. Adapt. Syst. 6(3): 19:1-19:28 (2011) - 2010
- [j31]Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen:
Utility accrual real-time scheduling for multiprocessor embedded systems. J. Parallel Distributed Comput. 70(2): 101-110 (2010) - [j30]Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen:
T-L plane-based real-time scheduling for homogeneous multiprocessors. J. Parallel Distributed Comput. 70(3): 225-236 (2010) - [j29]Shouwen Lai, Binoy Ravindran, Hyeonjoong Cho:
Heterogenous Quorum-Based Wake-Up Scheduling in Wireless Sensor Networks. IEEE Trans. Computers 59(11): 1562-1575 (2010) - [j28]Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen:
Lock-free synchronization for dynamic embedded real-time systems. ACM Trans. Embed. Comput. Syst. 9(3): 23:1-23:28 (2010) - [j27]Edward Curley, Binoy Ravindran, Jonathan Stephen Anderson, E. Douglas Jensen:
Recovering from distributable thread failures in distributed real-time Java. ACM Trans. Embed. Comput. Syst. 10(1): 8:1-8:37 (2010) - 2009
- [j26]Hyeonjoong Cho, Binoy Ravindran, Chewoo Na:
Garbage Collector Scheduling in Dynamic, Multiprocessor Real-Time Systems. IEEE Trans. Parallel Distributed Syst. 20(6): 845-856 (2009) - 2007
- [j25]Hyeonjoong Cho, Chewoo Na, Binoy Ravindran, E. Douglas Jensen:
On scheduling garbage collector in dynamic real-time systems with statistical timing assurances. Real Time Syst. 36(1-2): 23-46 (2007) - [j24]Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen:
Space-Optimal, Wait-Free Real-Time Synchronization. IEEE Trans. Computers 56(3): 373-384 (2007) - [j23]Umut Balli, Haisang Wu, Binoy Ravindran, Jonathan Stephen Anderson, E. Douglas Jensen:
Utility Accrual Real-Time Scheduling under Variable Cost Functions. IEEE Trans. Computers 56(3): 385-401 (2007) - [j22]Haisang Wu, Binoy Ravindran, E. Douglas Jensen:
Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model with Energy Bounds. IEEE Trans. Computers 56(10): 1358-1371 (2007) - 2006
- [j21]Karthik Channakeshava, Binoy Ravindran, E. Douglas Jensen:
Utility Accrual Channel Establishment in Multihop Networks. IEEE Trans. Computers 55(4): 428-442 (2006) - [j20]Peng Li, Haisang Wu, Binoy Ravindran, E. Douglas Jensen:
A Utility Accrual Scheduling Algorithm for Real-Time Activities with Mutual Exclusion Resource Constraints. IEEE Trans. Computers 55(4): 454-469 (2006) - [j19]Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Peng Li:
Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems. ACM Trans. Embed. Comput. Syst. 5(3): 513-542 (2006) - 2005
- [j18]Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Peng Li:
Time/Utility Function Decomposition Techniques for Utility Accrual Scheduling Algorithms in Real-Time Distributed Systems. IEEE Trans. Computers 54(9): 1138-1153 (2005) - 2004
- [j17]Peng Li, Binoy Ravindran:
Efficiently tolerating failures in asynchronous real-time distributed systems. J. Syst. Archit. 50(10): 607-621 (2004) - [j16]Peng Li, Binoy Ravindran:
Proactive QoS negotiation in asynchronous real-time distributed systems. J. Syst. Softw. 73: 75-88 (2004) - [j15]Binoy Ravindran, Peng Li:
DPR, LPR: Proactive Resource Allocation Algorithms for Asynchronous Real-Time Distributed Systems. IEEE Trans. Computers 53(2): 201-216 (2004) - [j14]Peng Li, Binoy Ravindran:
Fast, Best-Effort Real-Time Scheduling Algorithms. IEEE Trans. Computers 53(9): 1159-1175 (2004) - [j13]Jinggang Wang, Binoy Ravindran:
Time-Utility Function-Driven Switched Ethernet: Packet Scheduling Algorithm, Implementation, and Feasibility Analysis. IEEE Trans. Parallel Distributed Syst. 15(2): 119-133 (2004) - [j12]Peng Li, Binoy Ravindran, Syed Suhaib, Shahrooz Feizabadi:
A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems. IEEE Trans. Software Eng. 30(9): 613-629 (2004) - 2003
- [j11]Binoy Ravindran, Peng Li, Tamir Hegazy:
Proactive resource allocation for asynchronous real-time distributed systems in the presence of processor failures. J. Parallel Distributed Comput. 63(12): 1219-1242 (2003) - [j10]Binoy Ravindran:
LMR, DTA: adaptive communication algorithms for asynchronous real-time distributed systems using token-ring networks. J. Syst. Softw. 65(1): 51-70 (2003) - 2002
- [j9]Binoy Ravindran, Ravi K. Devarasetty, Behrooz A. Shirazi:
Adaptive Resource Management Algorithms for Periodic Tasks in Dynamic Real-Time Distributed Systems. J. Parallel Distributed Comput. 62(10): 1527-1547 (2002) - [j8]E. Douglas Jensen, Binoy Ravindran:
Guest Editors' Introduction to Special Section on Asynchronous Real-Time Distributed Systems. IEEE Trans. Computers 51(8): 881-882 (2002) - [j7]Tamir Hegazy, Binoy Ravindran:
Using Application Benefit for Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems. IEEE Trans. Computers 51(8): 945-962 (2002) - [j6]Binoy Ravindran:
Engineering Dynamic Real-Time Distributed Systems: Architecture, System Description Language, and Middleware. IEEE Trans. Software Eng. 28(1): 30-57 (2002) - 2001
- [j5]Binoy Ravindran, Tamir Hegazy:
RBA: A Best Effort Resource Allocation Algorithm for Asynchronous Real-Time Distributed Systems. J. Res. Pract. Inf. Technol. 33(2): 158-172 (2001) - [j4]Binoy Ravindran, Lonnie R. Welch, Behrooz A. Shirazi:
Resource Management Middleware for Dynamic, Dependable Real-Time Systems. Real Time Syst. 20(2): 183-196 (2001) - [j3]Binoy Ravindran, Pushkin Kachroo, Tamir Hegazy:
Intelligent feedback control-based adaptive resource management for asynchronous, decentralized real-time systems. IEEE Trans. Syst. Man Cybern. Syst. 31(2): 261-265 (2001) - 2000
- [j2]Behrooz A. Shirazi, Lonnie R. Welch, Binoy Ravindran, Charles Cavanaugh, Eui-nam Huh:
DynBench: A Benchmark Suite for Dynamic Real-Time Systems. Parallel Distributed Comput. Pract. 3(1) (2000) - 1996
- [j1]Lonnie R. Welch, Guohui Yu, Binoy Ravindran, Franz J. Kurfess, Jorge Henriques, Mark Wilson, Antonio L. Samuel, Michael W. Masters:
Reverse Engineering of Computer-Based Control Systems. Int. J. Softw. Eng. Knowl. Eng. 6(4): 531-547 (1996)
Conference and Workshop Papers
- 2024
- [c214]Joshua A. Bockenek, Freek Verbeek, Binoy Ravindran:
Exceptional Interprocedural Control Flow Graphs for x86-64 Binaries. DIMVA 2024: 3-22 - [c213]Abhishek Bapat, Jaidev Shastri, Xiaoguang Wang, Abilesh Sundarasamy, Binoy Ravindran:
Dapper: A Lightweight and Extensible Framework for Live Program State Rewriting. ICDCS 2024: 738-749 - [c212]Daniel Engel, Freek Verbeek, Binoy Ravindran:
On the Decidability of Disassembling Binaries. TASE 2024: 127-145 - 2023
- [c211]Mohamed Husain Noor Mohamed, Xiaoguang Wang, Binoy Ravindran:
Understanding the Security of Linux eBPF Subsystem. APSys 2023: 87-92 - [c210]Ho-Ren Chuang, Karim Manaouil, Tong Xing, Antonio Barbalace, Pierre Olivier, Balvansh Heerekar, Binoy Ravindran:
Aggregate VM: Why Reduce or Evict VM's Resources When You Can Borrow Them From Other Nodes? EuroSys 2023: 469-487 - [c209]Abhijit Mahurkar, Xiaoguang Wang, Hang Zhang, Binoy Ravindran:
DynaCut: A Framework for Dynamic and Adaptive Program Customization. Middleware 2023: 275-287 - [c208]Daniel Engel, Freek Verbeek, Binoy Ravindran:
BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries. TAP 2023: 3-20 - [c207]Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran:
Low-Level Reachability Analysis Based on Formal Logic. TAP 2023: 21-39 - 2022
- [c206]Ruslan Nikolaev, Hassan Nadeem, Cathlyn Stone, Binoy Ravindran:
Adelie: continuous address space layout re-randomization for Linux drivers. ASPLOS 2022: 483-498 - [c205]Christopher Blackburn, Xiaoguang Wang, Binoy Ravindran:
Rave: A Modular and Extensible Framework for Program State Re-Randomization. MTD@CCS 2022: 3-10 - [c204]A. K. M. Fazla Mehrab, Ruslan Nikolaev, Binoy Ravindran:
Kite: lightweight critical service domains. EuroSys 2022: 384-401 - [c203]Xiaoxin An, Freek Verbeek, Binoy Ravindran:
DSV: Disassembly Soundness Validation Without Assuming a Ground Truth. NFM 2022: 636-655 - [c202]Freek Verbeek, Joshua A. Bockenek, Zhoulai Fu, Binoy Ravindran:
Formally verified lifting of C-compiled x86-64 binaries. PLDI 2022: 934-949 - [c201]Ruslan Nikolaev, Binoy Ravindran:
wCQ: a fast wait-free queue with bounded memory usage. PPoPP 2022: 461-462 - [c200]Ruslan Nikolaev, Binoy Ravindran:
wCQ: A Fast Wait-Free Queue with Bounded Memory Usage. SPAA 2022: 307-319 - [c199]Nico Naus, Freek Verbeek, Dale Walker, Binoy Ravindran:
A Formal Semantics for P-Code. VSTTE 2022: 111-128 - 2021
- [c198]Edson Horta, Ho-Ren Chuang, Naarayanan Rao VSathish, Cesar Philippidis, Antonio Barbalace, Pierre Olivier, Binoy Ravindran:
Xar-trek: run-time execution migration among FPGAs and heterogeneous-ISA CPUs. Middleware 2021: 104-118 - [c197]Jae-Won Jang, Freek Verbeek, Binoy Ravindran:
Verification of Functional Correctness of Code Diversification Techniques. NFM 2021: 160-179 - [c196]Ruslan Nikolaev, Binoy Ravindran:
Snapshot-free, transparent, and robust memory reclamation for lock-free data structures. PLDI 2021: 987-1002 - [c195]Ruslan Nikolaev, Binoy Ravindran:
Brief Announcement: Crystalline: Fast and Memory Efficient Wait-Free Reclamation. DISC 2021: 60:1-60:4 - 2020
- [c194]Robert Lyerly, Xiaoguang Wang, Binoy Ravindran:
Dynamic and Secure Memory Transformation in Userspace. ESORICS (1) 2020: 237-256 - [c193]Xiaoguang Wang, SengMing Yeoh, Pierre Olivier, Binoy Ravindran:
Secure and efficient in-process monitor (and library) protection with Intel MPK. EuroSec@EuroSys 2020: 7-12 - [c192]Sang-Hoon Kim, Ho-Ren Chuang, Robert Lyerly, Pierre Olivier, Changwoo Min, Binoy Ravindran:
DeX: Scaling Applications Beyond Machine Boundaries. ICDCS 2020: 864-876 - [c191]Robert Lyerly, Changwoo Min, Christopher J. Rossbach, Binoy Ravindran:
An OpenMP Runtime for Transparent Work Sharing Across Cache-Incoherent Heterogeneous Nodes. Middleware 2020: 415-429 - [c190]Xiaoxin An, Amer Tahat, Binoy Ravindran:
A Validation Methodology for OCaml-to-PVS Translation. NFM 2020: 207-221 - [c189]Ruslan Nikolaev, Binoy Ravindran:
Universal wait-free memory reclamation. PPoPP 2020: 130-143 - [c188]Xiaoguang Wang, SengMing Yeoh, Robert Lyerly, Pierre Olivier, Sang-Hoon Kim, Binoy Ravindran:
A Framework for Software Diversification with ISA Heterogeneity. RAID 2020: 427-442 - [c187]Freek Verbeek, Pierre Olivier, Binoy Ravindran:
Sound C Code Decompilation for a Subset of x86-64 Binaries. SEFM 2020: 247-264 - [c186]Ho-Ren Chuang, Robert Lyerly, Stefan Lankes, Binoy Ravindran:
Scaling Shared Memory Multiprocessing Applications in Non-cache-coherent Domains. SYSTOR 2020: 13-24 - [c185]Freek Verbeek, Joshua A. Bockenek, Binoy Ravindran:
Highly Automated Formal Proofs over Memory Usage of Assembly Code. TACAS (2) 2020: 98-117 - [c184]Antonio Barbalace, Mohamed Lamine Karaoui, Wei Wang, Tong Xing, Pierre Olivier, Binoy Ravindran:
Edge computing: the case for heterogeneous-ISA container migration. VEE 2020: 73-87 - [c183]Ruslan Nikolaev, Mincheol Sung, Binoy Ravindran:
LibrettOS: a dynamically adaptable multiserver-library OS. VEE 2020: 114-128 - [c182]Mincheol Sung, Pierre Olivier, Stefan Lankes, Binoy Ravindran:
Intra-unikernel isolation with Intel memory protection keys. VEE 2020: 143-156 - 2019
- [c181]Ian Roessle, Freek Verbeek, Binoy Ravindran:
Formally verified big step semantics out of x86-64 binaries. CPP 2019: 181-195 - [c180]Amer Tahat, Sarang Joshi, Pronnoy Goswami, Binoy Ravindran:
Scalable Translation Validation of Unverified Legacy OS Code. FMCAD 2019: 87-95 - [c179]Pierre Olivier, A. K. M. Fazla Mehrab, Stefan Lankes, Mohamed Lamine Karaoui, Robert Lyerly, Binoy Ravindran:
HEXO: Offloading HPC Compute-Intensive Workloads on Low-Cost, Low-Power Embedded Systems. HPDC 2019: 85-96 - [c178]Balaji Arun, Sebastiano Peluso, Binoy Ravindran:
ezBFT: Decentralizing Byzantine Fault-Tolerant State Machine Replication. ICDCS 2019: 565-577 - [c177]Freek Verbeek, Joshua A. Bockenek, Abhijith Bharadwaj, Binoy Ravindran, Ian Roessle:
Establishing a refinement relation between binaries and abstract code. MEMOCODE 2019: 17:1-17:5 - [c176]Gagandeep Panwar, Da Zhang, Yihan Pang, Mai Dahshan, Nathan DeBardeleben, Binoy Ravindran, Xun Jian:
Quantifying Memory Underutilization in HPC Systems and Using it to Improve Performance via Architecture Support. MICRO 2019: 821-835 - [c175]Beichen Liu, Pierre Olivier, Binoy Ravindran:
SlimGuard: A Secure and Memory-Efficient Heap Allocator. Middleware 2019: 1-13 - [c174]Mohit Garg, Sebastiano Peluso, Balaji Arun, Binoy Ravindran:
Generalized Consensus for Practical Fault Tolerance. Middleware 2019: 55-67 - [c173]Ruslan Nikolaev, Binoy Ravindran:
Hyaline: Fast and Transparent Lock-Free Memory Reclamation. PODC 2019: 419-421 - [c172]Robert Lyerly, Sang-Hoon Kim, Binoy Ravindran:
libMPNode: An OpenMP Runtime For Parallel Processing Across Incoherent Domains. PMAM@PPoPP 2019: 81-90 - [c171]Mohamed Lamine Karaoui, Anthony Carno, Robert Lyerly, Sang-Hoon Kim, Pierre Olivier, Changwoo Min, Binoy Ravindran:
Scheduling HPC workloads on heterogeneous-ISA architectures: poster. PPoPP 2019: 409-410 - [c170]Joshua A. Bockenek, Freek Verbeek, Peter Lammich, Binoy Ravindran:
Formal Verification of Memory Preservation of x86-64 Binaries. SAFECOMP 2019: 35-49 - [c169]Antonio Barbalace, Pierre Olivier, Binoy Ravindran:
Rethinking Communication in Multiple-kernel OSes for New Shared Memory Interconnects. PLOS@SOSP 2019: 45-52 - [c168]Yihan Pang, Robert Lyerly, Binoy Ravindran:
Cross-ISA execution of SIMD regions for improved performance. SYSTOR 2019: 55-67 - [c167]Pierre Olivier, Daniel Chiba, Stefan Lankes, Changwoo Min, Binoy Ravindran:
A binary-compatible unikernel. VEE 2019: 59-73 - 2018
- [c166]Mohamed M. Saad, Roberto Palmieri, Binoy Ravindran:
Lerna: Parallelizing Dependent Loops Using Speculation. SYSTOR 2018: 37-48 - 2017
- [c165]Antonio Barbalace, Robert Lyerly, Christopher Jelesnianski, Anthony Carno, Ho-Ren Chuang, Vincent Legout, Binoy Ravindran:
Breaking the Boundaries in Heterogeneous-ISA Datacenters. ASPLOS 2017: 645-659 - [c164]Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran:
Speeding up Consensus by Chasing Fast Decisions. DSN 2017: 49-60 - [c163]Pierre Olivier, Sang-Hoon Kim, Binoy Ravindran:
OS Support for Thread Migration and Distribution in the Fully Heterogeneous Datacenter. HotOS 2017: 174-179 - [c162]Giuliano Losa, Antonio Barbalace, Yuzhong Wen, Ho-Ren Chuang, Binoy Ravindran:
Transparent Fault-Tolerance Using Intra-Machine Full-Software-Stack Replication on Commodity Multicore Hardware. ICDCS 2017: 1521-1531 - [c161]Saif Ansary, Antonio Barbalace, Ho-Ren Chuang, Thomas Lazor, Binoy Ravindran:
A Distributed Operating System Network Stack and Device Driver for Multicores. ICDCS 2017: 2646-2649 - [c160]Vlad Nitu, Pierre Olivier, Alain Tchana, Daniel Chiba, Antonio Barbalace, Daniel Hagimont, Binoy Ravindran:
Swift Birth and Quick Death: Enabling Fast Parallel Guest Boot and Destruction in the Xen Hypervisor. VEE 2017: 1-14 - 2016
- [c159]Sebastiano Peluso, Alexandru Turcu, Roberto Palmieri, Giuliano Losa, Binoy Ravindran:
Making Fast Consensus Generally Faster. DSN 2016: 156-167 - [c158]Michael Drescher, Vincent Legout, Antonio Barbalace, Binoy Ravindran:
A flattened hierarchical scheduler for real-time virtualization. EMSOFT 2016: 12:1-12:10 - [c157]Giuliano Losa, Sebastiano Peluso, Binoy Ravindran:
Brief Announcement: A Family of Leaderless Generalized-Consensus Algorithms. PODC 2016: 345-347 - [c156]Mohamed Mohamedin, Roberto Palmieri, Sebastiano Peluso, Binoy Ravindran:
On designing NUMA-aware concurrency control for scalable transactional memory. PPoPP 2016: 45:1-45:2 - [c155]Mohamed M. Saad, Roberto Palmieri, Binoy Ravindran:
On ordering transaction commit. PPoPP 2016: 46:1-46:2 - [c154]Mohamed M. Saad, Roberto Palmieri, Ahmed Hassan, Binoy Ravindran:
Extending TM Primitives using Low Level Semantics. SPAA 2016: 109-120 - [c153]Duane Niles, Roberto Palmieri, Binoy Ravindran:
Exploiting Parallelism of Distributed Nested Transactions. SYSTOR 2016: 10:1-10:11 - [c152]Sandeep Hans, Ahmed Hassan, Roberto Palmieri, Sebastiano Peluso, Binoy Ravindran:
Opacity vs TMS2: Expectations and Reality. DISC 2016: 269-283 - 2015
- [c151]Antonio Barbalace, Marina Sadini, Saif Ansary, Christopher Jelesnianski, Akshay Ravichandran, Cagil Kendir, Alastair Murray, Binoy Ravindran:
Popcorn: bridging the programmability gap in heterogeneous-ISA platforms. EuroSys 2015: 29:1-29:16 - [c150]Aditya Dhoke, Roberto Palmieri, Binoy Ravindran:
On Reducing False Conflicts in Distributed Transactional Data Structures. ICDCN 2015: 8:1-8:10 - [c149]Bo Zhang, Binoy Ravindran, Roberto Palmieri:
Reducing Aborts in Distributed Transactional Systems through Dependency Detection. ICDCN 2015: 13:1-13:10 - [c148]David Katz, Antonio Barbalace, Saif Ansary, Akshay Ravichandran, Binoy Ravindran:
Thread Migration in a Replicated-Kernel OS. ICDCS 2015: 278-287 - [c147]Mohamed Mohamedin, Roberto Palmieri, Binoy Ravindran:
On Preserving Data Integrity of Transactional Applications on Multicore Architectures. ICDCS 2015: 764-765 - [c146]Sebastiano Peluso, Alexandru Turcu, Roberto Palmieri, Binoy Ravindran:
On Exploiting Locality for Generalized Consensus. ICDCS 2015: 766-767 - [c145]Aditya Dhoke, Roberto Palmieri, Binoy Ravindran:
An Automated Framework for Decomposing Memory Transactions to Exploit Partial Rollback. IPDPS 2015: 249-258 - [c144]Sebastiano Peluso, Roberto Palmieri, Paolo Romano, Binoy Ravindran, Francesco Quaglia:
Disjoint-Access Parallelism: Impossibility, Possibility, and Cost of Transactional Memory Implementations. PODC 2015: 217-226 - [c143]Sharath K. Bhat, Ajithchandra Saya, Hemedra K. Rawat, Antonio Barbalace, Binoy Ravindran:
Harnessing energy efficiency of heterogeneous-ISA platforms. HotPower@SOSP 2015: 6-10 - [c142]Mohamed Mohamedin, Roberto Palmieri, Ahmed Hassan, Binoy Ravindran:
Brief Announcement: Managing Resource Limitation of Best-Effort HTM. SPAA 2015: 71-73 - [c141]Mohamed Mohamedin, Roberto Palmieri, Binoy Ravindran:
Brief Announcement: On Scheduling Best-Effort HTM Transactions. SPAA 2015: 74-76 - [c140]Ahmed Hassan, Roberto Palmieri, Binoy Ravindran:
Transactional Interference-Less Balanced Tree. DISC 2015: 325-340 - 2014
- [c139]Kevin Burns, Antonio Barbalace, Vincent Legout, Binoy Ravindran:
KairosVM: Deterministic introspection for real-time virtual machine hierarchical scheduling. ETFA 2014: 1-8 - [c138]Aaron Lindsay, Binoy Ravindran:
On Cache-Aware Task Partitioning for Multicore Embedded Real-Time Systems. HPCC/CSS/ICESS 2014: 677-684 - [c137]Sachin Hirve, Roberto Palmieri, Binoy Ravindran:
HiperTM: High Performance, Fault-Tolerant Transactional Memory. ICDCN 2014: 181-196 - [c136]Ahmed Hassan, Roberto Palmieri, Binoy Ravindran:
Remote Invalidation: Optimizing the Critical Path of Memory Transactions. IPDPS 2014: 187-197 - [c135]Mohamed Mohamedin, Roberto Palmieri, Binoy Ravindran:
Managing Soft-Errors in Transactional Systems. IPDPS Workshops 2014: 1324-1329 - [c134]Balaji Arun, Sachin Hirve, Roberto Palmieri, Sebastiano Peluso, Binoy Ravindran:
Speculative client execution in deferred update replication. MW4NG@Middleware 2014: 5:1-5:6 - [c133]Sachin Hirve, Roberto Palmieri, Binoy Ravindran:
Archie: a speculative replicated transactional system. Middleware 2014: 265-276 - [c132]Mohamed Mohamedin, Roberto Palmieri, Binoy Ravindran:
On Making Transactional Applications Resilient to Data Corruption Faults. NCA 2014: 213-220 - [c131]Alexandru Turcu, Sebastiano Peluso, Roberto Palmieri, Binoy Ravindran:
Be General and Don't Give Up Consistency in Geo-Replicated Transactional Systems. OPODIS 2014: 33-48 - [c130]Ahmed Hassan, Roberto Palmieri, Binoy Ravindran:
On Developing Optimistic Transactional Lazy Set. OPODIS 2014: 437-452 - [c129]Ahmed Hassan, Roberto Palmieri, Binoy Ravindran:
Optimistic transactional boosting. PPoPP 2014: 387-388 - [c128]Curt Albert, Alastair Murray, Binoy Ravindran:
Applying source level auto-vectorization to Aparapi Java. PPPJ 2014: 122-132 - [c127]Bo Zhang, Binoy Ravindran, Roberto Palmieri:
Distributed Transactional Contention Management as the Traveling Salesman Problem. SIROCCO 2014: 54-67 - [c126]Alexandru Turcu, Roberto Palmieri, Binoy Ravindran:
Automated Data Partitioning for Highly Scalable and Strongly Consistent Transactions. SYSTOR 2014: 12:1-12:11 - [c125]Sebastiano Peluso, Roberto Palmieri, Paolo Romano, Binoy Ravindran, Francesco Quaglia:
Breaching the Wall of Impossibility Results on Disjoint-Access Parallel TM. DISC 2014: 548-549 - 2013
- [c124]Mohammed El-Shambakey, Binoy Ravindran:
On real-time STM concurrency control for embedded software with improved schedulability. ASP-DAC 2013: 47-52 - [c123]Junwhan Kim, Binoy Ravindran:
Scheduling Transactions in Replicated Distributed Software Transactional Memory. CCGRID 2013: 227-234 - [c122]Sachin Hirve, Aaron Lindsay, Binoy Ravindran, Roberto Palmieri:
On transactional memory concurrency control in distributed real-time programs. CLUSTER 2013: 1-5 - [c121]Junwhan Kim, Roberto Palmieri, Binoy Ravindran:
Scheduling Open-Nested Transactions in Distributed Transactional Memory. COORDINATION 2013: 105-120 - [c120]Mohamed Mohamedin, Binoy Ravindran, Roberto Palmieri:
ByteSTM: Virtual Machine-Level Java Software Transactional Memory. COORDINATION 2013: 166-180 - [c119]Mohammed El-Shambakey, Binoy Ravindran:
FBLT: a real-time contention manager with improved schedulability. DATE 2013: 1325-1330 - [c118]Peng Lu, Antonio Barbalace, Roberto Palmieri, Binoy Ravindran:
Adaptive Live Migration to Improve Load Balancing in Virtual Machine Environment. Euro-Par Workshops 2013: 116-125 - [c117]Junwhan Kim, Roberto Palmieri, Binoy Ravindran:
Enhancing Concurrency in Distributed Transactional Memory through Commutativity. Euro-Par 2013: 150-161 - [c116]Aditya Dhoke, Binoy Ravindran, Bo Zhang:
On Closed Nesting and Checkpointing in Fault-Tolerant Distributed Transactional Memory. IPDPS 2013: 41-52 - [c115]Aditya Dhoke, Roberto Palmieri, Binoy Ravindran:
On high performance distributed transactional data structures. Middleware Demo & Poster Track 2013: 10:1-10:2 - [c114]Alexandru Turcu, Roberto Palmieri, Binoy Ravindran:
Automated data partitioning for independent distributed transactions. Middleware Demo & Poster Track 2013: 11:1-11:2 - [c113]Sachin Hirve, Roberto Palmieri, Binoy Ravindran:
SMASH: speculative state machine replication in transactional systems. Middleware Demo & Poster Track 2013: 15:1-15:2 - [c112]Sebastiano Peluso, Roberto Palmieri, Francesco Quaglia, Binoy Ravindran:
On the Viability of Speculative Transactional Replication in Database Systems: A Case Study with PostgreSQL. NCA 2013: 143-148 - [c111]Sudhanshu Mishra, Alexandru Turcu, Roberto Palmieri, Binoy Ravindran:
HyflowCPP: A Distributed Transactional Memory Framework for C++. NCA 2013: 219-226 - [c110]Alexandru Turcu, Binoy Ravindran, Roberto Palmieri:
Hyflow2: a high performance distributed transactional memory framework in scala. PPPJ 2013: 79-88 - [c109]Peng Lu, Antonio Barbalace, Binoy Ravindran:
HSG-LM: hybrid-copy speculative guest OS live migration without hypervisor. SYSTOR 2013: 2:1-2:11 - 2012
- [c108]Mohammed El-Shambakey, Binoy Ravindran:
STM concurrency control for embedded real-time software with tighter time bounds. DAC 2012: 437-446 - [c107]Mohamed M. Saad, Mohamed Mohamedin, Binoy Ravindran:
HydraVM: Extracting Parallelism from Legacy Sequential Code Using STM. HotPar 2012 - [c106]Junwhan Kim, Binoy Ravindran:
Scheduling Closed-Nested Transactions in Distributed Transactional Memory. IPDPS 2012: 179-188 - [c105]Jinsan Kwon, Hyeonjoong Cho, Binoy Ravindran:
A framework accommodating categorized multiprocessor real-time scheduling in the RTSJ. JTRES 2012: 18-25 - [c104]Binoy Ravindran:
Challenges in Distributed Real-Time Systems: Scheduling and Synchronization. REACTION 2012 - [c103]Mohammed El-Shambakey, Binoy Ravindran:
STM concurrency control for multicore embedded real-time software: time bounds and tradeoffs. SAC 2012: 1602-1609 - [c102]Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen:
Implementing distributable real-time threads in the Linux kernel: programming interface and scheduling support. SAC 2012: 1771-1778 - [c101]Peng Lu, Binoy Ravindran, Changsoo Kim:
VPC: Scalable, Low Downtime Checkpointing for Virtual Clusters. SBAC-PAD 2012: 203-210 - [c100]Mohamed M. Saad, Binoy Ravindran:
Transactional Forwarding: Supporting Highly-Concurrent STM in Asynchronous Distributed Systems. SBAC-PAD 2012: 219-226 - [c99]Alexandru Turcu, Binoy Ravindran:
On open nesting in distributed transactional memory. SYSTOR 2012: 12 - [c98]Sonal Saha, Binoy Ravindran:
An experimental evaluation of real-time DVFS scheduling algorithms. SYSTOR 2012: 15 - 2011
- [c97]Matthew Dellinger, Piyush Garyali, Binoy Ravindran:
ChronOS Linux: a best-effort real-time multiprocessor Linux kernel. DAC 2011: 474-479 - [c96]Mohamed M. Saad, Binoy Ravindran:
HyFlow: a high performance distributed software transactional memory framework. HPDC 2011: 265-266 - [c95]Bo Jiang, Binoy Ravindran:
Completely Distributed Particle Filters for Target Tracking in Sensor Networks. IPDPS 2011: 334-344 - [c94]Bo Zhang, Binoy Ravindran:
A Quorum-Based Replication Framework for Distributed Software Transactional Memory. OPODIS 2011: 18-33 - [c93]Peng Lu, Binoy Ravindran, Changsoo Kim:
Enhancing the Performance of High Availability Lightweight Live Migration. OPODIS 2011: 50-64 - [c92]Sherif Fadel Fahmy, Binoy Ravindran:
On STM concurrency control for multicore embedded real-time software. ICSAMOS 2011: 1-8 - [c91]Mohamed M. Saad, Binoy Ravindran:
Snake: Control Flow Distributed Software Transactional Memory. SSS 2011: 238-252 - 2010
- [c90]Shouwen Lai, Binoy Ravindran:
On Multihop Broadcast over Adaptively Duty-Cycled Wireless Sensor Networks. DCOSS 2010: 158-171 - [c89]Shouwen Lai, Binoy Ravindran:
On Distributed Time-Dependent Shortest Paths over Duty-Cycled Wireless Sensor Networks. INFOCOM 2010: 1685-1693 - [c88]Bo Zhang, Binoy Ravindran:
Dynamic analysis of the relay cache-coherence protocol for distributed transactional memory. IPDPS 2010: 1-11 - [c87]Piyush Garyali, Matthew Dellinger, Binoy Ravindran:
On Best-Effort Utility Accrual Real-Time Scheduling on Multiprocessors. OPODIS 2010: 270-285 - [c86]Fei Huang, Maleq Khan, Binoy Ravindran:
On Minimizing Average End-to-End Delay in P2P Live Streaming Systems. OPODIS 2010: 459-474 - [c85]Fei Huang, Binoy Ravindran, Maleq Khan:
NAP: An Agent-Based Scheme on Reducing Churn-Induced Delays for P2P Live Streaming. Peer-to-Peer Computing 2010: 1-10 - [c84]Bo Zhang, Binoy Ravindran:
Brief announcement: on enhancing concurrency in distributed transactional memory. PODC 2010: 73-74 - [c83]Bo Zhang, Binoy Ravindran:
Brief announcement: queuing or priority queuing? on the design of cache-coherence protocols for distributed transactional memory. PODC 2010: 75-76 - [c82]Junwhan Kim, Binoy Ravindran:
On Transactional Scheduling in Distributed Transactional Memory Systems. SSS 2010: 347-361 - [c81]Bo Jiang, Binoy Ravindran, Changsoo Kim:
Lightweight Live Migration for High Availability Cluster Service. SSS 2010: 420-434 - 2009
- [c80]Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen:
On bounding response times under software transactional memory in distributed multiprocessor real-time systems. DATE 2009: 688-693 - [c79]Bo Jiang, Binoy Ravindran, Hyeonjoong Cho:
On real-time capacity of event-driven data-gathering sensor networks. MobiQuitous 2009: 1-10 - [c78]Bo Zhang, Binoy Ravindran:
Brief Announcement: Relay: A Cache-Coherence Protocol for Distributed Transactional Memory. OPODIS 2009: 48-53 - [c77]Fei Huang, Binoy Ravindran, Anil Vullikanti:
An Approximation Algorithm for Minimum-Delay Peer-to-Peer Streaming. Peer-to-Peer Computing 2009: 71-80 - [c76]Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen:
Response time analysis of software transactional memory-based distributed real-time systems. SAC 2009: 334-338 - [c75]Shouwen Lai, Binoy Ravindran, Hyeonjoong Cho:
On scheduling soft real-time tasks with lock-free synchronization for embedded devices. SAC 2009: 1685-1686 - [c74]Junwhan Kim, Binoy Ravindran:
Opportunistic real-time routing in multi-hop wireless sensor networks. SAC 2009: 2197-2201 - [c73]Bo Zhang, Binoy Ravindran:
Location-Aware Cache-Coherence Protocols for Distributed Transactional Contention Management in Metric-Space Networks. SRDS 2009: 268-277 - [c72]Bo Jiang, Binoy Ravindran, Hyeonjoong Cho:
CFlood: A Constrained Flooding Protocol for Real-time Data Delivery in Wireless Sensor Networks. SSS 2009: 413-427 - 2008
- [c71]Bo Zhang, Kai Han, Binoy Ravindran, E. Douglas Jensen:
RTQG: Real-Time Quorum-based Gossip Protocol for Unreliable Networks. ARES 2008: 564-571 - [c70]Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen:
Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness. Ada-Europe 2008: 211-225 - [c69]Kai Han, Binoy Ravindran, E. Douglas Jensen:
LRTG: Scheduling Distributed Real-Time Tasks in Unreliable and Untrustworthy Systems. AINA Workshops 2008: 281-287 - [c68]Bo Jiang, Binoy Ravindran, Hyeonjoong Cho:
Energy Efficient Sleep Scheduling in Sensor Networks for Multiple Target Tracking. DCOSS 2008: 498-509 - [c67]Fei Huang, Binoy Ravindran, E. Douglas Jensen:
RT-P2P: A Scalable Real-Time Peer-to-Peer System with Probabilistic Timing Assurances. EUC (1) 2008: 97-103 - [c66]Kai Han, Guanhong Pei, Binoy Ravindran, E. Douglas Jensen:
Real-Time, Byzantine-Tolerant Information Dissemination in Unreliable and Untrustworthy Distributed Systems. ICC 2008: 1727-1731 - [c65]Fei Huang, Kai Han, Binoy Ravindran, E. Douglas Jensen:
Integrated Real-Time Scheduling and Communication with Probabilistic Timing Assurances in Unreliable Distributed Systems. ICECCS 2008: 79-88 - [c64]Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen:
Scheduling Dependent Distributable Real-Time Threads in Dynamic Networked Embedded Systems. DIPES 2008: 171-180 - [c63]Bo Jiang, Kai Han, Binoy Ravindran, Hyeonjoong Cho:
Energy efficient sleep scheduling based on moving directions in target tracking sensor network. IPDPS 2008: 1-10 - [c62]Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen:
On Collaborative Scheduling of Distributable Real-Time Threads in Dynamic, Networked Embedded Systems. ISORC 2008: 485-491 - [c61]Shouwen Lai, Bo Zhang, Binoy Ravindran, Hyeonjoong Cho:
CQS-Pair: Cyclic Quorum System Pair for Wakeup Scheduling in Wireless Sensor Networks. OPODIS 2008: 295-310 - [c60]Bo Zhang, Binoy Ravindran:
SOQ: A Service-Oriented Quorum-Based Protocol for Resilient Real-Time Communication in Partitionable Networks. PRDC 2008: 192-199 - [c59]Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen:
Scheduling distributable real-time threads in the presence of crash failures and message losses. SAC 2008: 294-301 - [c58]Guanhong Pei, Binoy Ravindran, E. Douglas Jensen:
On a Self-Organizing MANET Event Routing Architecture with Causal Dependency Awareness. SASO 2008: 339-348 - [c57]Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen:
On Scalable Synchronization for Distributed Embedded Real-Time Systems. SEUS 2008: 394-405 - [c56]Kai Han, Guanhong Pei, Binoy Ravindran, Hyeonjoong Cho, E. Douglas Jensen:
RTRD: Real-Time and Reliable Data Delivery in Ad Hoc Networks. WCNC 2008: 2253-2258 - [c55]Shouwen Lai, Binoy Ravindran, Hyeonjoong Cho:
Rate Allocation with Lifetime Maximization and Fairness for Data Aggregation in Sensor Networks. WiMob 2008: 1-6 - 2007
- [c54]Jonathan Stephen Anderson, Binoy Ravindran, E. Douglas Jensen:
Consensus-Driven Distributable Thread Scheduling in Networked Embedded Systems. EUC 2007: 247-260 - [c53]Binoy Ravindran, Edward Curley, Jonathan Stephen Anderson, E. Douglas Jensen:
Assured-Timeliness Integrity Protocols for Distributable Real-Time Threads with in Dynamic Distributed Systems. EUC Workshops 2007: 660-673 - [c52]Binoy Ravindran, Edward Curley, E. Douglas Jensen:
On Scheduling Exception Handlers in Dynamic, Embedded Real-Time Systems. ICESS 2007: 510-529 - [c51]Kai Han, Binoy Ravindran, E. Douglas Jensen:
RTMG: Scheduling real-time distributable threads in large-scale, unreliable networks with low message overhead. ICPADS 2007: 1-8 - [c50]Binoy Ravindran, Edward Curley, Jonathan Stephen Anderson, E. Douglas Jensen:
On Best-Effort Real-Time Assurances for Recovering from Distributable Thread Failures in Distributed Real-Time Systems. ISORC 2007: 344-353 - [c49]Kai Han, Binoy Ravindran, E. Douglas Jensen:
Byzantine-Tolerant, Information Propagation in Untrustworthy and Unreliable Networks. NBiS 2007: 207-216 - [c48]Kai Han, Binoy Ravindran, E. Douglas Jensen:
RTG-L: Dependably Scheduling Real-Time Distributable Threads in Large-Scale, Unreliable Networks. PRDC 2007: 314-321 - [c47]Binoy Ravindran, Jonathan Stephen Anderson, E. Douglas Jensen:
On Distributed Real-Time Scheduling in Networked Embedded Systems in the Presence of Crash Failures. SEUS 2007: 67-81 - [c46]Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen:
Synchronization for an optimal real-time scheduling algorithm on multiprocessors. SIES 2007: 9-16 - [c45]Kai Han, Binoy Ravindran, E. Douglas Jensen:
Probabilistic, Real-Time Scheduling of Distributable Threads Under Dependencies in Mobile, Ad Hoc Networks. WCNC 2007: 4307-4312 - 2006
- [c44]Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen:
Lock-free synchronization for dynamic embedded real-time systems. DATE 2006: 438-443 - [c43]Hyeonjoong Cho, Haisang Wu, Binoy Ravindran, E. Douglas Jensen:
On Multiprocessor Utility Accrual Real-Time Scheduling with Statistical Timing Assurances. EUC 2006: 274-286 - [c42]Hyeonjoong Cho, Chewoo Na, Binoy Ravindran, E. Douglas Jensen:
On Scheduling Garbage Collector in Dynamic Real-Time Systems With Statistical Timing Assurances. ISORC 2006: 215-223 - [c41]Chewoo Na, Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen:
Garbage Collector Scheduling in Dynamic, Multiprocessor Real-Time Systems. RTCSA 2006: 101-105 - [c40]Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen:
An Optimal Real-Time Scheduling Algorithm for Multiprocessors. RTSS 2006: 101-110 - [c39]Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen:
On utility accrual processor scheduling with wait-free synchronization for embedded real-time software. SAC 2006: 918-922 - [c38]Haisang Wu, Binoy Ravindran, E. Douglas Jensen:
On bounding energy consumption in dynamic, embedded real-time systems. SAC 2006: 933-934 - [c37]Edward Curley, Jonathan Stephen Anderson, Binoy Ravindran, E. Douglas Jensen:
Recovering from Distributable Thread Failures with Assured Timeliness in Real-Time Distributed Systems. SRDS 2006: 267-276 - 2005
- [c36]Haisang Wu, Binoy Ravindran, E. Douglas Jensen:
Energy-Efficient, Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model. DATE 2005: 474-479 - [c35]Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen:
A Space-Optimal Wait-Free Real-Time Synchronization Protocol. ECRTS 2005: 79-88 - [c34]Binoy Ravindran, E. Douglas Jensen, Peng Li:
On Recent Advances in Time/Utility Function Real-Time Scheduling and Resource Management. ISORC 2005: 55-60 - [c33]Peng Li, Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen:
Stochastic, Utility Accrual Real-Time Scheduling with Task-Level and System-Level Timeliness Assurances. ISORC 2005: 216-223 - [c32]Haisang Wu, Umut Balli, Binoy Ravindran, E. Douglas Jensen:
Utility Accrual Real-Time Scheduling under Variable Cost Functions. RTCSA 2005: 213-219 - [c31]Shahrooz Feizabadi, Binoy Ravindran, E. Douglas Jensen:
MSA: a memory-aware utility accrual scheduling algorithm. SAC 2005: 857-862 - 2004
- [c30]Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Peng Li:
CPU scheduling for statistically-assured real-time performance and improved energy efficiency. CODES+ISSS 2004: 110-115 - [c29]Peng Li, Binoy Ravindran, E. Douglas Jensen:
Adaptive Time-Critical Resource Management Using Time/Utility Functions: Past, Present, and Future. COMPSAC Workshops 2004: 12-13 - [c28]Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Peng Li:
Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems. EMSOFT 2004: 64-73 - [c27]Peng Li, Binoy Ravindran, Hyeonjoong Cho, E. Douglas Jensen:
Scheduling Distributable Real-Time Threads in Tempus Middleware. ICPADS 2004: 187-194 - [c26]Haisang Wu, Binoy Ravindran, E. Douglas Jensen:
On the Joint Utility Accrual Model. IPDPS 2004 - [c25]Karthik Channakeshava, Binoy Ravindran:
On Utility Accrual Real-Time Channel Establishment in Multi-Hop Networks. ISORC 2004: 277-284 - [c24]Haisang Wu, Binoy Ravindran, E. Douglas Jensen:
Utility Accrual Scheduling under Joint Utility and Resource Constraints. ISORC 2004: 307-314 - 2003
- [c23]Binoy Ravindran, Gérard Le Lann, Jinggang Wang, Peng Li:
A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems. ISORC 2003: 105-112 - [c22]Peng Li, Binoy Ravindran, Jinggang Wang, Glenn Konowicz:
Choir: A Real-Time Middleware Architecture Supporting Benefit-Based Proactive Resource Allocation. ISORC 2003: 292-300 - [c21]Shahrooz Feizabadi, William S. Beebee, Binoy Ravindran, Peng Li, Martin C. Rinard:
Utilitiy Accrual Scheduling with Real-Time Java. OTM Workshops 2003: 550-563 - [c20]Jinggang Wang, Binoy Ravindran, Tom L. Martin:
A Power-Aware, Best-Effort Real-Time Task Scheduling Algorithm. WSTFES 2003: 21- - 2002
- [c19]Peng Li, Binoy Ravindran:
Efficiently Tolerating Failures in Asynchronous Real-Time Distributed Systems. HASE 2002: 19-26 - [c18]Tamir Hegazy, Binoy Ravindran:
On Decentralized Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems. HASE 2002: 27-36 - [c17]Binoy Ravindran, Gérard Le Lann, Peng Li:
Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach. HASE 2002: 89-92 - [c16]Jinggang Wang, Binoy Ravindran:
BPA: A Fast Packet Scheduling Algorithm for Real-Time Switched Ethernet Networks. ICPP 2002: 159-166 - [c15]Lakshmi Ramaswamy, Binoy Ravindran:
A Best-Effort Communication Protocol for Real-Time Broadcast Networks. ICPP 2002: 519-526 - 2001
- [c14]Binoy Ravindran, Baoping Zhang:
On Adaptive Communication in Asynchronous Real-Time Distributed Systems. ECBS 2001: 119- - [c13]Binoy Ravindran, Tamir Hegazy:
A Predictive Algorithm for Adaptive Resource Management of Periodic Tasks in Asynchronous Real-Time Distributed Systems. IPDPS 2001: 30 - [c12]Binoy Ravindran, Pushkin Kachroo, Tamir Hegazy:
Adaptive Resource Management in Asynchronous Real-Time Distributed Systems Using Feedback Control Functions. ISADS 2001: 39-46 - [c11]Peng Li, Binoy Ravindran, Tamir Hegazy:
Implementation and evaluation of a best-effort scheduling algorithm in an embedded real-time system. ISPASS 2001: 22-29 - 2000
- [c10]Binoy Ravindran, Stephen H. Edwards:
Palette: A Reuse-Oriented Specification Language for Real-Time Systems. ICSR 2000: 20-40 - 1999
- [c9]Binoy Ravindran:
Quality of Service Management in Distributed Asynchronous Real-Time Systems. Euro-Par 1999: 489-496 - [c8]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:
Distributed, Scalable, Dependable Real-Time Systems: Middleware Services and Applications. IPPS/SPDP 1999: 297-301 - [c7]Behrooz A. Shirazi, Lonnie R. Welch, Binoy Ravindran, Charles Cavanaugh, Barath Yanamula, Russ Brucks, Eui-nam Huh:
DynBench: A Dynamic Benchmark Suite for Distributed Real-Time Systems. IPPS/SPDP Workshops 1999: 1335-1349 - [c6]Lonnie R. Welch, Paul V. Werme, Larry A. Fontenot, Michael W. Masters, Behrooz A. Shirazi, Binoy Ravindran, D. Wayne Mills:
Adaptive QoS and Resource Management using a Posteriori Workload Characterizations. IEEE Real Time Technology and Applications Symposium 1999: 266-275 - 1998
- [c5]Binoy Ravindran, Lonnie R. Welch, Carl Bruggeman, Behrooz A. Shirazi, Charles Cavanaugh:
A Resource Management Model for Dynamic, Scalable, Dependable, Real-Time Systems. IPPS/SPDP Workshops 1998: 931-936 - [c4]Lonnie R. Welch, Binoy Ravindran, Behrooz A. Shirazi, Carl Bruggeman:
Specification and Modeling of Dynamic, Distributed Real-Time Systems. RTSS 1998: 72-81 - 1997
- [c3]Binoy Ravindran, Lonnie R. Welch, Christian Kelling:
Building Distributed Scalable Dependable Real-TimeSystems. ECBS 1997: 452-459 - 1996
- [c2]Binoy Ravindran, Lonnie R. Welch:
Exploiting parallelism in high performance embedded system scheduling. HiPC 1996: 400-405 - 1995
- [c1]Lonnie R. Welch, Binoy Ravindran, Jorge Henriques, Dieter K. Hammer:
Metrics and techniques for automatic partitioning and assignment of object-based concurrent programs. SPDP 1995: 440-447
Parts in Books or Collections
- 2015
- [p2]Roberto Palmieri, Sebastiano Peluso, Binoy Ravindran:
Transaction Execution Models in Partially Replicated Transactional Memory: The Case for Data-Flow and Control-Flow. Transactional Memory 2015: 341-366 - 2010
- [p1]Guanhong Pei, Binoy Ravindran:
Event-Based System Architecture in Mobile Ad Hoc Networks (MANETs). Principles and Applications of Distributed Event-Based Systems 2010: 346-368
Editorship
- 2012
- [e2]Roberto Baldoni, Paola Flocchini, Binoy Ravindran:
Principles of Distributed Systems, 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings. Lecture Notes in Computer Science 7702, Springer 2012, ISBN 978-3-642-35475-5 [contents] - 1999
- [e1]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:
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. Lecture Notes in Computer Science 1586, Springer 1999, ISBN 3-540-65831-9 [contents]
Reference Works
- 2015
- [r1]Junwhan Kim, Roberto Palmieri, Binoy Ravindran:
On Scheduling in Distributed Transactional Memory: Techniques and Tradeoffs. Handbook on Data Centers 2015: 1267-1283
Data and Artifacts
- 2023
- [d2]Ho-Ren Chuang, Karim Manaouil, Tong Xing, Antonio Barbalace, Pierre Olivier, Balvansh Heerekar, Binoy Ravindran:
Aggregate VM: Why Reduce or Evict VM's Resources When You Can Borrow Them From Other Nodes? Zenodo, 2023
- [d1]Daniel Engel, Freek Verbeek, Binoy Ravindran:
BIRD: A Binary Intermediate Representation for formally verified Decompilation of x86-64 binaries. Zenodo, 2023
Informal and Other Publications
- 2024
- [i14]Jaidev Shastri, Xiaoguang Wang, Basavesh Ammanaghatta Shivakumar, Freek Verbeek, Binoy Ravindran:
HMTRace: Hardware-Assisted Memory-Tagging based Dynamic Data Race Detection. CoRR abs/2404.19139 (2024) - 2022
- [i13]Ruslan Nikolaev, Binoy Ravindran:
wCQ: A Fast Wait-Free Queue with Bounded Memory Usage. CoRR abs/2201.02179 (2022) - [i12]Ruslan Nikolaev, Hassan Nadeem, Cathlyn Stone, Binoy Ravindran:
Adelie: Continuous Address Space Layout Re-randomization for Linux Drivers. CoRR abs/2201.08378 (2022) - [i11]Balaji Arun, Binoy Ravindran:
Scalable Byzantine Fault Tolerance via Partial Decentralization. CoRR abs/2202.13408 (2022) - [i10]Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran:
Reachability Logic for Low-Level Programs. CoRR abs/2204.00076 (2022) - 2021
- [i9]Ruslan Nikolaev, Binoy Ravindran:
Crystalline: Fast and Memory Efficient Wait-Free Reclamation. CoRR abs/2108.02763 (2021) - [i8]Edson Horta, Ho-Ren Chuang, Naarayanan Rao VSathish, Cesar Philippidis, Antonio Barbalace, Pierre Olivier, Binoy Ravindran:
Xar-Trek: Run-time Execution Migration among FPGAs and Heterogeneous-ISA CPUs. CoRR abs/2110.14751 (2021) - 2020
- [i7]Ruslan Nikolaev, Binoy Ravindran:
Universal Wait-Free Memory Reclamation. CoRR abs/2001.01999 (2020) - [i6]Ruslan Nikolaev, Mincheol Sung, Binoy Ravindran:
LibrettOS: A Dynamically Adaptable Multiserver-Library OS. CoRR abs/2002.08928 (2020) - [i5]Balaji Arun, Binoy Ravindran:
DuoBFT: Resilience vs. Efficiency Trade-off in Byzantine Fault Tolerance. CoRR abs/2010.01387 (2020) - 2019
- [i4]Balaji Arun, Sebastiano Peluso, Binoy Ravindran:
Spectrum: A Framework for Adapting Consensus Protocols. CoRR abs/1902.05873 (2019) - [i3]Balaji Arun, Sebastiano Peluso, Binoy Ravindran:
ezBFT: Decentralizing Byzantine Fault-Tolerant State Machine Replication. CoRR abs/1904.06023 (2019) - [i2]Ruslan Nikolaev, Binoy Ravindran:
Hyaline: Fast and Transparent Lock-Free Memory Reclamation. CoRR abs/1905.07903 (2019) - 2017
- [i1]Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran:
Speeding up Consensus by Chasing Fast Decisions. CoRR abs/1704.03319 (2017)
Coauthor Index
[j32] [j31] [j30] [j28] [j27] [j25] [j24] [j23] [j22] [j21] [j20] [j19] [j18] [j8] [c102] [c80] [c76] [c71] [c70] [c69] [c67] [c66] [c65] [c64] [c62] [c59] [c58] [c57] [c56] [c54] [c53] [c52] [c51] [c50] [c49] [c48] [c47] [c46] [c45] [c44] [c43] [c42] [c41] [c40] [c39] [c38] [c37] [c36] [c35] [c34] [c33] [c32] [c31] [c30] [c29] [c28] [c27] [c26] [c24]
[j50] [j46] [j44] [j43] [j42] [j41] [j40] [j39] [c166] [c164] [c159] [c156] [c155] [c154] [c153] [c152] [c150] [c149] [c147] [c146] [c145] [c144] [c142] [c141] [c140] [c137] [c136] [c135] [c134] [c133] [c132] [c131] [c130] [c129] [c127] [c126] [c125] [c122] [c121] [c120] [c118] [c117] [c115] [c114] [c113] [c112] [c111] [c110] [p2] [r1] [i1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-06 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
