Christina Peterson


Christina Peterson
Send Mail

Biography

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.

Projects

CCSpec

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

2017

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.

2014

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.