
Martin Rinard
Massachusetts Institute of Technology
Professor
Department of Electrical Engineering and Computer Science
Research Area
#Computer science#Algorithm#Software#Code (cryptography)#Benchmark (computing)#Computation#Set (abstract data type)#Software engineering#Data mining#Correctness
SCIE paper information
Papers relevant to ‘Computer science’: 5
Research performance of SCIE papers matching with ‘Computer science’
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
Verifying quantitative reliability for programs that execute on unreliable hardware
2016/07 COMMUNICATIONS OF THE ACM 4.027 Impact Factor 299 citations
Efficiency Limits for Value-Deviation-Bounded Approximate Communication
2015/09 IEEE EMBEDDED SYSTEMS LETTERS 1.5 Impact Factor 9 citations
Papers for author ‘Martin Rinard’: 6
Number of published SCIE papers by year
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
Verifying quantitative reliability for programs that execute on unreliable hardware
2016/07 COMMUNICATIONS OF THE ACM 4.027 Impact Factor 299 citations
Efficiency Limits for Value-Deviation-Bounded Approximate Communication
2015/09 IEEE EMBEDDED SYSTEMS LETTERS 1.5 Impact Factor 9 citations
conference information
Papers relevant to ‘Computer science’: 24
Research performance of Top-tier Conference matching with ‘Computer science’
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
Automatic patch generation by learning correct code
2016/01 POPL Top-tier Conference 457 citations
Information-Flow Analysis of Android Applications in DroidSafe
2015/01 NDSS Top-tier Conference 449 citations
Papers for author ‘Martin Rinard’: 27
Number of published Top-tier Conference by year
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
Automatic patch generation by learning correct code
2016/01 POPL Top-tier Conference 457 citations
Information-Flow Analysis of Android Applications in DroidSafe
2015/01 NDSS Top-tier Conference 449 citations
Log in to PhD.GO
Access the Bookmarks
Add or remove professors and programs of interest from your Bookmarks
Subscribe to the graduate program newsletters that you've bookmarked
Enter your test results to ensure you meet the minimum for each graduate program at Bookmarks
At a glance, see program deadlines you've bookmarked on your calendar