Search Results for 'Rinard'

Rinard published presentations and documents on DocSlides.

Accuracy-Aware Program Transformations

by sherrill-nordquist

Sasa . Misailovic. MIT CSAIL. Collaborators. Mart...

AcceptabilityOriented Computing Martin Rinard MIT Laboratory for Computer Science Cambridge MA ABSTRACT We discuss a new approach to the construction of software systems

by sherrill-nordquist

Instead of attempting to build a system that is a...

Proving Acceptability Properties of Relaxed Nondeterministi

by mitsue-stanley

Michael Carbin. Deokhwan. Kim, . Sasa. . Misail...