Operating Systems
One of the architects of BSD Unix which was a major factor in the rapid growth of the Internet.
BSD UnixTCP/IPInternet
Performance Evaluation and Modeling
Implementation and evaluation of the virtual memory subsystem in BSD Unix.
Virtual MemoryModelingBSD Unix
Distributed Computing and Cognification
Work on global state detection and
atomic commitment problems.
Application of predictive models to achieve Cognified Distributed Systems.
Global StateCommitmentAlgorithms
Byzantine Agreement
Study of communication network topologies' role in this fundamental problem with contributions to lower-bound results and algorithms.
ByzantineTopologyConsensus
Parallel Computing on Networks of Workstations
Development of the Paralex system transforming local-area network workstations into a "supercomputer," establishing the NOW research field.
ParalexNOWSupercomputer
Group Communication Systems
Work on group communication in partitionable systems introduced the
"overlay network"
concept as fundamental abstraction for
distributed systems.
Overlay NetworksPartitionableMembership
Peer-to-Peer Systems
Contributions through paradigms, algorithms, frameworks (Anthill), and widely-used open source PeerSim simulation software, spurring interest in complex systems and bio-inspired computing.
AnthillPeerSimP2P
Autonomic Computing and Self-Management
Early advocacy for "grassroots" and "data-driven" approaches achieving
self-* properties
in data centers through
emergence and machine learning
rather than explicit programming.
Self-ManagementEmergenceMachine Learning
Gossip-Based Techniques
Development of gossip-based algorithms for aggregation, topology management, shape formation, and loose synchronization in large distributed systems.
EpidemicAggregationSynchronization
Biology and Nature-Inspired Computing
Development of "design patterns" library for distributed computing inspired by biological or natural processes as part of the EU BISON Project.
BISONBio-inspiredPatterns
Game Theoretic Techniques
Early application of evolutionary game theory ideas to problems of cooperation and selfishness in peer-to-peer computing.
EvolutionaryCooperationP2P
Cloud Computing
Proposed architectures for peer-to-peer cloud computing and algorithms for server consolidation leveraging P2P systems to reduce costs and energy consumption.
P2P CloudEnergyConsolidation
High-Performance Computing
Application of machine learning techniques to building predictive models for failures, fault classification, job dispatching, and power consumption in data centers and HPC systems.
Machine LearningFailuresHPC