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...