News People Recent Publications Projects

Welcome to SSS@Lehigh!
We are the Scalable Systems and Software Research Group at Lehigh University!
Designing and building parallel, concurrent, and distributed systems is our major focus. Our research topics include:


Programming Languages
Transactional Memory
Concurrent Data Strutures
Speculative Parallelization
Memory Allocators
LLVM
Memory Persistence
Distributed Synchronization
Centralized and Distributed Database
Multicore and NUMA Synchronization
Distributed Transactions
Transactional Systems
Consistency
Fault-Tolerance and Replication
Geographic Replication
Consensus
Computer Architecture
Energy Efficient Architetures
We are always looking for motivated students and productive collaborations. If you find these topics interesting and you are eager to contribute, contact Prof. Korth or Prof. Spear or Prof. Palmieri or Prof. Guo.

Latest News

  • Our collaborative work "SPX64: A Scratchpad Memory for General-Purpose Microprocessors" has been accepted to TACO. Congratulations!
  • Our paper "Bundled References: An Abstraction for Highly-Concurrent Linearizable Range Queries" has been accepted as poster at PPoPP 2021. Congratulations Jacob!
  • Our poster paper "On Building Modular and Elastic Data Structures with Bulk Operations" has been accepted at ICDCN 2021. Congratulations Kevin, Joe, and Athicha!
  • Prof. Korth will serve as committee member of ACM SIGMOD 2021. Consider to submit and attend!
  • Prof. Palmieri will serve as committee member of ACM Eurosys 2021 and USENIX ATC 2021. Consider to submit and attend!
  • Prof. Xiaochen Guo received a Department of Energy (DoE) subcontract to perform research on "Innovative Architectures for High Performance Data Analytics". Congratulation Xiaochen!
  • Our post-doc Ahmed Hassan has been promoted as Professor of Practice in the CSE department at Lehigh University. Congratulations Ahmed and good luck!
  • Our PhD student Masoomeh Javidi Kishi successfully defended her PhD disseretation. Masoomeh will join Oracle. Congratulations Dr. Javidi Kishi and good luck!
  • Our paper "Performance Evaluation of the Impact of NUMA on One-sided RDMA Interactions" has been accepted at SRDS 2020. Congratulations Jacob!
  • Our PhD student Pantea Zardoshti passed his PhD general exam. Congratulations Pantea!
  • Our paper "Exploiting Locality in Scalable Ordered Maps" has been accepted at PACT 2020. Congratulations Matthew!
  • Our paper "Optimizing Linearizable Bulk Operations on Data Structures" has been accepted at ICPP 2020. Congratulations Matthew!
  • Our paper "Brief Announcement: On Implementing Software Transactional Memory in the C++ Memory Model" has been accepted at PODC 2020. Congratulations Matthew!
  • Our paper "RnR: A Software-Assisted Record-and-Replay Hardware Prefetcher" has been accepted at MICRO 2020. Congratulations Chao and Yuan!
  • Two papers "On the Performance Impact of NUMA on One-sided RDMA Interactions" and "On Reading Fresher Snapshots in Parallel Snapshot Isolation" have been accepted as poster papers at ICDCS 2020. Congratulations Jacob and Masoomeh!
  • Our paper "Don't Forget About Synchronization! Guidelines for Using Locks on GPU" has been accepted at then Concurrency and Computation: Practice and Experience journal. Congratulations Jacob and dePaul!
  • Our paper "Understanding and Improving Persistent Transactions on Optane DC Memory" has been accepted at IPDPS 2020. Congratulations Pantea!
  • Prof. Spear will serve as committee member of PACT 2020. Consider to submit and attend!
  • Our paper "HaTS: Hardware-assisted Transaction Scheduler" has been accepted at OPODIS 2019. Congratulations Zhanhao!
  • Our paper "Optimizing Persistent Memory Transactions" has been accepted at PACT 2019. Congratulations Pantea and Tingzhe!
  • Prof. Palmieri will serve as committee member of Usenix ATC 2020. Consider to submit and attend!
  • Our paper "Scrabble: A Fine-­Grained Cache with Adaptive Merged Block" has been accepted at IEEE Transactions on Computers. Congratulations Chao and Yuan!
  • Prof. Korth and Prof. Palmieri have been invited to present at the 2019 Lehigh Quant/Financial Engineering Conference.
  • Prof. Korth serves as committee member of BCDL 2020. Consider to attend!
  • Prof. Guo will serve as committee member of IPDPS 2020. Consider to submit and attend!
  • Prof. Spear will serve as Chair of the Program Committee of SPAA 2020. Consider to submit and attend!
  • Prof. Palmieri will serve as Local Arrangement Chair of SPAA 2020 to be held in Philadelphia, PA, USA.
  • Our paper "On the Correctness of Transaction Processing with External Dependency" has been accepted as Brief Announcement at DISC 2019. Congrats Masoomeh!
  • Prof. Guo will serve as committee member of HPCA 2020. Consider to submit and attend!
  • Prof. Palmieri will serve as committee member of ICPP 2020. Consider to submit and attend!
  • Our paper "A Practical, Scalable, Relaxed Priority Queue" has been accepted at ICPP 2019. Congratulations Tingzhe!
  • Prof. Spear will serve as committee member of PPoPP 2020. Consider to submit and attend!
  • Our paper "Simplifying Transactional Memory Support in C++" has been accepted at ACM TACO. Congratulations Pantea!
  • Our PhD student Tingzhe Zhou successfully defended his PhD disseretation. Tingzhe will join Facebook. Congratulations Tingzhe and good luck!
  • Our paper "SSS: Scalable Key-Value Store with External Consistent and Abort-free Read-only Transactions" has been accepted at ICDCS 2019. Congratulations Masoomeh!
  • Our paper "Optimizing Persistent Transactions" has been accepted as Brief Announcement at SPAA 2019. Congratulations Tingzhe and Pantea!
  • Prof. Spear will serve as committee member of DISC 2019. Consider to submit and attend!
  • Our paper "Lerna: Parallelizing Dependent Loops Using Speculation" has been accepted for publication at ACM Transactions on Storage, ACM ToS, 2019.
  • Prof. Spear will serve as committee member of PACT 2019. Consider to submit and attend!
  • Our MS student Yaodong Sheng is now a PhD student at SSS. Welcome Yaodong!
  • Our paper "Don't Forget About Synchronization! A Case Study of K-Means on GPU" has been accepted at PMAM 2019. Congratulations Jacob!
  • The abstract submitted by our PhD student Jacob to the CGO Student Research Competition on the performance interaction betweeb RDMA and NUMA has been accepted. Congratulations Jacob!
  • Prof. Palmieri will serve as committee member of ACM PaPoC 2019. Consider to submit and attend!
  • Our paper "Processing Transactions in a Predefined Order" has been accepted at PPoPP 2019.
  • Our PhD students Masoomeh and Pantea attended the 2018 Grace Hopper Celebration (GHC), the world's largest gathering of women technologists.
  • Our paper "NUMASK: High Performance Scalable Skip List for NUMA" has been accepted at DISC 2018.
  • Our NSF project "Data Structure Designs and Implementations for Modern Multicore Architectures and Applications" has been funded for three years!
  • Prof. Palmieri will serve as committee member of ACM SYSTOR 2019. Consider to submit and attend!
  • Prof. Palmieri will serve as external committee member of ACM SIGPLAN PPoPP 2019. Consider to submit and attend!
  • Prof. Spear will serve as committee member of ACM SIGPLAN PPoPP 2019. Consider to submit and attend!
  • Our PhD student Tingzhe Zhou passed his PhD general exam. Congratulations Tingzhe!

People

Faculty:

Ahmed Hassan

Ahmed Hassan

Professor of Practice, CSE
Hank Korth

Hank Korth

Professor, CSE
Jieming Yin

Jieming Yin

Assistant Professor, ECE
Michael Spear

Michael Spear

Associate Professor, CSE
Roberto Palmieri

Roberto Palmieri

Assistant Professor, CSE
Xiaochen Guo

Xiaochen Guo

Assistant Professor, ECE

Current Students:

Matthew Rodriguez

Matthew Rodriguez, PhD

Yaodong Sheng

Yaodong Sheng, PhD

Athicha Srivirote

Athicha Srivirote, MS

Jack Byers

Jack Byers, MS

Jimmy Johnson

Jimmy Johnson, BS

Maxim Vezenov

Maxim Vezenov, BS

Ollie Walsh

Ollie Walsh, BS

Past Students:

  • Paul Grocholske - MS 2020 - First employment: Amazon
  • Mark Bense - BS 2020 - First employment: Lockheed Martin
  • Masoomeh Javidi Kishi - PhD 2020 - First employment: Oracle
  • dePaul Miller - BS 2020 - PhD student at Lehigh University
  • Chris Doms - MS 2020 - First employment: Amazon
  • Thomas Salemy - BS 2020 - First employment: Microsoft
  • Luke Bernick - BS 2020 - PhD student Cornell
  • Tingzhe Zhou - PhD 2019 - First employment: Facebook
  • Zhanhao Chen - MS 2018 - First employment: Palo Alto Networks
  • Shihao Jing - MS 2018 - First employment: Google
  • Michael Embick - MS 2018 - First employment: Lockheed Martin
  • Henry Daly - Undergraduate 2018 - First employment: Lockheed Martin
  • Chao Wang - MS 2016 - First Employment: USC
  • Wenjia Ruan - PhD 2015 - First employment: Qualcomm Research
  • Yujie Liu - PhD 2015 - First employment: Google
  • Steve Louie - MS 2015 - First employment: Cisco
  • Adam Schaub - MS 2015 - First employment: Cisco

Recent Publications


(Some of our) Projects

Transactional Memory

A Full-Stack Ecosystem for Transactional Memory

We are exploring all aspects of support for transactional programming, to include compiler support, run-time mechanisms for transactional I/O, transactional workloads, and language integration.
Github link

Lightweight Abstract Memory Features

Lightweight Abstract Memory Features

We have designed an abstract instrumented memory interfaces that allow programmers to exploit hardware and software features of transactional memory as well as persistent memory. We used the LLVM compiler framework for program analysis and transformation.
Github link

NUMA-aware Data Structure

NUMA-aware Data Structures for Modern Multicore Architectures

In this project we explore design and implementation of concurrent data structures optimized to provide high performance on large multicore architectures (> 100 cores), where the memory latency distribution is not uniform, and distributed deployments.

Snow

Semantic Extension for Concurrent Applications

Concurrent Applications include blocks of code ensuring threads mutual exclusion to preserve correct accesses to data. In multicore architectures, the traditional way to implement mutual exclusion leads to resource underutilization. In this project we exploit application semantics to improve performance of atomic parts of code using compiler and library extensions.

Snow

Distributed Databases

Distributed deployments (e.g., Cloud Computing) are the only feasible way to meet elasticity and scalability requirements of large applications and systems. We focus on designing scalable transactional databases that guarantee strong correctness high-level properties, such as non-blocking queries, to retain high performance.


Support

This work is supported in part by US National Science Foundation under grants CNS-1814974, CCF-1723624, CCF-1253362, CCF-1218530, CNS-1016828, AFOSR under grants FA9550-17-1-0367, and Google, Comcast, Oracle, Intel. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation or the United States Air Force.