Dr. Rinard is a Professor in the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology and a member of the Computer Science and Artificial Intelligence Laboratory. His research focuses on software systems and related topics, including computer security, program analysis and compilation, machine learning and programming, approximate computing, and software robustness and reliability.
|Approximate Computing||Code Transfer||Genesis|
|Failure-Oblivious Computing||Credible Compilation||Prophet|
|Commutativity Analysis||Loop Perforation||Arco|
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
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
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
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
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
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