Adam Chlipala

Massachusetts Institute of Technology

Associate Professor

Department of Electrical Engineering and Computer Science

Which program are you applying for ?

View Bookmark

Research Area

#Computer science#Programming language#Correctness#Mathematical proof#File system#Compiler#Proof assistant#Operating system#Theoretical computer science#Cache

SCIE paper information

Papers relevant to ‘Computer science’: 3

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.

  • Ur/Web: a simple model for programming the web

    2016/07 COMMUNICATIONS OF THE ACM 4.027 Impact Factor 7 citations

    Adam Chlipala

    DOI : 10.1145/2958736

  • Certifying a file system using crash hoare logic: correctness in the presence of crashes

    2017/03 COMMUNICATIONS OF THE ACM 3.063 Impact Factor 6 citations

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

    DOI : 10.1145/3051092

How can I correct errors in PhD.GO?


Papers for author ‘Adam Chlipala’: 3

Number of published SCIE papers by year

01234201620172019
H-index 2
Number of NCS papers 0

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • Ur/Web: a simple model for programming the web

    2016/07 COMMUNICATIONS OF THE ACM 4.027 Impact Factor 7 citations

    Adam Chlipala

    DOI : 10.1145/2958736

  • Certifying a file system using crash hoare logic: correctness in the presence of crashes

    2017/03 COMMUNICATIONS OF THE ACM 3.063 Impact Factor 6 citations

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

    DOI : 10.1145/3051092

How can I correct errors in PhD.GO?

conference information

Papers relevant to ‘Computer science’: 16

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

  • Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant

    2015/01 POPL Top-tier Conference 101 citations

    Benjamin Delaware, Clément Pit-Claudel, Jason Gross, Adam Chlipala

    DOI : 10.1145/2676726.2677006

How can I correct errors in PhD.GO?


Papers for author ‘Adam Chlipala’: 16

Number of published Top-tier Conference by year

024682014201520162017201820192020
Top-tier Conference 16

*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

  • Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant

    2015/01 POPL Top-tier Conference 101 citations

    Benjamin Delaware, Clément Pit-Claudel, Jason Gross, Adam Chlipala

    DOI : 10.1145/2676726.2677006

How can I correct errors in PhD.GO?