Search Results for 'Ishazard'

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