M. Frans Kaashoek
Massachusetts Institute of Technology
Professor
Department of Electrical Engineering and Computer Science
Research Area
#Computer science#Operating system#File system#Programming language#Computer security#Correctness#Mathematical proof#Directory#Hoare logic#Proof assistant
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.
The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors
2015/01 ACM TRANSACTIONS ON COMPUTER SYSTEMS 1.601 Impact Factor 197 citations
A Differential Approach to Undefined Behavior Detection
2015/03 ACM TRANSACTIONS ON COMPUTER SYSTEMS 1.601 Impact Factor 22 citations
Papers for author ‘M. Frans Kaashoek’: 5
Number of published SCIE papers by year
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors
2015/01 ACM TRANSACTIONS ON COMPUTER SYSTEMS 1.601 Impact Factor 197 citations
A Differential Approach to Undefined Behavior Detection
2015/03 ACM TRANSACTIONS ON COMPUTER SYSTEMS 1.601 Impact Factor 22 citations
conference information
Papers relevant to ‘Computer science’: 17
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.
Using Crash Hoare logic for certifying the FSCQ file system
2015/10 SOSP Top-tier Conference 223 citations
Building web applications on top of encrypted data using Mylar
2014/04 NSDI Top-tier Conference 170 citations
Papers for author ‘M. Frans Kaashoek’: 17
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.
Using Crash Hoare logic for certifying the FSCQ file system
2015/10 SOSP Top-tier Conference 223 citations
Building web applications on top of encrypted data using Mylar
2014/04 NSDI Top-tier Conference 170 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