Christina Peterson

Christina Peterson
Send Mail


Christina Peterson received her Bachelor of Science in Computer Science from the University of Central Florida in December 2013. Her research interests include transactional memory, formal verification of concurrent systems, and combinatorial topology theory for asynchronous computability.



CCSpec is a tool that allows the user to check that their concurrent data structure meets a specified correctness condition. A correctness condition for a concurrent data structure defines the expected behavior of method calls. CCSpec can check any correctness condition in which a concurrent data structure is expected to exhibit equivalent behavior to the sequential counterpart.



Publications in Refereed Journals

Christina Peterson, Damian Dechev, Transactional Correctness Tool for Abstract Data Types, ACM Transactions on Architecture and Code Optimization, Vol. 14, No. 4, Article 37, November 2017.
Publisher's Page

Workshop Participation

Zachary Painter, Christina Peterson, Damian Dechev, Lock-Free Transactional Adjacency List, In Proceedings of the 30th International Workshop on Languages and Compilers for Parallel Computing (LCPC), College Station, TX, October 2017.


Workshop Participation

Christina Peterson, Deli Zhang, Damian Dechev, Resource-Based Transaction Management for Best-Effort Hardware Transactional Memory, In Proceedings of the The First Workshop on Software Engineering for Parallel Systems (SEPS) co-located with SPLASH 2014, Portland, OR, October 2014.