Christina L. Peterson

31 papers A 2B 3C 5Journal 13Unranked 8

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