Pedro Fonseca

Purdue University

Assistant Professor

Department of Computer Science

Which program are you applying for ?

View Bookmark

Research Area

#Computer science#Operating system#Distributed computing#Scalability#Implementation#Hypervisor#Computer security#Programming language#Parallel computing#Formal verification

conference information

Papers relevant to ‘Computer science’: 7

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.

  • An Empirical Study on the Correctness of Formally Verified Distributed Systems

    2017/04 EUROSYS Top-tier Conference 59 citations

    Pedro Fonseca, Kaiyuan Zhang, Xi Wang, Arvind Krishnamurthy

    DOI : 10.1145/3064176.3064183

  • CNTR: lightweight OS containers

    2018/07 USENIX ATC Top-tier Conference 32 citations

    Jörg Thalheim, Pramod Bhatotia, Pedro Fonseca, Baris Kasikci

How can I correct errors in PhD.GO?


Papers for author ‘Pedro Fonseca’: 7

Number of published Top-tier Conference by year

01234201420152016201720182020
Top-tier Conference 7

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

  • An Empirical Study on the Correctness of Formally Verified Distributed Systems

    2017/04 EUROSYS Top-tier Conference 59 citations

    Pedro Fonseca, Kaiyuan Zhang, Xi Wang, Arvind Krishnamurthy

    DOI : 10.1145/3064176.3064183

  • CNTR: lightweight OS containers

    2018/07 USENIX ATC Top-tier Conference 32 citations

    Jörg Thalheim, Pramod Bhatotia, Pedro Fonseca, Baris Kasikci

How can I correct errors in PhD.GO?