Skip to content

Victor Cook

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

6

Venues

5

Active years

2019–2021

Best venue rank

A

Where they publish

Papers

6 indexed papers, newest first.

YearVenueTitleAuthors
2021PACTDesign and Implementation of Highly Scalable Quantifiable Data Structures.Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev
2021PDPQuantifiability: Correctness of Concurrent Programs in Vector Space.Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev
2021VMCAIConcurrent Correctness in Vector Space.Christina L. Peterson, Victor Cook, Damian Dechev
2019ICDCSRead-Uncommitted Transactions for Smart Contract Performance.Victor Cook, Zachary Painter, Christina L. Peterson, Damian Dechev
2019ICDCSPartitioning Attacks on Bitcoin: Colliding Space, Time, and Logic.Muhammad Saad, Victor Cook, Lan N. Nguyen, My T. Thai, Aziz Mohaisen
2019MASCOTSPractical Progress Verification of Descriptor-Based Non-Blocking Data Structures.Christina L. Peterson, Victor Cook, Damian Dechev