Research

Main Topics

  • Distributed Computing
  • Concurrency
  • Distributed Synchronization
  • Multicore and NUMA Synchronization
  • Software and Hardware Transactional Memory
  • Concurrent and Transactional Data Structures
  • Distributed Transactions
  • Transactional Systems
  • Distributed Database
  • Fault-Tolerance and Replication
  • Geographic Replication
  • Consensus
My publications Google Scholar page DBLP page

Research Sponsors

  • National Science Foundation (NSF) - CNS Division
  • Air Force Office of Scientific Research (AFOSR)

Postdoc Advisement

  • Dr. Ahmed Hassan (co-supervised with Prof. Mike Spear)

Student Advisement

  • Ph.D.
    • Masoomeh Kishi - Distributed Transactions; Correctness; Fault Tolerance
    • Jacob Nelson - Systems; Distributed Transactions; Advanced Synchronization Primitives; GPU Synchronization
  • MS
    • Paul Grocholske - RDMA-based Distributed Systems
  • BS
    • Luke Bernick - Complexity of Concurrent Programs
    • dePaul Miller- Synchronizaion on GPU
    • Thomas Salemy - Advanced Lock-based Synchronization for Data Structures
    • Athicha Srivirote - In-memory Databases

Past Student Advisement

  • Ph.D.
    • Mohamed Saad (Automatic Code Parallelization). Now Assistant Professor at Alexandria University, Egypt
    • Sachin Hirve (Speculative State-Machine Replication). Now at MathWorks, Natick, MA, USA
    • Ahmed Hassan (Transactional Data Structures and Low-Overhead STM Protocols). Now is a Postdoctoral Research Associate at Virginia Tech, Blacksburg, VA, USA
    • Mohamed Mohamedin (HTM Protocols and Fault Tolerant STM)<. Now at Alexandria University, Egypt
    • Junwhan Kim (Scheduling Memory Transactions in Distributed Systems). Now at University of District of Columbia, Washington DC, USA
    • Alexandru Turcu (Independent Transactions and Geo-Replicated Transactional Protocols). Now at Google, NY, USA
  • M.S.
    • Zhanhao Chen (Scheduling Hardware Transactions)
    • Shihao Jing (Ordered Transactions)
    • Michael Embick (GCC Extensions).
    • Utkarsh Pandey (Deferred Update Replication). Now at Hughes Network Systems, Washington D.C., USA
    • Duane Niles (Parallel Activation of Nested Transactions). Now at Bloomberg, NY, USA
    • Sree Ram Mohanan (Locality Aware Partial Replication Systems)
    • Aditya Dhoke (On Partial Aborts and Reducing Validation Costs in Fault-tolerant Distributed Transactional Memory). Now at Juniper Networks, Inc., Sunnyvale, CA, USA
  • B.S.
    • Henry Daly - Concurrent Data Structures for Modern Architectures.

Participation in Technical Committees of International Conferences/Journal

- IEEE Transactions on Knowledge and Data Engineering (IEEE TKDE);
- IEEE Transactions on Dependable and Secure Computing (IEEE TDSC);
- IEEE Transaction on Computers (IEEE TC);
- IEEE Transaction on Parallel and Distributed Systems (IEEE TPDS);
- IEEE Transactions on Services Computing (IEEE TSC);

- IEEE NCA 2019; (reviewer)
- ACM PODC 2019; (sub-reviewer)
- IEEE ICDCS 2019; (sub-reviewer)
- ACM PaPoC 2019; (reviewer)
- ACM SYSTOR 2019; (reviewer)
- ACM PPoPP 2018; (Extended Review Committee)
- ACM Eurosys 2018; (sub-reviewer)
- ACM PaPoC 2018; (reviewer)
- ACM PODC 2018; (reviewer)
- IEEE NCA 2017; (reviewer)
- ACM SPAA 2017; (sub-reviewer)
- ACM PODC 2017; (sub-reviewer)
- ACM PaPoC 2017; (reviewer)
- ACM SIGPLAN TRANSACT 2017; (reviewer)
- IEEE DPDNS 2017; (reviewer)
- OPODIS 2016; (reviewer)
- ACM SIGPLAN TRANSACT 2016; (reviewer)
- IEEE NCA 2015; (reviewer)
- ACM/IFIP/USENIX Middleware 2015; (sub-reviewer)
- ACM SIGPLAN TRANSACT 2015; (sub-reviewer)
- ACM PODC 2015; (sub-reviewer)
- OPODIS 2014; (sub-reviewer)
- DISC 2014; (sub-reviewer)
- ACM Systor 2014; (sub-reviewer)
- Euro-Par 2014; (sub-reviewer)
- DEPEND 2014; (reviewer)
- IEEE CloudComp 2013; (reviewer)
- IEEE SCC 2013; (reviewer)
- DEPEND 2013; (reviewer)
- NCCA 2012; (reviewer)