Search Results for 'Retirenode'

Retirenode published presentations and documents on DocSlides.

Reasoning about Optimistic Concurrency Using a Program Logi

by pasty-toler

Ming Fu. USTC & Yale. Joint work with Yong Li...