Systems & networking
Researching and inventing new technologies for next-generation infrastructures and platforms for sensors, devices and the cloud.
Publication
Bandwidth Management for Mobile Media Delivery
Video
1.) Testing Atomicity of Composed Concurrent Operations (OOPSLA’11) 2.) Automatic Fine-Grain Locking using Shape Properties
1.)Testing Atomicity of Composed Concurrent Operations (OOPSLA’11) We address the problem of testing atomicity of composed concurrent operations. Concurrent libraries help programmers exploit parallel hardware by providing scalable concurrent operations with the illusion that each…
Publication