Using Nesting to Push the Limits of Transactional Data Structure Libraries
- Gal Assa
- Hagar Meir
- et al.
- 2021
- OPODIS 2021
Conference paper
Publications
22 results for Idit Keidar
Brief announcement: Using nesting to push the limits of transactional data structure libraries
- Gal Assa
- Hagar Meir
- et al.
- 2021
- DISC 2021
Conference paperOak: A scalable off-heap allocated key-value map
- Hagar Meir
- Dmitry Basin
- et al.
- 2020
- PPoPP 2020
Conference paperNesting and composition in transactional data structure libraries
- Gal Assa
- Hagar Meir
- et al.
- 2020
- PPoPP 2020
Conference paperWatchIT: Who Watches Your IT Guy?
- Noam Shalev
- Idit Keidar
- et al.
- 2017
- SOSP 2017
Conference paperWatchIT: Who watches your IT guy?
- Noam Shalev
- Idit Keidar
- et al.
- 2016
- MIST 2016
Conference paperCSR: Core surprise removal in commodity operating systems
- Noam Shalev
- Eran Harpaz
- et al.
- 2016
- ASPLOS 2016
Conference paperTolerant value speculation in coarse-grain streaming computations
- Nathaniel Azuelos
- Idit Keidar
- et al.
- 2011
- IPDPS 2011
Conference paperFail-aware untrusted storage
- Christian Cachin
- Idit Keidar
- et al.
- 2011
- SIAM Journal on Computing
PaperVenus: Verification for untrusted cloud storage
- Alexander Shraer
- Christian Cachin
- et al.
- 2010
- CCS 2010
Workshop paper