2024

• Yaodong Sheng, Ahmed Hassan, Michael Spear
  Transactional Data Structures with Orthogonal Metadata,
  ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2025, Las Vegas, Nevada.
• Tigran Bantikyan, Jonathan Zarnstorff, Te-Yen Chou, Lewis Tseng, Roberto Palmieri
  Pineapple: Unifying Multi-Paxos and Atomic Shared Registers,
  22nd USENIX Symposium on Networked Systems Design and Implementation, NSDI 2025.
• Amanda Baran, Jacob Nelson-Slivon, Lewis Tseng, Roberto Palmieri
  ALock: Asymmetric Lock Primitive for RDMA Systems
  The 36th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA, June 17-21, 2024, Nantes, France.
• dePaul Miller, Ahmed Hassan, Roberto Palmieri
  Brief Announcement: LIT: Lookup Interlocked Table for Range Queries
  The 36th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA, June 17-21, 2024, Nantes, France.
• Jacob Nelson-Slivon, Reilly Yankovich, Ahmed Hassan, Roberto Palmieri
  Brief Announcement: ROMe: Wait-free Objects for RDMA
  The 36th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA, June 17-21, 2024, Nantes, France.
• dePaul Miller, Henry F. Korth, Roberto Palmieri
  POSTER – OCToPus: Semantic-aware Concurrency Control for Blockchain Transactions
  The 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, PPoPP, March 2-6, 2024.

2023

• Yaodong Sheng, Ahmed Hassan, Michael Spear
  Separating Mechanism from Policy in STM
  The 32nd International Conference on Parallel Architectures and Compilation Techniques, PACT, October 21–25, 2023, Vienna, Austria
• Vitaly Aksenov, Michael Anoprenko, Alexander Fedorov, Michael Spear
  Brief Announcement: BatchBoost: Universal Batching for Concurrent Data Structures
  The 37th International Symposium on Distributed Computing, DISC, October 9-13, 2023, L’Aquila, Italy
• Stephen Thomas, Erin Carson, Miro Rozlozik, Arielle Carr, Kasia Świrydowicz
  Iterated Gauss-Seidel GMRES
  SIAM Journal on Scientific Computing.
• T. Derei, B. Aulenbach, V. Carolino, C. Geren, M. Kaufman, J. Klein, R. Islam Shantho, and H. F. Korth
  Scaling Zero-Knowledge to Verifiable Databases
  Workshop on Verifiable Database Systems, VDBS, June, 2023.
• K. Ren, J. F. B. Van Buskirk, Z. Y. Ang, S. Hou, N. R. Cable, M. Monares, H. F. Korth, and D. Loghin
  BBSF: Blockchain Benchmarking Standardized Framework
  Workshop on Verifiable Database Systems, VDBS, June, 2023.
• Lewis Tseng, Neo Zhou, Cole Dumas, Tigran Bantikyan, Roberto Palmieri
  Distributed Multi-writer Multi-reader Atomic Register with Optimistically Fast Read and Write
  The 35th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA, June 16-19, 2023, Orlando, Florida, USA.
• Ajay Singh, Trevor Brown and Michael Spear
  Efficient Hardware Primitives for Immediate Memory Reclamation in Optimistic Data Structures
  The 37th IEEE International Parallel & Distributed Processing Symposium, IPDPS, May 15-19, 2023, St. Petersburg, Florida USA.
• Olivia Grimes, Jacob Nelson-Slivon, Ahmed Hassan and Roberto Palmieri
  Opportunities and Limitations of Hardware Timestamps in Concurrent Data Structures
  The 37th IEEE International Parallel & Distributed Processing Symposium, IPDPS, May 15-19, 2023, St. Petersburg, Florida USA.
• Arielle Carr, Eric de Sturler, Mark Embree
  Analysis of GMRES for Low-Rank and Small-Norm Perturbations of the Identity Matrix
  Proceedings in Applied Mathematics and Mechanics, 2023.

2022

• Eric Enouen, Katja Mathesius, Sean Wang, Arielle Carr, Sihong Xie
  Efficient First-Order Predictor-Corrector Multiple Objective Optimization for Fair Misinformation Detection
  IEEE International Conference on Big Data, Big Data, December 17-20, 2022, Osaka, Japan.
• Sean Wang, Arielle Carr, Sihong Xie
  A Predictor-Corrector Method for Multi-objective Optimization in Fair Machine Learning
  REU Symposium, IEEE/ACM International Conference on Big Data Computing, Applications, and Technologies, BDCAT, December 6-9, 2022, Vancouver, WA, USA.
• Mohammadhossein Mohammadisiahroudi, Zeguan Wu, Brandon Augustino, Arielle Carr, Tamás Terlaky
  Quantum-enhanced Regression Analysis Using State-of-the-art QLSAs and QIPMs
  IEEE/ACM 7th Symposium on Edge Computing, SEC, December 5-8, 2022, Seattle, WA, USA.
• Jacob Nelson-Slivon, Lewis Tseng and Roberto Palmieri
  Brief Announcement: Asymmetric Mutual Exclusion for RDMA
  The 36th International Symposium on Distributed Computing, DISC, October 25-27, 2022.
• Jacob Nelson-Slivon, Ahmed Hassan, Roberto Palmieri
  Bundled References: An Abstraction for Highly-Concurrent Linearizable Range Queries
  The 27th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, PPoPP, April 2-6, 2022.

2021

• Arielle Carr, Eric de Sturler, Serkan Gugercin
  Preconditioning Parametrized Linear Systems
  SIAM Journal on Scientific Computing.
• Haochen Pan, Jesse Tuglu, Neo Zhou, Tianshu Wang, Yicheng Shen, Xiong Zheng, Joseph Tassarotti, Lewis Tseng, Roberto Palmieri
  Rabia: Simplifying State-Machine Replication Through Randomization
  The 28th ACM Symposium on Operating Systems Principles, SOSP, October 25-28, 2021. Virtual Conference.
  
• dePaul Miller, Jacob Nelson, Ahmed Hassan, Roberto Palmieri
  KVCG: A Heterogeneous Key-Value Store for Skewed Workloads
  The 14th ACM International System and Storage Conference, SYSTOR, June 14-16, 2021. Virtual Conference.
• Masoomeh Javidi Kishi, Roberto Palmieri
  FW-KV: Improving Read Guarantees in PSI
  The 22nd ACM/IFIP International Conference, Middleware, 6-10 December, 2021, Québec City, Québec, Canada.
• Yaodong Sheng, Ahmed Hassan, and Michael Spear
  Brief Announcement: Semantic Conflict Detection for Transactional Data Structure Libraries
  The Proceedings of the 33th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA, July 6-8, 2021. Virtual Conference.
• Abhishek Singh, Shail Dave, PanteA Zardoshti, Robert Brotzman, Chao Zhang, Xiaochen Guo, Aviral Shrivastava, Gang Tan, Michael Spear
  SPX64: A Scratchpad Memory for General-Purpose Microprocessors
  ACM Transactions on Architecture and Code Optimization, TACO, 2021.
• Matthew Rodriguez, Ahmed Hassan, and Michael Spear
  Exploiting Locality in Scalable Ordered Maps
  The Proceedings of the 41st IEEE International Conference on Distributed Computing Systems, ICDCS, July 7-10, 2021. Virtual Conference.
• Jacob Nelson, Ahmed Hassan, Roberto Palmieri
  Bundled References: An Abstraction for Highly-Concurrent Linearizable Range Queries
  The 26th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, PPoPP, Poster Paper, February 27 – Mar 3, 2021.
• Kevin Williams, Joe Foster, Athicha Srivirote, Ahmed Hassan, Joseph Tassarotti, Lewis Tseng and Roberto Palmieri
  On Building Modular and Elastic Data Structures with Bulk Operations
  The 22nd International Conference on Distributed Computing and Networking, ICDCN, Poster Paper, January 5 – 8, 2021.

2020

• Jacob Nelson, Roberto Palmieri
  Performance Evaluation of the Impact of NUMA on One-sided RDMA Interactions
  The 39th International Symposium on Reliable Distributed Systems, SRDS, September 21-24, 2020, Virtual Conference.
• Matthew Rodriguez, Ahmed Hassan, and Michael Spear
  Exploiting Locality in Scalable Ordered Maps
  The Proceedings of the 29th International Conference on Parallel Architectures and Compilation Techniques, PACT, Poster Paper, October 3-7 2020. Virtual Conference.
• Matthew Rodriguez and Michael Spear
  Optimizing Linearizable Bulk Operations on Data Structures
  The 49th International Conference on Parallel Processing, ICPP, August 17-20, 2020. Virtual Conference.
• Matthew Rodriguez and Michael Spear
  Brief Announcement: On Implementing Software Transactional Memory in the C++ Memory Model
  In Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing, PODC, August 3-6, 2020. Virtual Conference.
• Chao Zhang, Yuan Zeng, John Shalf, and Xiaochen Guo
  RnR: A Software-Assisted Record-and-Replay Hardware Prefetcher
  The 53th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO, October 17–21, 2020, Athens, Greece.
• Jacob Nelson, Roberto Palmieri
  On the Performance Impact of NUMA on One-sided RDMA Interactions
  The 40th IEEE International Conference on Distributed Computing Systems, ICDCS, Poster Paper, July 8-10, 2020, Singapore.
• Masoomeh Javidi Kishi, Roberto Palmieri
  On Reading Fresher Snapshots in Parallel Snapshot Isolation
  The 40th IEEE International Conference on Distributed Computing Systems, ICDCS, Poster Paper, July 8-10, 2020, Singapore.
• Jacob Nelson, dePaul Miller, Roberto Palmieri
  Don’t Forget About Synchronization! Guidelines for Using Locks on GPU
  Concurrency and Computation: Practice and Experience journal, CCPE, 2020.
• Pantea Zardoshti, Michael Spear, Aida Vousoghi, Garret Swart
  Understanding and Improving Persistent Transactions on Optane DC Memory
  The 34th IEEE International Parallel & Distributed Processing Symposium, IPDPS, May 18-22, 2020, New Orleans, Louisiana, USA.
• Chao Zhang, Yuan Zeng, Xiaochen Guo
  Scrabble: A Fine-­Grained Cache with Adaptive Merged Block
  IEEE Transactions on Computers, IEEE TC, 2020.

2019

• Zhanhao Chen, Ahmed Hassan, Masoomeh Javidi Kishi, Jacob Nelson, Roberto Palmieri
  HaTS: Hardware-assisted Transaction Scheduler
  The 23st International Conference on Principles of Distributed Systems, OPODIS, December 17-19, 2019, Neuchatel, Switzerland.
• Pantea Zardoshti, Tingzhe Zhou, Yujie Liu, Michael Spear
  Optimizing Persistent Memory Transactions
  The 28th International Conference on Parallel Architectures and Compilation Techniques, PACT, September 23 – 26, 2019, Seattle, WA, USA.
• Henry F. Korth
  Consensus in Enterprise and Financial Blockchains: Assumptions and Challenges
  The 1st Workshop on Blockchain and Distributed Ledger, BCDL, August 30, 2019, Los Angeles, California, USA.
• Hesam Shabani and Xiaochen Guo
  ClusCross: A New Topology for Silicon Interposer-Based Network-on-Chip
  The 13th IEEE/ACM International Symposium on Networks-on-Chip, NOCS, October 17-18, 2019, New York, USA.
• Masoomeh Javidi Kishi, Ahmed Hassan, Roberto Palmieri
  Brief Announcement: On the Correctness of Transaction Processing with External Dependency
  The 33rd International Symposium on Distributed Computing, DISC, October 14-18, 2019, Budapest, Hungary.
• Tingzhe Zhou, Maged Michael, and Michael Spear
  A Practical, Scalable, Relaxed Priority Queue
  The 48th International Conference on Parallel Processing, ICPP, August 5-8, 2019, Kyoto Research Park, Kyoto, Japan.
• Pantea Zardoshti, Tingzhe Zhou, Pavithra Balaji, Michel L. Scott, Michael Spear
  Simplifying Transactional Memory Support in C++
  ACM Transactions on Architecture and Code Optimization, TACO, HiPEAC, January 20-22, 2020, Bologna, Italy.
• Masoomeh Javidi Kishi, Sebastiano Peluso, Hank Korth, Roberto Palmieri
  SSS: Scalable Key-Value Store with External Consistent and Abort-free Read-only Transactions
  The 39th IEEE International Conference on Distributed Computing Systems, ICDCS, July 7-10, 2019, Dallas, TX, USA.
• Tingzhe Zhou, Pantea Zardoshti, Michael Spear
  Brief Announcement: Optimizing Persistent Transactions
  The 31st ACM Symposium on Parallelism in Algorithms and Architectures, SPAA, June 22-24, 2019, Phoenix, AZ, USA.
• Jacob Nelson, Roberto Palmieri
  Understanding RDMA Behavior in NUMA Systems
  The 2019 Edition of the International Symposium on Code Generation and Optimization, CGO, Student Research Competition, 2019.
• Mohamed Saad, Roberto Palmieri, Binoy Ravindran
  Lerna: Parallelizing Dependent Loops Using Speculation
  ACM Transactions on Storage, ACM ToS, 2019.
• Jacob Nelson, Roberto Palmieri
  Don’t Forget About Synchronization! A Case Study of K-Means on GPU
  The 10th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM, February 17, 2019, Washington DC, USA.
• Mohamed M. Saad, Masoomeh Javidi Kishi, Shihao Jing, Sandeep Hans, Roberto Palmieri
  Processing Transactions in a Predefined Order
  The 24th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, PPoPP, February 16-20, 2019, Washington DC, USA.

2018

• Henry Daly, Ahmed Hassan, Michael Spear, Roberto Palmieri
  NUMASK: High Performance Scalable Skip List for NUMA
  The 32nd International Symposium on Distributed Computing, DISC, October 15-19, 2018, New Orleans, Louisiana, USA.
• Pantea Zardoshti, Michael Spear
  Universal Support for Scoped Memory Access Instrumentation
  The 2019 Edition of the Grace Hopper Celebration, GHC, September 26-28, 2018, Houston, Texas, USA.
• Mohamed Mohamedin, Sebastiano Peluso, Masoomeh Javidi Kishi, Ahmed Hassan, Roberto Palmieri
  Nemo: NUMA-aware Concurrency Control for Scalable Transactional Memory
  The 47th International Conference on Parallel Processing, ICPP, August 13-16, 2018, Eugene, Oredon, USA.
• Pantea Zardoshti, Michael Spear
  Lightweight Language-Level Support for Transactional Memory
  The 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI, June 18 – 22, 2018, Philadelphia, PA, USA.
• Mohamed Saad, Roberto Palmieri, Binoy Ravindran
  Lerna: Parallelizing Dependent Loops Using Speculation
  The 11th ACM International Systems and Storage Conference, SYSTOR, June 4-6, 2018, Haifa, Israel. Best Paper Award

2017

• Tingzhe Zhou, Victor Luchangco, Michael Spear
  Extending Transactional Memory with Atomic Deferral
  The 21st International Conference on Principles of Distributed Systems, OPODIS, December 18 – 20, 2017, Liston, Portugal.
• Mohamed Mohamedin, Masoomeh Javidi Kishi , Roberto Palmieri
  Shield: a Middleware to Tolerate CPU Transient Faults in Multicore Architectures
  16th IEEE International Symposium on Network Computing and Applications, NCA, October 30 – November 1, 2017, Boston, USA.
• Louis Jenkins, Tingzhe Zhou, Michael Spear
  Redesigning Go’s Built-In Map to Support Concurrent Operations
  The 26th International Conference on Parallel Architectures and Compilation Techniques, PACT, September 9 – 13, 2017, Portland, Oregon, USA.
• Tingzhe Zhou, Pantea Zardoshti, Michael Spear
  Practical Experience with Transactional Lock Elision
  The 46th International Conference on Parallel Processing, ICPP, August 14 – 17, 2017, Bristol, UK.
• Tingzhe Zhou, Victor Luchangco, Michael Spear
  Brief Announcement: Extending Transactional Memory with Atomic Deferral
  The 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA, July 24 – 26, 2017, Washington D.C., USA.
• Tingzhe Zhou, Victor Luchangco, Michael Spear
  Hand-Over-Hand Transactions with Precise Memory Reclamation
  The 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA, July 24 – 26, 2017, Washington D.C., USA.
• Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran
  Speeding up Consensus by Chasing Fast Decisions
  47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN, June 26-29, 2017, Denver, CO, USA.

2016

• Xiaochen Guo, Aviral Shrivastava, Michael Spear, Gang Tan
  Languages Must Expose Memory Heterogeneity
  The 2nd International Symposium on Memory Systems, MemSys, October 4 – 6, 2016, Alexandria, Virginia, USA.
• Sandeep Hans, Ahmed Hassan, Roberto Palmieri, Sebastiano Peluso, Binoy Ravindran
  Opacity vs TMS2: Expectations and Reality
  30th International Symposium on Distributed Computing, DISC, September 26 – 30, 2016, Paris, France.
• Adam Schaub, Michael Spear
  Towards Migrating Computation to Distributed Memory Caches
  The International Workshop on Distributed Cloud Computing, DCC, co-located with PODC 2016, July 25, 2016, Chicago, Illinous, USA.
• Sebastiano Peluso, Alexandru Turcu, Roberto Palmieri, Giuliano Losa, Binoy Ravindran
  Making Fast Consensus Generally Faster
  46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN, June 28 – July 1, 2016, Toulouse, France.
• Duane Niles, Roberto Palmieri, Binoy Ravindran
  Exploiting Parallelism of Distributed Nested Transactions
  The 9th ACM International Systems and Storage Conference, SYSTOR, June 6-8, 2016, Haifa, Israel.
• Mohamed Saad, Roberto Palmieri, Ahmed Hassan, Binoy Ravindran
  Extending TM Primitives using Low Level Semantics
  The 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA, July 11 – 13, 2016, Asilomar State Beach, California, USA.
• Chao Wang, Michael Spear
  Practical Condition Synchronization for Transactional Memory
  The 11th European Conference on Computer Systems, EuroSys, April 18 – 21, 2016, London, UK
• Tingzhe Zhou, Michael Spear
  The Mimir Approach to Transactional Output
  The 11th ACM SIGPLAN Workshop on Transactional Computing, TRANSACT, March 12, 2016, Barcelona, Spain
• Mohamed Saad, Roberto Palmieri, Binoy Ravindran
  Lerna: Transparent and Effective Speculative Loop Parallelization
  The 11th ACM SIGPLAN Workshop on Transactional Computing, TRANSACT, March 12, 2016, Barcelona, Spain
• Mohamed Saad, Roberto Palmieri, Ahmed Hassan, Binoy Ravindran
  On Extending TM Primitives using Low Level Semantics
  The 11th ACM SIGPLAN Workshop on Transactional Computing, TRANSACT, March 12, 2016, Barcelona, Spain
• Mohamed Mohamedin, Roberto Palmieri, Sebastiano Peluso, Binoy Ravindran
  On Designing NUMA-Aware Concurrency Control for Scalable Transactional Memory
  The 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP, Poster paper, March 12-16, 2016, Barcelona, Spain.
• Mohamed Saad, Roberto Palmieri, Binoy Ravindran
  On Ordering Transaction Commit
  The 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP, Poster paper, March 12-16, 2016, Barcelona, Spain.