Search Results for 'Susmit'

Susmit published presentations and documents on DocSlides.

Synthesis of Loop-free Programs

Synthesis of Loop-free Programs

by briana-ranney

Sumit. . Gulwani. (MSR), . Susmit. . Jha. . (...

Mathematizing C Concurrency Mark Batty Scott Owens Susmit Sarkar Peter Sewell Tjark Weber University of Cambridge Abstract Sharedmemory concurrency in C and C is pervasive in systems programming but

Mathematizing C Concurrency Mark Batty Scott Owens Susmit Sarkar Peter Sewell Tjark Weber University of Cambridge Abstract Sharedmemory concurrency in C and C is pervasive in systems programming but

by olivia-moreira

This motivated an ongoing shared effort by the st...

Understanding POWER Multiprocessors Susmit Sarkar Peter Sewell Jade Alglave Luc Maranget Derek Williams University of Cambridge Oxford University INRIA IBM Austin Abstract Exploiting todays multiproc

Understanding POWER Multiprocessors Susmit Sarkar Peter Sewell Jade Alglave Luc Maranget Derek Williams University of Cambridge Oxford University INRIA IBM Austin Abstract Exploiting todays multiproc

by faustina-dinatale

which in turn requires a good understanding of th...

Synchronising CC and POWER Susmit Sarkar Kayvan Memarian Scott Owens Mark Batty Peter Sewell Luc Maranget Jade Alglave Derek Williams University of Cambridge first

Synchronising CC and POWER Susmit Sarkar Kayvan Memarian Scott Owens Mark Batty Peter Sewell Luc Maranget Jade Alglave Derek Williams University of Cambridge first

by olivia-moreira

lastclcamacuk University of Oxford jadealglavecoml...