Wait-free dynamic transactions for linked data structures P LaBorde, L Lebanoff, C Peterson, D Zhang, D Dechev Proceedings of the 10th International Workshop on Programming Models and …, 2019 | 38 | 2019 |
Check-wait-pounce: Increasing transactional data structure throughput by delaying transactions L Lebanoff, C Peterson, D Dechev Distributed Applications and Interoperable Systems: 19th IFIP WG 6.1 …, 2019 | 21 | 2019 |
A transactional correctness tool for abstract data types C Peterson, D Dechev ACM Transactions on Architecture and Code Optimization (TACO) 14 (4), 1-24, 2017 | 20 | 2017 |
Read-uncommitted transactions for smart contract performance V Cook, Z Painter, C Peterson, D Dechev 2019 IEEE 39th International Conference on Distributed Computing Systems …, 2019 | 19 | 2019 |
Lock-free transactional adjacency list Z Painter, C Peterson, D Dechev International Workshop on Languages and Compilers for Parallel Computing …, 2017 | 14 | 2017 |
Blaze-Tasks: A framework for computing parallel reductions over tasks P Pirkelbauer, A Wilson, C Peterson, D Dechev ACM Transactions on Architecture and Code Optimization (TACO) 15 (4), 1-25, 2019 | 11 | 2019 |
Lock-free transactional vector K Lamar, C Peterson, D Dechev Proceedings of the Eleventh International Workshop on Programming Models and …, 2020 | 5 | 2020 |
Ccspec: A correctness condition specification tool C Peterson, P LaBorde, D Dechev 2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC …, 2019 | 5 | 2019 |
Backfilling HPC jobs with a multimodal-aware predictor K Lamar, A Goponenko, C Peterson, BA Allan, JM Brandt, D Dechev 2021 IEEE International Conference on Cluster Computing (CLUSTER), 618-622, 2021 | 4 | 2021 |
Concurrent correctness in vector space C Peterson, V Cook, D Dechev International Conference on Verification, Model Checking, and Abstract …, 2021 | 4 | 2021 |
Quantifiability: Concurrent correctness from first principles V Cook, C Peterson, Z Painter, D Dechev arXiv preprint arXiv:1905.06421, 2019 | 4 | 2019 |
PMap: A non-volatile lock-free hash map with open addressing K Lamar, C Peterson, D Dechev, R Pearce, K Iwabuchi, P Pirkelbauer 2021 IEEE 10th Non-Volatile Memory Systems and Applications Symposium (NVMSA …, 2021 | 3 | 2021 |
A fast discrete event driven simulation methodology for computer architectural simulation C Giles, C Peterson, M Heinrich 2018 IEEE 20th International Conference on High Performance Computing and …, 2018 | 3 | 2018 |
Metrics for packing efficiency and fairness of HPC cluster batch job scheduling AV Goponenko, K Lamar, C Peterson, BA Allan, JM Brandt, D Dechev 2022 IEEE 34th International Symposium on Computer Architecture and High …, 2022 | 2 | 2022 |
Quantifiability: correctness of concurrent programs in vector space V Cook, C Peterson, Z Painter, D Dechev 2021 29th Euromicro International Conference on Parallel, Distributed and …, 2021 | 2 | 2021 |
PETRA: persistent transactional non-blocking linked data structures R Izadpanah, C Peterson, Y Solihin, D Dechev ACM Transactions on Architecture and Code Optimization (TACO) 18 (2), 1-26, 2021 | 2 | 2021 |
Practical progress verification of descriptor-based non-blocking data structures C Peterson, V Cook, D Dechev 2019 IEEE 27th International Symposium on Modeling, Analysis, and Simulation …, 2019 | 2 | 2019 |
Knightsim: A fast discrete event-driven simulation methodology for computer architectural simulation CE Giles, CL Peterson, MA Heinrich IEEE Transactions on Computers 69 (1), 65-71, 2019 | 2 | 2019 |
Exemplar-SVMs for action recognition C Peterson, R Hou Technical Report, University of Central Florida, 2013 | 2 | 2013 |
Design and implementation of highly scalable quantifiable data structures V Cook, C Peterson, Z Painter, D Dechev International Conference on Parallel Computing Technologies, 371-385, 2021 | 1 | 2021 |