Martin Rinard

Press


News Articles

Research Papers

Bug-repair system learns from example

Automatic code-patching system corrects nearly twice as many errors as its predecessors.

Automatic Inference of Code Transforms for Patch Generation

Fan Long, Peter Amidon, and Martin Rinard
Proceedings of 2017 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Paderborn, Germany, September 2017

Automatic Code Reuse

System makes modifications necessary to transplant code from one program into another.

CodeCarbonCopy

Stelios Sidiroglou-Douskos, Eric Lahtinen, Anthony Eden, Fan Long, and Martin Rinard
Proceedings of 2017 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Paderborn, Germany, September 2017

Analog computing returns

New analog compiler could help enable simulation of whole organs and even organisms.

Configuration Synthesis for Programmable Analog Devices with Arco

Sara Achour, Rahul Sarpeshkar, and Martin Rinard
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2016)
Santa Barbara, CA, June 2016

Recognizing correct code

Automatic bug-repair system fixes 10 times as many errors as its predecessors.

Automatic Patch Generation by Learning Correct Code

Fan Long and Martin Rinard
Proceedings of the 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016)
St. Petersburg, Florida, January 2016

What are your apps hiding?

Half of the communication connections established by the top 500 Android apps have no effect on user experience.

Covert Communication in Mobile Applications

Julia Rubin, Michael I. Gordon, Nguyen Nguyen, and Martin Rinard
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering
Lincoln, Nebraska, November 2015

Automatic bug repair

System fixes bugs by importing functionality from other programs – without access to source code.

Automatic Error Elimination by Horizontal Code Transfer Across Multiple Applications

Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long, and Martin Rinard
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2015)
Portland, Oregon, June 2015

Better debugger

System to automatically find a common type of programming bug significantly outperforms its predecessors.

Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement

Stelios Sidiroglou-Douskos, Eric Lahtinen, Nathan Rittenhouse, Paolo Piselli, Fan Long, Deokhwan Kim, and Martin Rinard
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2015)
Istanbul, Turkey, March 2015

Harnessing error-prone chips

New system would allow programmers to easily trade computational accuracy for energy savings.

Chisel: Reliability- and Accuracy-Aware Optimization of Approximate Computational Kernels (Best Paper Award)

Sasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, and Martin Rinard
Proceedings of the 2014 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2014)
Portland, Oregon, October 2014

How to program unreliable chips

A new language lets coders reason about the trade-off between fidelity of execution and power or time savings in the computers of the future.

Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware (Best Paper Award)

Michael Carbin, Sasa Misailovic, and Martin Rinard
Proceedings of the 2013 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2013)
Indianapolis, Indiana, October 2013

Writing programs using ordinary language

Systems that can convert written specifications into working code in a few narrow cases could be generalized to other tasks.

From Natural Language Specifications to Program Input Parsers

Tao Lei, Fan Long, Regina Barzilay, and Martin Rinard
Association For Computational Linguistics 2013
Sofia, Bulgaria, August 2013

New mathematical framework formalizes oddball programming techniques

Loop perforation - speeding up programs by skipping instructions - is just one method that gets rigorous mathematical treatment in a new paper.

Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs

Michael Carbin, Deokhwan Kim, Sasa Misailovic, and Martin Rinard
Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2012)
Beijing, China, June 2012

Defibrillator for stalled software

A new tool interrupts the "infinite loops" that cause computer hang-ups, letting users save data and finish tasks before restarting a stalled program.

Detecting and Escaping Infinite Loops with Jolt

Michael Carbin, Sasa Misailovic, Michael Kling, and Martin Rinard
25th European Conference on Object-Oriented Programming (ECOOP 2011)
Lancaster UK, July 2011

When good enough is better

By exploiting a simple but counterintuitive trick, a new system finds sections of computer programs where accuracy can be traded for speed.

Quality of Service Profiling

Sasa Misailovic, Stelios Sidiroglou, Henry Hoffmann, and Martin C. Rinard
Proceedings of the ACM/IEEE 32nd International Conference on Software Engineering (ICSE 2010)
Cape Town, South Africa, May 2010

Web sites that can take a punch

By preventing web applications from deviating from their normal behavior, a new MIT system can keep them online even during a cyberattack.

Automatically Patching Errors in Deployed Software

Jeff H. Perkins, Sunghun Kim, Sam Larsen, Saman Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, and Martin C. Rinard
22nd ACM Symposium on Operating Systems Principles (SOSP 2009)
Big Sky, Montana, October 2009