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)

Student Advisement

Ph.D.

Masoomeh Kishi - Distributed Transactions; Correctness; Fault Tolerance
Jacob Nelson - Systems; Distributed Transactions; Advanced Synchronization Primitives; GPU Synchronization

M.S.

Brian Bell-Williard - Speeding Up Consensus using Machine Learning

B.S.

Luke Bernick - Complexity of Concurrent Programs
Henry Daly - Concurrent Data Structures for Modern Architectures
Thomas Salemy - Lock-based synchronization Vs. Transactions
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

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);

- 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)