Search Results - Hu, Liyang

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Compiling concurrency correctly: verifying software transactional memory

    Compiling concurrency correctly: verifying software transactional memory by Hu, Liyang

    Published 2013
    Get full text
  2. 2
    Compiling concurrency correctly: cutting out the middle man

    Compiling concurrency correctly: cutting out the middle man by Hu, Liyang, Hutton, Graham

    Published 2010
    Get full text

Search Tools: