Search Results for 'nanevski'

nanevski published presentations and documents on DocSlides.

Ynot Reasoning with the Awkward Squad Aleksandar Nanevski Microsoft Research aleksnmicrosoft

by olivia-moreira

com Greg Morrisett Avi Shinnar Paul Govereau Harva...

InterferenceandstabilityAbsentlockinglocalreasoning

by tremblay

tionsintoaresource27TheseaspectscriticalforHoare-s...