Systems & networking
Researching and inventing new technologies for next-generation infrastructures and platforms for sensors, devices and the cloud.
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
Refactoring the Web Interface
Project
Naiad
Download: Naiad is now available under the Apache 2.0 open-source license from Github (source) and NuGet.org (binary packages). For more details about the software release, see the online Naiad documentation. The Naiad project is an…
Video
Zero-Effort Payments (ZEP)
The goal of Zero-Effort Payments (ZEP) is to rethink mobile payments. We are enabling a scenario in which mobile users can pay with “zero-effort”: without interacting with their smartphone or opening their wallet. Upon approaching…
