Search Results for 'Ishazard'

Ishazard published presentations and documents on DocSlides.

Reasoning about Optimistic Concurrency Using a Program Logi

Reasoning about Optimistic Concurrency Using a Program Logi

pasty-toler
19 Slides

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

Copyright © 2025 DocSlides. All Rights Reserved