Christina L. Peterson

According to our database, Christina L. Peterson authored at least 28 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

2023

Quantifiability: a concurrent correctness condition modeled in vector space.

Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev

Computing, May, 2023

2022

The CAS-extended model.

Christina L. Peterson, Damian Dechev

Concurr. Comput. Pract. Exp., 2022

Dynamic Transactional Transformation.

Pierre LaBorde, Lance Lebanoff, Christina L. Peterson, Deli Zhang, Damian Dechev

Concurr. Comput. Pract. Exp., 2022

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

Proceedings of the 2022 IEEE 34th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 2022

2021

PETRA: Persistent Transactional Non-blocking Linked Data Structures.

Ramin Izadpanah, Christina L. Peterson, Yan Solihin, Damian Dechev

ACM Trans. Archit. Code Optim., 2021

Concurrent Correctness in Vector Space.

Christina L. Peterson, Victor Cook, Damian Dechev

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Quantifiability: Correctness of Concurrent Programs in Vector Space.

Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev

Proceedings of the 29th Euromicro International Conference on Parallel, 2021

Design and Implementation of Highly Scalable Quantifiable Data Structures.

Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev

Proceedings of the Parallel Computing Technologies, 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

Proceedings of the 10th IEEE Non-Volatile Memory Systems and Applications Symposium, 2021

Descriptor based consensus for blockchain transactions.

Zachary Painter, Victor Cook, Christina L. Peterson, Damian Dechev

Proceedings of the 15th ACM International Conference on Distributed and Event-based Systems, 2021

Backfilling HPC Jobs with a Multimodal-Aware Predictor.

Kenneth Lamar, Alexander V. Goponenko, Christina L. Peterson, Benjamin A. Allan, Jim M. Brandt, Damian Dechev

Proceedings of the IEEE International Conference on Cluster Computing, 2021

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

Optimized Transactional Data Structure Approach to Concurrency Control for In-Memory Databases.

Christina L. Peterson, Amalee Wilson, Peter Pirkelbauer, Damian Dechev

Proceedings of the 32nd IEEE International Symposium on Computer Architecture and High Performance Computing, 2020

Entropy Measurement of Concurrent Disorder.

Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev

Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

Lock-free transactional vector.

Kenneth Lamar, Christina L. Peterson, Damian Dechev

Proceedings of the PMAM@PPoPP '20: Eleventh International Workshop on Programming Models and Applications for Multicores and Manycores colocated with the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

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

Quantifiability: Concurrent Correctness from First Principles.

Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev

CoRR, 2019

Analysis of Commutativity with State-Chart Graph Representation of Concurrent Programs.

Kishore Debnath, Christina L. Peterson, Damian Dechev

CoRR, 2019

Formal Verification through Combinatorial Topology: the CAS-Extended Model.

Christina L. Peterson, Damian Dechev

Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores, 2019

Wait-free Dynamic Transactions for Linked Data Structures.

Pierre LaBorde, Lance Lebanoff, Christina L. Peterson, Deli Zhang, Damian Dechev

Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores, 2019

Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures.

Christina L. Peterson, Victor Cook, Damian Dechev

Proceedings of the 27th IEEE International Symposium on Modeling, 2019

CCSpec: a correctness condition specification tool.

Christina L. Peterson, Pierre LaBorde, Damian Dechev

Proceedings of the 27th International Conference on Program Comprehension, 2019

Read-Uncommitted Transactions for Smart Contract Performance.

Victor Cook, Zachary Painter, Christina L. Peterson, Damian Dechev

Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

Check-Wait-Pounce: Increasing Transactional Data Structure Throughput by Delaying Transactions.

Lance Lebanoff, Christina L. Peterson, Damian Dechev

Proceedings of the Distributed Applications and Interoperable Systems, 2019

2018

A Fast Discrete Event Driven Simulation Methodology for Computer Architectural Simulation.

Christopher E. Giles, Christina L. Peterson, Mark A. Heinrich

Proceedings of the 20th IEEE International Conference on High Performance Computing and Communications; 16th IEEE International Conference on Smart City; 4th IEEE International Conference on Data Science and Systems, 2018

2017

A Transactional Correctness Tool for Abstract Data Types.

Christina L. Peterson, Damian Dechev

ACM Trans. Archit. Code Optim., 2017

Lock-Free Transactional Adjacency List.

Zachary Painter, Christina L. Peterson, Damian Dechev

Proceedings of the Languages and Compilers for Parallel Computing, 2017