
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’
*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
CNTR: lightweight OS containers
2018/07 USENIX ATC Top-tier Conference 32 citations
Papers for author ‘Pedro Fonseca’: 7
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.
An Empirical Study on the Correctness of Formally Verified Distributed Systems
2017/04 EUROSYS Top-tier Conference 59 citations
CNTR: lightweight OS containers
2018/07 USENIX ATC Top-tier Conference 32 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