Search Results for ''

published presentations and documents on DocSlides.

Viper

by calandra-battersby

A Verification Infrastructure for Permission-Base...

Deductive Verification Tools

by natalia-silvester

Tutorial for . Dagstuhl. Seminar 16201. 18. th. ...

Expander: Lock-free Cache for a Concurrent Data Structure

by lois-ondreau

Pooja. . Aggarwal . (IBM Research, . bangalore. ...