1. Home
  2. > Asynchronous Magnetic Bead Technology Faculty Server Contact

Asynchronous Magnetic Bead Technology Faculty Server Contact

Previous work has only addressed these challenges individually, either by designing a new declarative language, or a new data race detection tool, or a new testing technique. We present P, a language for highreliability asynchronous programming codesigned with a static analysis and testing infrastructure.

Get Price
toTop