Now you are in the subtree of Misc public knowledge tree. 

Resources for Distributed Computing

People

People working on the Theory of Distributed Computing

People working on the Theory of Multiprocessor Programming

  • Victor Luchangco @ Oracle Labs

    Victor Luchangco works in the Scalable Synchronization Group of Oracle Labs. His research focuses on developing algorithms and mechanisms to support concurrent programming on large-scale distributed systems.

  • Mark Moir @ Oracle Labs

    Moir's main research interests concern practical and theoretical aspects of concurrent, distributed, and real-time systems, particularly hardware and software support for programming constructs that facilitate scalable synchronization in shared memory multiprocessors.

Sarita V. Adve lots on memory models

People working on the Theory of Distributed Systems

People working on Real Large-scale Distributed Systems

  • Brian F. Cooper > I am a software engineer at Google. Before that, I was a principal research scientist at Yahoo! Research. Before that I was an assistant professor at Georgia Tech, and before that I was a PhD student at Stanford.

Groups

SIG

Conferences (at DBLP)

General Theory of Computer Science

FCRC'15 Federated Computing Research Conference FCRC 2015 assembles a spectrum of affiliated research conferences and workshops into a week long coordinated meeting held at a common time in a common place.;
FOCS;
STOC;
SODA;
MFCS Mathematical Foundations of Computer Science;

Distributed Computing and Concurrency Theory

PODC;

DISC;

ICDCS;
OPODIS;
SRDS
ICDCN

CONCUR;
SPAA

Programming Languages

POPL;
PLDI;

Systems

NSDI;
OSDI;
SOSP;

Keywords at DBLP

weighted automata; replicated transactional;
Geometric Automata;
probabilistic quorum;
geometry concurrency

Journals

Workshops

Magazines

Prizes

Courses & Paper Reading Lists

Computer Science Ph.D. Thesis

Tools

Blogs

English

Chinese

Other Articles

Videos

From Leslie Lamport

  • What is Computation: Dr. Leslie Lamport, Microsoft
  • Thinking Above the Code Architects draw detailed blueprints before a brick is laid or a nail is hammered. Programmers and software engineers seldom do. A blueprint for software is called a specification. The need for extremely rigorous specifications before coding complex or critical systems should be obvious—especially for concurrent and distributed systems. This talk explains why some sort of specification should be written for any software.

Books

  • Synthesis Lectures on Distributed Computing Theory > Synthesis Lectures on Distributed Computing Theory is edited by Jennifer Welch of Texas A&M University and Nancy Lynch of the Massachusetts Institute of Technology. The series publishes 50- to 150-page publications on topics pertaining to distributed computing theory. The scope largely follows the purview of premier information and computer science conferences, such as ACM PODC, DISC, SPAA, OPODIS, CONCUR, DialM-POMC, ICDCS, SODA, Sirocco, SSS, and related conferences. Potential topics include, but not are limited to: distributed algorithms and lower bounds, algorithm design methods, formal modeling and verification of distributed algorithms, and concurrent data structures.

Miscellaneous