VIBRANCE Project Publications

The VIBRANCE project has been carried out by Kestrel Institute, Kestrel Technology LLC, and CSAIL MIT.

The final report is available here.

Publications

Sasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, and Martin Rinard, "Chisel: Reliability- and Accuracy-Aware Optimization Of Approximate Computational Kernels". ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2014. (28% acceptance rate) Best Paper Award. [Abstract] [PDF] [BibTeX]

Fan Long, Stelios Sidiroglou-Douskos, and Martin Rinard, "Automatic Runtime Error Repair and Containment via Recovery Shepherding". ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2014. (18% acceptance rate) [Abstract] [PDF] [BibTeX]

Sasa Misailovic and Martin Rinard, "Synthesis of Randomized Accuracy-Aware Map-Fold Programs". Workshop on Approximate Computing Across the System Stack (WACAS), March 2014. [Abstract] [PDF] [BibTeX]

Fan Long, Stelios Sidiroglou, Deokhwan Kim, and Martin Rinard. "Sound Input Filter Generation for Integer Overflow Errors". ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), January 2014. (23% acceptance rate) [Abstract] [PDF] [BibTeX]

Michael Carbin, Sasa Misailovic, and Martin Rinard, "Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware". ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2013. (26% acceptance rate) Best Paper Award. [Abstract] [PDF] [BibTeX]

Sasa Misailovic, Deokhwan Kim, and Martin Rinard, "Parallelizing Sequential Programs with Statistical Accuracy Tests". ACM Transactions on Embedded Computing Systems, Volume 12, Number 2, May 2013. [Abstract] [PDF] [BibTeX]

Michael Carbin, Deokhwan Kim, Sasa Misailovic, and Martin Rinard. "Verified Integrity Properties for safe approximate program transformations". ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), January 2013. (45% acceptance rate) [Abstract] [PDF] [BibTeX]

Sasa Misailovic, Stelios Sidiroglou, and Martin Rinard. "Dancing with Uncertainty". Workshop on Relaxing Synchronization for Multicore and Manycore Scalability, October 2012. [Abstract] [PDF] [BibTeX]

Michael King, Sasa Misailovic, Michael Carbin, and Martin Rinard, "Bolt: On-Demand Infinite Loop Escape in Unmodified Binaries". ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2012. (26% acceptance rate) [Abstract] [PDF] [BibTeX]

Fan Long, Vijay Ganesh, Michael Carbin, Stelios Sidiroglou, and Martin Rinard, "Automatic Input Rectification". International Conference on Software Engineering (ICSE), June 2012. (15% acceptance rate) [Abstract] [PDF] [BibTeX]

Michael Carbin, Sasa Misailovic, Michael Kling, and Martin Rinard, "Detecting and Escaping Infinite Loops with Jolt". European Conference on Object-Oriented Programming (ECOOP), July 2011. [Abstract] [PDF] [BibTeX]

The VIBRANCE project was funded by the IARPA STONESOUP program, for the period August 19, 2010 through November 30, 2014. This research is based upon work supported by the Office of the Director of National Intelligence (ODNI), Intelligence Advanced Research Projects Activity (IARPA), via AFRL contract number FA8650-10-C-7026. The views and conclusions contained herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of ODNI, IARPA, or the U.S. Government. The U.S. Government is authorized to reproduce and distribute reprints for Governmental purpose notwithstanding any copyright annotation thereon.