Search Results for 'dagstuhl 2013'

dagstuhl 2013 published presentations and documents on DocSlides.

Finding Optimal Program Abstractions

by jane-oiler

Mayur Naik. Georgia Tech. Xin. Zhang. (Georgia T...

Reduction Theorems

by pamella-moone

for . Proving Serializability . with . Applicatio...

Reduction Theorems

by cheryl-pisano

for . Proving Serializability . with . Applicatio...