New paper evaluating the use of Optane Data Center Persistent Memory Module (DCPMM) for scientific computing on high-performance machines has been accepted to Fault Tolerance for HPC at eXtreme Scale (FTXS 2021).
The paper was recently featured in HPCWire.
My keynote at SRDS 2021 on “Preserving hyperproperties when using concurrent objects” is on Youtube.
The paper “Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers”, with Constantin Enea and Jennifer Welch appeared in DISC 2021 (see https://arxiv.org/abs/2105.06614). DISC pre-recorded talk
A related paper is https://arxiv.org/abs/2106.15554.
Ask Me Anything in EuroSys 2021, on Wednesday, April 28, at 14:30 BST. Youtube video
Our paper “Specification and space complexity of collaborative text editing” (previously published in PODC 2016) appeared in Theoretical Computer Science. link open link for 50 days
Two papers accepted to OPODIS 2020:
The paper “Tracking in Order to Recover – Detectable Recovery of Lock-Free Data Structures”, by Hagit Attiya, Ohad Ben-Baruch, Panagiota Fatourou, Danny Hendler, and Eleftherios Kosmas, appeared as brief announcement in SPAA 2020.
Long version on arxiv.
The proceedings for DISC 2020 are now published by LIPIcs.
The paper Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement, by Hagit Attiya, Sweta Kumari, Archit Somani and Jennifer Welch, appeared in SSS 2020. Longer version on arxiv.
Also brief announcement in PODC 2020 (recorded talk by Jennifer).
Two papers virtually published in NETYS 2020 (with online presentations):
- Parwat Singh Anjana, Hagit Attiya, Sweta Kumari, Sathya Peri and Archit Somani. Efficient Concurrent Execution of Smart Contracts in Blockchains using Object-based Transactional Memory (Video Link)
- Eleni Kanellou, Hagit Attiya, Panagiota Fatourou and Sandeep Hans. Staleness and Local Progress in Transactional Memory (Video Link)