Automatic code-patching system corrects nearly twice as many errors as its predecessors.
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
System makes modifications necessary to transplant code from one program into another.
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
New analog compiler could help enable simulation of whole organs and even organisms.
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
Automatic bug-repair system fixes 10 times as many errors as its predecessors.
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
Half of the communication connections established by the top 500 Android apps have no effect on user experience.
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
System fixes bugs by importing functionality from other programs – without access to source code.
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
System to automatically find a common type of programming bug significantly outperforms its predecessors.
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
New system would allow programmers to easily trade computational accuracy for energy savings.
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
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.
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
Systems that can convert written specifications into working code in a few narrow cases could be generalized to other tasks.
Tao Lei, Fan Long, Regina Barzilay, and Martin Rinard
Association For Computational Linguistics 2013
Sofia, Bulgaria, August 2013
Loop perforation - speeding up programs by skipping instructions - is just one method that gets rigorous mathematical treatment in a new paper.
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
A new tool interrupts the "infinite loops" that cause computer hang-ups, letting users save data and finish tasks before restarting a stalled program.
Michael Carbin, Sasa Misailovic, Michael Kling, and Martin Rinard
25th European Conference on Object-Oriented Programming (ECOOP 2011)
Lancaster UK, July 2011
By exploiting a simple but counterintuitive trick, a new system finds sections of computer programs where accuracy can be traded for speed.
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
By preventing web applications from deviating from their normal behavior, a new MIT system can keep them online even during a cyberattack.
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