News People Publications Projects
Welcome to SSS, the Scalable Systems and Software Research Group at Lehigh University. Designing and building parallel 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
We are always looking for motivated students and productive collaborations. If you find these topics interesting and you are eager to contribute, contact Prof. Spear or Prof. Palmieri.

Latest News

  • 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. Congratulation Tingzhe!

People

Faculties:

Hank Korth

Hank Korth

Professor
Roberto Palmieri

Roberto Palmieri

Assistant Professor
Michael Spear

Michael Spear

Associate Professor

Current Students:

Past Students:

  • Zhanhao Chen - MS 2018
  • Shihao Jing - MS 2018
  • 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

Publications (from 2016)

  • 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, United States.
  • 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. Link Paper
  • 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. Link Paper
  • 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 AwardBest Paper AwardBest Paper Award Link Paper
  • Tingzhe Zhou, Victor Luchangco, Michael Spear
    Extending Transactional Memory with Atomic Deferral
    16th IEEE International Symposium on Network Computing and Applications, 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. Link Paper
  • 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. Link Techical Report
  • 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. Link Paper
  • 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. Link Paper
  • 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. Link Paper
  • 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. Link Paper
  • 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. Link Paper
  • 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. Link Paper

(Some of our) Projects

Snow

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.

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 Database

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, and AFOSR under grants FA9550-17-1-0367. 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.