Lock-Free Transactional Adjacency List. - Zachary Painter; Christina L. Peterson; Damian Dechev (LCPC, 2017)

A Transactional Correctness Tool for Abstract Data Types. - Christina L. Peterson; Damian Dechev (ACM Trans. Archit. Code Optim., 2017)

A Fast Discrete Event Driven Simulation Methodology for Computer Architectural Simulation. - Christopher E. Giles; Christina L. Peterson; Mark A. Heinrich (HPCC/SmartCity/DSS, 2018)

Check-Wait-Pounce: Increasing Transactional Data Structure Throughput by Delaying Transactions. - Lance Lebanoff; Christina L. Peterson; Damian Dechev (DAIS, 2019)

Read-Uncommitted Transactions for Smart Contract Performance. - Victor Cook; Zachary Painter; Christina L. Peterson; Damian Dechev (ICDCS, 2019)

CCSpec: a correctness condition specification tool. - Christina L. Peterson; Pierre LaBorde; Damian Dechev (ICPC, 2019)

Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures. - Christina L. Peterson; Victor Cook; Damian Dechev (MASCOTS, 2019)

Wait-free Dynamic Transactions for Linked Data Structures. - Pierre LaBorde; Lance Lebanoff; Christina L. Peterson; Deli Zhang; Damian Dechev (PMAM@PPoPP, 2019)

Formal Verification through Combinatorial Topology: the CAS-Extended Model. - Christina L. Peterson; Damian Dechev (PMAM@PPoPP, 2019)

Analysis of Commutativity with State-Chart Graph Representation of Concurrent Programs. - Kishore Debnath; Christina L. Peterson; Damian Dechev (CoRR, 2019)

Quantifiability: Concurrent Correctness from First Principles. - Victor Cook; Christina L. Peterson; Zachary Painter; Damian Dechev (CoRR, 2019)

Blaze-Tasks: A Framework for Computing Parallel Reductions over Tasks. - Peter Pirkelbauer; Amalee Wilson; Christina L. Peterson; Damian Dechev (ACM Trans. Archit. Code Optim., 2019)

Lock-free transactional vector. - Kenneth Lamar; Christina L. Peterson; Damian Dechev (PMAM@PPoPP, 2020)

Entropy Measurement of Concurrent Disorder. - Victor Cook; Christina L. Peterson; Zachary Painter; Damian Dechev (QEST, 2020)

Optimized Transactional Data Structure Approach to Concurrency Control for In-Memory Databases. - Christina L. Peterson; Amalee Wilson; Peter Pirkelbauer; Damian Dechev (SBAC-PAD, 2020)

KnightSim: A Fast Discrete Event-Driven Simulation Methodology for Computer Architectural Simulation. - Christopher E. Giles; Christina L. Peterson; Mark A. Heinrich (IEEE Trans. Computers, 2020)

Backfilling HPC Jobs with a Multimodal-Aware Predictor. - Kenneth Lamar; Alexander V. Goponenko; Christina L. Peterson; Benjamin A. Allan; Jim M. Brandt; Damian Dechev (CLUSTER, 2021)

Descriptor based consensus for blockchain transactions. - Zachary Painter; Victor Cook; Christina L. Peterson; Damian Dechev (DEBS, 2021)

PMap: A Non-volatile Lock-free Hash Map with Open Addressing. - Kenneth Lamar; Christina L. Peterson; Damian Dechev; Roger Pearce; Keita Iwabuchi; Peter Pirkelbauer (NVMSA, 2021)

Design and Implementation of Highly Scalable Quantifiable Data Structures. - Victor Cook; Christina L. Peterson; Zachary Painter; Damian Dechev (PaCT, 2021)

Quantifiability: Correctness of Concurrent Programs in Vector Space. - Victor Cook; Christina L. Peterson; Zachary Painter; Damian Dechev (PDP, 2021)

Concurrent Correctness in Vector Space. - Christina L. Peterson; Victor Cook; Damian Dechev (VMCAI, 2021)

PETRA: Persistent Transactional Non-blocking Linked Data Structures. - Ramin Izadpanah; Christina L. Peterson; Yan Solihin; Damian Dechev (ACM Trans. Archit. Code Optim., 2021)

Metrics for Packing Efficiency and Fairness of HPC Cluster Batch Job Scheduling. - Alexander V. Goponenko; Kenneth Lamar; Christina L. Peterson; Benjamin A. Allan; Jim M. Brandt; Damian Dechev (SBAC-PAD, 2022)

Dynamic Transactional Transformation. - Pierre LaBorde; Lance Lebanoff; Christina L. Peterson; Deli Zhang; Damian Dechev (Concurr. Comput. Pract. Exp., 2022)

The CAS-extended model. - Christina L. Peterson; Damian Dechev (Concurr. Comput. Pract. Exp., 2022)

Quantifiability: a concurrent correctness condition modeled in vector space. - Victor Cook; Christina L. Peterson; Zachary Painter; Damian Dechev (Computing, 2023)

Compiler-driven approach for automating nonblocking synchronization in concurrent data abstractions. - Jiange Zhang; Qing Yi; Christina L. Peterson; Damian Dechev (Concurr. Comput. Pract. Exp., 2024)