Christina L. Peterson

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 30

Top Topics

Concurrent Programs

Top Venues

Concurr. Comput. Pract. Exp.

ACM Trans. Archit. Code Optim.

Publications

Jiange Zhang, Qing Yi, Christina L. Peterson, Damian Dechev
Compiler-driven approach for automating nonblocking synchronization in concurrent data abstractions. Concurr. Comput. Pract. Exp. 36 (5) (2024)
Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev
Quantifiability: a concurrent correctness condition modeled in vector space. Computing 105 (5) (2023)
Alexander V. Goponenko, Kenneth Lamar, Christina L. Peterson, Benjamin A. Allan, Jim M. Brandt, Damian Dechev
Metrics for Packing Efficiency and Fairness of HPC Cluster Batch Job Scheduling. SBAC-PAD (2022)
Pierre LaBorde, Lance Lebanoff, Christina L. Peterson, Deli Zhang, Damian Dechev
Dynamic Transactional Transformation. Concurr. Comput. Pract. Exp. 34 (2) (2022)
Christina L. Peterson, Damian Dechev
The CAS-extended model. Concurr. Comput. Pract. Exp. 34 (2) (2022)
Kenneth Lamar, Alexander V. Goponenko, Christina L. Peterson, Benjamin A. Allan, Jim M. Brandt, Damian Dechev
Backfilling HPC Jobs with a Multimodal-Aware Predictor. CLUSTER (2021)
Christina L. Peterson, Victor Cook, Damian Dechev
Concurrent Correctness in Vector Space. VMCAI (2021)
Kenneth Lamar, Christina L. Peterson, Damian Dechev, Roger Pearce, Keita Iwabuchi, Peter Pirkelbauer
PMap: A Non-volatile Lock-free Hash Map with Open Addressing. NVMSA (2021)
Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev
Design and Implementation of Highly Scalable Quantifiable Data Structures. PaCT (2021)
Ramin Izadpanah, Christina L. Peterson, Yan Solihin, Damian Dechev
PETRA: Persistent Transactional Non-blocking Linked Data Structures. ACM Trans. Archit. Code Optim. 18 (2) (2021)
Zachary Painter, Victor Cook, Christina L. Peterson, Damian Dechev
Descriptor based consensus for blockchain transactions. DEBS (2021)
Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev
Quantifiability: Correctness of Concurrent Programs in Vector Space. PDP (2021)
Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev
Entropy Measurement of Concurrent Disorder. QEST (2020)
Christina L. Peterson, Amalee Wilson, Peter Pirkelbauer, Damian Dechev
Optimized Transactional Data Structure Approach to Concurrency Control for In-Memory Databases. SBAC-PAD (2020)
Christopher E. Giles, Christina L. Peterson, Mark A. Heinrich
KnightSim: A Fast Discrete Event-Driven Simulation Methodology for Computer Architectural Simulation. IEEE Trans. Computers 69 (1) (2020)
Kenneth Lamar, Christina L. Peterson, Damian Dechev
Lock-free transactional vector. PMAM@PPoPP (2020)
Christina L. Peterson, Damian Dechev
Formal Verification through Combinatorial Topology: the CAS-Extended Model. PMAM@PPoPP (2019)
Peter Pirkelbauer, Amalee Wilson, Christina L. Peterson, Damian Dechev
Blaze-Tasks: A Framework for Computing Parallel Reductions over Tasks. ACM Trans. Archit. Code Optim. 15 (4) (2019)
Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev
Quantifiability: Concurrent Correctness from First Principles. CoRR (2019)
Kishore Debnath, Christina L. Peterson, Damian Dechev
Analysis of Commutativity with State-Chart Graph Representation of Concurrent Programs. CoRR (2019)
Pierre LaBorde, Lance Lebanoff, Christina L. Peterson, Deli Zhang, Damian Dechev
Wait-free Dynamic Transactions for Linked Data Structures. PMAM@PPoPP (2019)
Victor Cook, Zachary Painter, Christina L. Peterson, Damian Dechev
Read-Uncommitted Transactions for Smart Contract Performance. CoRR (2019)
Victor Cook, Zachary Painter, Christina L. Peterson, Damian Dechev
Read-Uncommitted Transactions for Smart Contract Performance. ICDCS (2019)
Zachary Painter, Christina L. Peterson, Damian Dechev
Lock-Free Transactional Adjacency List. CoRR (2019)
Lance Lebanoff, Christina L. Peterson, Damian Dechev
Check-Wait-Pounce: Increasing Transactional Data Structure Throughput by Delaying Transactions. DAIS (2019)
Christina L. Peterson, Pierre LaBorde, Damian Dechev
CCSpec: a correctness condition specification tool. ICPC (2019)
Christina L. Peterson, Victor Cook, Damian Dechev
Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures. MASCOTS (2019)
Christopher E. Giles, Christina L. Peterson, Mark A. Heinrich
A Fast Discrete Event Driven Simulation Methodology for Computer Architectural Simulation. HPCC/SmartCity/DSS (2018)
Christina L. Peterson, Damian Dechev
A Transactional Correctness Tool for Abstract Data Types. ACM Trans. Archit. Code Optim. 14 (4) (2017)
Zachary Painter, Christina L. Peterson, Damian Dechev
Lock-Free Transactional Adjacency List. LCPC (2017)