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
2020 – today
- 2024
[j56]Jos Craaijo
, Freek Verbeek, Binoy Ravindran:
libLISA: Instruction Discovery and Analysis on x86-64. Proc. ACM Program. Lang. 8(OOPSLA2): 333-361 (2024)- [j55]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) - [j54]Pierre Olivier, A. K. M. Fazla Mehrab, Sandeep Errabelly, Stefan Lankes, Mohamed Lamine Karaoui, Robert Lyerly, Sang-Hoon Kim, Antonio Barbalace, Binoy Ravindran:
HEXO: Offloading Long-Running Compute- and Memory-Intensive Workloads on Low-Cost, Low-Power Embedded Systems. IEEE Trans. Cloud Comput. 12(4): 1415-1432 (2024) - [c217]Freek Verbeek, Nico Naus, Binoy Ravindran:
Verifiably Correct Lifting of Position-Independent x86-64 Binaries to Symbolized Assembly. CCS 2024: 2786-2798 - [c216]Nico Naus, Freek Verbeek, Sagar Atla, Binoy Ravindran:
Poster: Formally Verified Binary Lifting to P-Code. CCS 2024: 4973-4975 - [c215]Joshua A. Bockenek, Freek Verbeek, Binoy Ravindran:
Exceptional Interprocedural Control Flow Graphs for x86-64 Binaries. DIMVA 2024: 3-22 - [c214]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 - [c213]Sengming Yeoh, Xiaoguang Wang, Jae-Won Jang, Binoy Ravindran:
sMVX: Multi-Variant Execution on Selected Code Paths. Middleware 2024: 62-73 - [c212]Daniel Engel, Freek Verbeek, Binoy Ravindran:
On the Decidability of Disassembling Binaries. TASE 2024: 127-145 - [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) - 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 - [d3]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
- [d2]Daniel Engel, Freek Verbeek, Binoy Ravindran:
BIRD: A Binary Intermediate Representation for formally verified Decompilation of x86-64 binaries. Zenodo, 2023 - [d1]Abhijit Mahurkar, Xiaoguang Wang, Hang Zhang, Binoy Ravindran:
DynaCut: Dynamic and Adaptive Code Customization with Process Rewriting. Zenodo, 2023 - 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) - [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 - [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
- [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) - [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 - [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
- [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 - [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)
2010 – 2019
- 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) - [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 - [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) - 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) - [c166]Mohamed M. Saad, Roberto Palmieri, Binoy Ravindran:
Lerna: Parallelizing Dependent Loops Using Speculation. SYSTOR 2018: 37-48 - 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) - [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 - [i1]Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran:
Speeding up Consensus by Chasing Fast Decisions. CoRR abs/1704.03319 (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) - [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
- [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) - [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 - [p2]