Frans Kaashoek | Academic Influence

Frans Kaashoek's AcademicInfluence.com Rankings

Frans Kaashoek

Computer Science

#540

World Rank

#560

Historical Rank

Database

#944

World Rank

#992

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Frans Kaashoek's Degrees

PhD Computer Science University of California, Berkeley
Masters Computer Science University of Twente
Bachelors Computer Science University of Twente

Similar Degrees You Can Earn

Why Is Frans Kaashoek Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Marinus Frans Kaashoek is a Dutch computer scientist, entrepreneur, and Charles Piper Professor at the Massachusetts Institute of Technology. He was elected a member of the National Academy of Engineering for contributions to computer systems, distributed systems, and content-distribution networks.

(See a Problem?)

Frans Kaashoek's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Chord: A scalable peer-to-peer lookup service for internet applications (2001) (11747)
Chord: a scalable peer-to-peer lookup protocol for internet applications (2003) (2999)
Resilient overlay networks (2002) (2037)
Wide-area cooperative storage with CFS (2001) (1866)
Exokernel: an operating system architecture for application-level resource management (1995) (1447)
Vivaldi: a decentralized network coordinate system (2004) (1284)
Overcast: reliable multicasting with on overlay network (2000) (1277)
The click modular router (2000) (1229)
Looking up data in P2P systems (2003) (792)
A measurement study of available bandwidth estimation tools (2003) (739)
Koorde: A Simple Degree-Optimal Distributed Hash Table (2003) (653)
Information flow control for standard OS abstractions (2007) (502)
Orca: A Language For Parallel Programming of Distributed Systems (1992) (490)
Designing a DHT for Low Latency and High Throughput (2004) (432)
An Analysis of Linux Scalability to Many Cores (2010) (425)
Corey: An Operating System for Many Cores (2008) (406)
Separating key management from file system security (1999) (405)
Labels and event processes in the Asbestos operating system (2005) (390)
On the Feasibility of Peer-to-Peer Web Indexing and Search (2003) (383)
Resilient overlay networks (2001) (375)
Rover: a toolkit for mobile information access (1995) (367)
Application performance and flexibility on exokernel systems (1997) (359)
Processing Analytical Queries over Encrypted Data (2013) (345)
CarNet: a scalable ad hoc wireless network system (2000) (316)
Efficient Replica Maintenance for Distributed Storage Systems (2006) (313)
Fast and secure distributed read-only file system (2000) (301)
Mobile Computing with the Rover Toolkit (1997) (300)
Group communication in the Amoeba distributed operating system (1991) (297)
Building peer-to-peer systems with chord, a distributed lookup service (2001) (288)
CRL: high-performance all-software distributed shared memory (1995) (287)
A performance vs. cost framework for evaluating DHT design tradeoffs under churn (2005) (259)
Comparing the Performance of Distributed Hash Tables Under Churn (2004) (255)
An efficient reliable broadcast protocol (1989) (252)
Peer-to-Peer Systems II (2003) (245)
Storage alternatives for mobile computers (1994) (244)
Using Crash Hoare logic for certifying the FSCQ file system (2015) (232)
The measured performance of content distribution networks (2001) (226)
DPF: fast, flexible message demultiplexing using dynamic code generation (1996) (224)
Measuring the effects of internet path faults on reactive routing (2003) (211)
Improving application security with data flow assertions (2009) (209)
Bandwidth-efficient management of DHT routing tables (2005) (201)
C: a language for high-level, efficient, and machine-independent dynamic code generation (1995) (199)
Ksplice: automatic rebootless kernel updates (2009) (190)
Embedded Inodes and Explicit Grouping: Exploiting Disk Bandwidth for Small Files (1997) (187)
Sybil-Resistant DHT Routing (2005) (182)
R2: An Application-Level Kernel for Record and Replay (2008) (175)
Exterminate all operating system abstractions (1995) (161)
D3S: Debugging Deployed Distributed Systems (2008) (155)
The logical disk: a new approach to improving file systems (1994) (149)
Linux kernel vulnerabilities: state-of-the-art defenses and open problems (2011) (148)
C and tcc: a language and compiler for dynamic code generation (1999) (142)
Practical, distributed network coordinates (2004) (141)
Whanau: A Sybil-proof Distributed Hash Table (2010) (141)
The case for resilient overlay networks (2001) (132)
Event-driven programming for robust software (2002) (130)
Parallel programming using shared objects and broadcasting (1992) (127)
Scalable address spaces using RCU balanced trees (2012) (124)
Intrusion Recovery Using Selective Re-execution (2010) (123)
Towards optimization-safe systems: analyzing the impact of undefined behavior (2013) (123)
Persistent personal names for globally connected mobile devices (2006) (122)
tcc: a system for fast, flexible, and high-level dynamic code generation (1997) (122)
Proactive Replication for Data Durability (2006) (119)
Flexible, Wide-Area Storage for Distributed Systems with WheelFS (2009) (114)
Object distribution in Orca using Compile-Time and Run-Time techniques (1993) (112)
Improving Integer Security for Systems with KINT (2012) (110)
Reconsidering Internet mobility (2001) (109)
Events Can Make Sense (2007) (106)
Software fault isolation with API integrity and multi-principal modules (2011) (104)
Non-scalable locks are dangerous (2012) (100)
An evaluation of the Amoeba group communication system (1996) (98)
RadixVM: scalable address spaces for multithreaded applications (2013) (92)
Optimistic active messages: a mechanism for scheduling communication with computation (1995) (85)
Server operating systems (1996) (83)
Multiprocessor Support for Event-Driven Programs (2003) (81)
Fast and flexible application-level networking on exokernel systems (2002) (80)
Experience with distributed programming in Orca (1990) (79)
Software prefetching and caching for translation lookaside buffers (1994) (79)
Undefined behavior: what happened to my code? (2012) (78)
PAN: a high-performance active network node supporting multiple mobile code systems (1999) (78)
Panda: a portable platform to support parallel programming languages (1993) (77)
The design, implementation and operation of an email pseudonym server (1998) (77)
Improving web availability for clients with MONET (2005) (76)
CPHASH: a cache-partitioned hash table (2012) (75)
The Amoeba distributed operating system - A status report (1991) (74)
A readable TCP in the Prolac protocol language (1999) (74)
Orca: a language for distributed programming (1990) (72)
Dynamic Documents: Mobile Wireless Access to the WWW (1994) (69)
AVM: application-level virtual memory (1995) (67)
Principles of Computer System Design: An Introduction (2009) (66)
The operating system kernel as a secure programmable machine (1995) (66)
Building reliable mobile-aware applications using the Rover toolkit (1996) (65)
FLIP: an internetwork protocol for supporting distributed systems (1993) (64)
Make Least Privilege a Right (Not a Privilege) (2005) (63)
OverCite: A Cooperative Digital Research Library (2005) (63)
Reinventing Scheduling for Multicore Systems (2009) (62)
Replication techniques for speeding up parallel applications on distributed systems (1992) (62)
ASHs: Application-specific handlers for high-performance messaging (1996) (62)
A Comparison of Two Distributed Systems: Amoeba and Sprite (1991) (62)
Verifying a high-performance crash-safe file system using a tree specification (2017) (59)
Alpaca: extensible authorization for distributed services (2007) (58)
VerSum: Verifiable Computations over Large Public Logs (2014) (57)
Decentralized user authentication in a global file system (2003) (56)
Role Classification of Hosts Within Enterprise Networks Based on Connection Patterns (2003) (54)
Secure applications need flexible operating systems (1997) (53)
A Distributed Implementation of the Shared Data-object Model (1989) (52)
A comparison of two paradigms for distributed shared memory (1992) (51)
Implementing sequentially consistent shared objects using broadcast and point-to-point communication (1995) (51)
Transparent fault-tolerance in parallel Orca programs (1992) (48)
Disconnected Operation in the Thor Object-Oriented Database System (1994) (45)
Group communication in Amoeba and its applications (1993) (41)
A distributed hash table (2006) (41)
The operating system kernel as a secure programmable machine (1994) (41)
Scaling a file system to many cores using an operation log (2017) (40)
Uia: a global connectivity architecture for mobile personal devices (2008) (39)
SSL splitting: Securely serving data from untrusted caches (2003) (38)
Verifying concurrent, crash-safe systems with Perennial (2019) (37)
Escaping the evils of centralized control with self-certifying pathnames (1998) (37)
Exploiting two-case delivery for fast protected messaging (1998) (36)
Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles (2007) (35)
Eyo: Device-Transparent Personal Storage (2011) (34)
Kademlia: A peer-to-peer information system based on the xor metric (2003) (34)
The scalable commutativity rule (2017) (33)
OverCite: A Distributed, Cooperative CiteSeer (2006) (33)
Xoc, an extension-oriented compiler for systems programming (2008) (32)
OpLog: a library for scaling update-heavy data structures (2014) (32)
Noria: dynamic, partially-stateful data-flow for high-performance web applications (2018) (31)
Guest Editors' Introduction: Scalable Internet Services (2001) (30)
Fault tolerance using group communication (1990) (30)
The Scalable Commutativity Rule (2015) (29)
Unnatural Language Processing: Bridging the Gap Between Synthetic and Natural Language Data (2020) (29)
Efficient Reliable Group Communication for Distributed Systems (1992) (29)
Experience with the Distributed Data Structure Paradigm in Linda (1989) (29)
Hare: a file system for non-cache-coherent multicores (2015) (25)
Dynamic Computation Migration in DSM Systems (1996) (25)
Programming a distributed system using shared objects (1993) (24)
Verifying concurrent software using movers in CSPEC (2018) (23)
Device transparency: a new model for mobile storage (2010) (23)
Specifying Crash Safety for Storage Systems (2015) (23)
The benefits and costs of writing a POSIX kernel in a high-level language (2018) (22)
The persistent relevance of IPC performance: new techniques for reducing the IPC penalty (1993) (22)
User-Relative Names for Globally Connected Personal Devices (2006) (20)
Separating key management from file system security (2000) (20)
Amber: Decoupling User Data from Web Applications (2015) (20)
Position: GDPR Compliance by Construction (2019) (20)
FUGU: Implementing Translation and Protection in a Multiuser, Multimodel Multiprocessor (1994) (19)
Experience with an evolving overlay network testbed (2003) (19)
Atomic recovery units: failure atomicity for logical disks (1996) (19)
A Differential Approach to Undefined Behavior Detection (2015) (18)
Using group communication to implement a fault-tolerant directory service (1993) (18)
Principles Of Computer System Design (2013) (17)
ASHs: application-specific handlers for high-performance messaging (1997) (16)
Proving confidentiality in a file system using DiskSec (2018) (16)
Don't Give Up on Distributed File Systems (2007) (15)
UsenetDHT: A Low-Overhead Design for Usenet (2008) (14)
REX: Secure, Extensible Remote Execution (2004) (14)
Dynamic Documents: Extensibility and Adaptability in the WWW (1994) (14)
Building reliable mobile‐aware applications using the Rover toolkit (1997) (14)
The click modular router (2000) (13)
Notary: a device for secure transaction approval (2019) (13)
The Migrate Approach to Internet Mobility1 (2001) (13)
GROUP COMMUNICATION IN DISTRIBUTED COMPUTER SYSTEMS (2001) (13)
PIKA: A Network Service for Multikernel Operating Systems (2014) (12)
Certifying a file system using crash hoare logic (2017) (12)
Argosy: verifying layered storage systems with recovery refinement (2019) (12)
Efficient Implementation of High-Level Languages on User-Level Communications Architectures (1994) (11)
Identifying Information Disclosure in Web Applications with Retroactive Auditing (2014) (11)
Programming language techniques for modular router congurations (2000) (10)
Security bugs in embedded interpreters (2013) (10)
Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract (2020) (10)
The Exokernel Approach to Operating System Extensibility (Panel Statement) (1994) (10)
Chapter 1 – Systems (2009) (10)
Report of the NSF Workshop on Research Challenges in Distributed Computer Systems (2005) (10)
The design of very fast portable compilers (1989) (9)
Using Broadcasting to Implement Distributed Shared Memory Efficiently (1994) (9)
GoJournal: a verified, concurrent, crash-safe journaling system (2021) (8)
Design and Implementation of a Modular, Flexible, and Fast System for Dynamic Protocol Composition (1996) (8)
Towards Multiverse Databases (2019) (7)
Peer-to-peer systems II : second International Workshop, IPTPS 2003, Berkeley, CA, USA, February 21-22, 2003 : revised papers (2003) (7)
Proceedings of the 8th ACM European Conference on Computer Systems (2013) (7)
The Amoeba Microkernel (1994) (7)
Retroactive auditing (2011) (6)
Simplifying wide-area application development with Wheelfs (2009) (6)
FLIP; an Internetwork Protocol for Supporting Distributed Systems (1992) (5)
tcc: A Template-Based Compiler for ‘C (2007) (5)
Oort: User-Centric Cloud Storage with Global Queries (2016) (5)
Object-based approach to programming distributed systems (1994) (5)
An experimental comparison of remote procedure call and group communication (1992) (5)
The Amoeba Microkennel (1994) (5)
A Software Approach to Unifying Multicore Caches (2011) (5)
A systems approach to teaching computer systems (2006) (4)
Towards optimization-safe systems (2013) (4)
Parallel computing and the OS (2015) (4)
Optimistic active messages: structuring systems for high-performance communication (1994) (4)
Revised Papers from the First International Workshop on Peer-to-Peer Systems (2002) (4)
A Case Study of Shared Memory and Message Passing: The Triangle Puzzle (1995) (3)
REX : Secure , modular remote execution through file descriptor passing (2003) (3)
Simplified Event Programming for Busy Network Applications (3)
Extracting and Optimizing Formally Verified Code for Systems Programming (2019) (2)
Programming multicomputers using shared objects (1993) (2)
RadixVM: Scalable address spaces for multithreaded applications (revised 2014-08-05) (2014) (2)
Design and applications of a secure and decentralized distributed hash table (2011) (2)
Chapter 6 – Performance (2009) (2)
Dynamic documents: mobile wireless access to the WWW (1994) (1)
Performance evolution of mitigating transient execution attacks (2022) (1)
Amoeba on a Multiprocessor (1989) (1)
A COMPARISON OF TWO PARADIGMS FOR DISTRIBUTED COMPUTING (1992) (1)
Reinventing Scheduling for Multicore Systems Citation (2010) (1)
Load Balancing in Structured P2P Systems using Server Reassignment Technique (2016) (1)
Orca: A Language for Distributed Object-Oriented Programming (1990) (1)
Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning (2022) (1)
Verifying Hardware Security Modules with Information-Preserving Refinement (2022) (1)
Enforcing Modularity with Virtualization (2009) (1)
Estimating Bulk Transfer Capacity (2002) (1)
Whanaungatanga: Sybil-proof routing with social networks (2009) (1)
rtlv: push-button verification of software on hardware (2021) (1)
A Scalable Object-Based Architecture (1991) (1)
Notary (2019) (1)
“ A P 2 P Storage System Based on Erasure Codes (2003) (1)
Chairs' report on Twenty-First ACM Symposium on Operating Systems Principles (2008) (0)
Exokernel and Exotools (2002) (0)
2 . 1 MapReduce Programming Model (2010) (0)
Building Distributed, Wide-Area Applications with WheelFS (2008) (0)
Keynote II: Building Distributed, Wide-Area Applications with WheelFS (2008) (0)
The Design of Naming Schemes (2009) (0)
VU Research Portal An Efficient Reliable Broadcast Protocol (2003) (0)
A User Level Modular File-system Infrastructure by Yonah Schmeidler (2009) (0)
Intrusion Recovery Using Selective Re-execution Citation (2010) (0)
Noria: A New Take on Fast Web Application Backends (2019) (0)
Fast and Flexible Application-level Networking on Exokernel Systems (CMU-CS-00-117) (2000) (0)
A Revised and Verified Proof of the Scalable Commutativity Rule (2018) (0)
Processing of Query in Peer to Peer Networks (2020) (0)
Processing Analytical Queries over Encrypted Data Citation (2013) (0)
Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, SOSP 2007, Stevenson, Washington, USA, October 14-17, 2007 (2007) (0)
Extending a verified file system with concurrency (2017) (0)
Elements of Computer System Organization (2009) (0)
Scalable Address Spaces Using Rcu Balanced Trees Citation (2012) (0)
Retroactive auditing Citation (2011) (0)
Parallel Programming on Amoeba Using Efficient Distributed Shared Memory (1992) (0)
Extracting parallelism in OS kernels using type-safe languages (2015) (0)
Using a modified object buffer to improve the write performance of an object-oriented database (1995) (0)
Enforcing Modularity with Clients and Services (2009) (0)

This paper list is powered by the following services:

Other Resources About Frans Kaashoek

en.wikipedia.org

What Schools Are Affiliated With Frans Kaashoek?

Frans Kaashoek is affiliated with the following schools: