M. Frans Kaashoek

Massachusetts Institute of Technology

Professor

Department of Electrical Engineering and Computer Science

Which program are you applying for ?

View Bookmark

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’

Citations of SCIE papers SCIE papers 08k16k24k32k40k070140210280350420490560

*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

    Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert T. Morris, Eddie Kohler

    DOI : 10.1145/2699681

  • A Differential Approach to Undefined Behavior Detection

    2015/03 ACM TRANSACTIONS ON COMPUTER SYSTEMS 1.601 Impact Factor 22 citations

    Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama

    DOI : 10.1145/2699678

How can I correct errors in PhD.GO?


Papers for author ‘M. Frans Kaashoek’: 5

Number of published SCIE papers by year

01234201520162017
H-index 4
Number of NCS papers 0

*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

    Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert T. Morris, Eddie Kohler

    DOI : 10.1145/2699681

  • A Differential Approach to Undefined Behavior Detection

    2015/03 ACM TRANSACTIONS ON COMPUTER SYSTEMS 1.601 Impact Factor 22 citations

    Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama

    DOI : 10.1145/2699678

How can I correct errors in PhD.GO?

conference information

Papers relevant to ‘Computer science’: 17

Research performance of Top-tier Conference matching with ‘Computer science’

Citations of Top-tier Conference Top-tier Conference paper(s) 020k40k60k80k100k0306090120150180210240

*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

    Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich

    DOI : 10.1145/2815400.2815402

  • Building web applications on top of encrypted data using Mylar

    2014/04 NSDI Top-tier Conference 170 citations

    Raluca Ada Popa, Emily Stark, Jonas Helfer, Steven Valdez, Nickolai Zeldovich, M. Frans Kaashoek, Hari Balakrishnan

    DOI : 10.5555/2616448.2616464

How can I correct errors in PhD.GO?


Papers for author ‘M. Frans Kaashoek’: 17

Number of published Top-tier Conference by year

012342014201520162017201820192020
Top-tier Conference 17

*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

    Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich

    DOI : 10.1145/2815400.2815402

  • Building web applications on top of encrypted data using Mylar

    2014/04 NSDI Top-tier Conference 170 citations

    Raluca Ada Popa, Emily Stark, Jonas Helfer, Steven Valdez, Nickolai Zeldovich, M. Frans Kaashoek, Hari Balakrishnan

    DOI : 10.5555/2616448.2616464

How can I correct errors in PhD.GO?