CiteULike: pedagand's distributed-systems [14 articles]

Paxos Made Simple

SIGACT News, Vol. 32, No. 4. (December 2001), pp. 51-58.

by Leslie Lamport

posted to distributed-systems lecture-cse-551 by pedagand on 2009-07-02 22:16:52 as read

along with 3 people robertjohnsimmons myui ejones

Haskell session types with (almost) no class

In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 25-36.

by Riccardo Pucella, Jesse A. Tov

posted to distributed-systems language-haskell session-types type type-classes by pedagand on 2009-06-25 19:42:24 as

along with 4 people ama08r shimomura tov keigoi

Wait-free k-set agreement is impossible: the topology of public knowledge

In STOC '93: Proceedings of the twenty-fifth annual ACM symposium on Theory of computing (1993), pp. 101-110.

by Michael Saks, Fotios Zaharoglou

posted to agreement-problem distributed-systems topology by pedagand on 2009-03-24 19:13:58 as

along with 2 people estrabd xingwuliu

The topological structure of asynchronous computability

J. ACM, Vol. 46, No. 6. (November 1999), pp. 858-923.

by Maurice Herlihy, Nir Shavit

posted to asynchronous-system distributed-systems topology by pedagand on 2009-03-24 19:13:07 as

along with 6 people and 4 groups muli jrw tautologico wnoise euclid meiersi Algorithms metric_embeddings TCS Polytopes

Speculative execution in a distributed file system

In SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles, Vol. 39, No. 5. (December 2005), pp. 191-205.

by Edmund B. Nightingale, Peter M. Chen, Jason Flinn

posted to distributed-systems lecture-aos virtualization operating-system by pedagand on 2009-02-25 09:47:49 as

along with 3 people and 2 groups diwakergupta epaulson jcasper sysnet sucs

The V distributed system

Commun. ACM, Vol. 31, No. 3. (March 1988), pp. 314-333.

by David Cheriton

posted to bulk-data-transport distributed-systems inter-process-communication lecture-aos operating-system by pedagand on 2009-02-24 20:40:04 as read

along with 1 person dmikurube

Wanted: a compositional approach to concurrency

(2003), pp. 5-15.

by C. B. Jones

posted to concurrency distributed-systems rely-guarantee by pedagand on 2009-02-12 19:26:36 as read

Tentative steps toward a development method for interfering programs

ACM Trans. Program. Lang. Syst., Vol. 5, No. 4. (1983), pp. 596-619.

by C. B. Jones

posted to concurrency distributed-systems rely-guarantee by pedagand on 2009-02-12 19:22:48 as read

Verifying distributed systems: the operational approach

In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 429-440.

by Thomas Ridge

posted to distributed-systems hol mechanization software-verification theorem-prover by pedagand on 2009-02-12 17:41:03 as read

Checking a Multithreaded Algorithm with +CAL

Distributed Computing (2006), pp. 151-163.

by Leslie Lamport

posted to distributed-systems project-master-thesis tool-cal tool-tla by pedagand on 2008-12-26 23:13:34 as read

Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example

In Euro-Par '99: Proceedings of the 5th International Euro-Par Conference on Parallel Processing (1999), pp. 806-814.

by Michel Raynal

posted to clock-vector distributed-systems lecture-asr by pedagand on 2008-10-12 21:10:27 as

Consensus in synchronous systems: a concise guided tour

Dependable Computing, 2002. Proceedings. 2002 Pacific Rim International Symposium on In Dependable Computing, 2002. Proceedings. 2002 Pacific Rim International Symposium on (2002), pp. 221-228.

by M. Raynal

posted to consensus distributed distributed-systems lecture-dac synchronous-system by pedagand on 2008-10-01 17:17:14 as read

Time, clocks, and the ordering of events in a distributed system

Commun. ACM, Vol. 21, No. 7. (July 1978), pp. 558-565.

by Leslie Lamport

Virtual Time and Global States of Distributed Systems

In Parallel and Distributed Algorithms: proceedings of the International Workshop on Parallel and Distributed Algorithms

by Friedemann Mattern

posted to clock-vector distributed-systems lecture-asr time by pedagand on 2008-09-06 14:31:21 as read

along with 5 people mercutio fmc saintedlama JonKale MatsKindahl

	Paxos Made Simple [My Copy] SIGACT News, Vol. 32, No. 4. (December 2001), pp. 51-58. by Leslie Lamport posted to distributed-systems lecture-cse-551 by pedagand on 2009-07-02 22:16:52 as along with 3 people robertjohnsimmons myui ejones
	Haskell session types with (almost) no class [My Copy] In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 25-36. by Riccardo Pucella, Jesse A. Tov posted to distributed-systems language-haskell session-types type type-classes by pedagand on 2009-06-25 19:42:24 as along with 4 people ama08r shimomura tov keigoi
	Wait-free k-set agreement is impossible: the topology of public knowledge [My Copy] In STOC '93: Proceedings of the twenty-fifth annual ACM symposium on Theory of computing (1993), pp. 101-110. by Michael Saks, Fotios Zaharoglou posted to agreement-problem distributed-systems topology by pedagand on 2009-03-24 19:13:58 as along with 2 people estrabd xingwuliu
	The topological structure of asynchronous computability [My Copy] J. ACM, Vol. 46, No. 6. (November 1999), pp. 858-923. by Maurice Herlihy, Nir Shavit posted to asynchronous-system distributed-systems topology by pedagand on 2009-03-24 19:13:07 as along with 6 people and 4 groups muli jrw tautologico wnoise euclid meiersi Algorithms metric_embeddings TCS Polytopes
	Speculative execution in a distributed file system [My Copy] In SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles, Vol. 39, No. 5. (December 2005), pp. 191-205. by Edmund B. Nightingale, Peter M. Chen, Jason Flinn posted to distributed-systems lecture-aos virtualization operating-system by pedagand on 2009-02-25 09:47:49 as along with 3 people and 2 groups diwakergupta epaulson jcasper sysnet sucs
	The V distributed system [My Copy] Commun. ACM, Vol. 31, No. 3. (March 1988), pp. 314-333. by David Cheriton posted to bulk-data-transport distributed-systems inter-process-communication lecture-aos operating-system by pedagand on 2009-02-24 20:40:04 as along with 1 person dmikurube
	Wanted: a compositional approach to concurrency [My Copy] (2003), pp. 5-15. by C. B. Jones posted to concurrency distributed-systems rely-guarantee by pedagand on 2009-02-12 19:26:36 as
	Tentative steps toward a development method for interfering programs [My Copy] ACM Trans. Program. Lang. Syst., Vol. 5, No. 4. (1983), pp. 596-619. by C. B. Jones posted to concurrency distributed-systems rely-guarantee by pedagand on 2009-02-12 19:22:48 as
	Verifying distributed systems: the operational approach [My Copy] In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 429-440. by Thomas Ridge posted to distributed-systems hol mechanization software-verification theorem-prover by pedagand on 2009-02-12 17:41:03 as
	Checking a Multithreaded Algorithm with +CAL [My Copy] Distributed Computing (2006), pp. 151-163. by Leslie Lamport posted to distributed-systems project-master-thesis tool-cal tool-tla by pedagand on 2008-12-26 23:13:34 as
	Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example [My Copy] In Euro-Par '99: Proceedings of the 5th International Euro-Par Conference on Parallel Processing (1999), pp. 806-814. by Michel Raynal posted to clock-vector distributed-systems lecture-asr by pedagand on 2008-10-12 21:10:27 as
	Consensus in synchronous systems: a concise guided tour [My Copy] Dependable Computing, 2002. Proceedings. 2002 Pacific Rim International Symposium on In Dependable Computing, 2002. Proceedings. 2002 Pacific Rim International Symposium on (2002), pp. 221-228. by M. Raynal posted to consensus distributed distributed-systems lecture-dac synchronous-system by pedagand on 2008-10-01 17:17:14 as
	Time, clocks, and the ordering of events in a distributed system [My Copy] Commun. ACM, Vol. 21, No. 7. (July 1978), pp. 558-565. by Leslie Lamport posted to distributed-systems lecture-asr time lecture-cse-551 by pedagand on 2008-09-23 12:12:47 as along with 34 people and 5 groups kistijantoro raoul1024 parnell pkt michaelbanks henrykploetz rhishi ricardoaraujo verma7 mercutio egh A_Olympia ejones EasonCheng balicea farrellee pilho mstone muraken rblake ljcamargos fmc abetaha bendiken rlai jfischer JuliusDegesys john_ardelius saintedlama mahendra_kutare agupta0318 HenryR NSumner muli Philosophy_of_Information Blog_and_Wiki_Research uiuc-cs MITCCI The Atlas Room
	Virtual Time and Global States of Distributed Systems [My Copy] In Parallel and Distributed Algorithms: proceedings of the International Workshop on Parallel and Distributed Algorithms by Friedemann Mattern posted to clock-vector distributed-systems lecture-asr time by pedagand on 2008-09-06 14:31:21 as along with 5 people mercutio fmc saintedlama JonKale MatsKindahl

pedagand's distributed-systems [14 articles] Export

pedagand's tags

functional-programming	89
language-haskell	86
operating-system	73
project-master-thesis	68
lecture-cs-252r	66
types	66
p2p	64
dependent-types	40
lecture-aos	37
formal-proof	35
category-theory	30
project-p2p-theory	28
monads	27
compiler	26
lecture-sdr	26
programming-language	25
gossip	24
project-pre-phd	23
distributed	22
lecture-cse-551	22
lecture-acnds	21
file-system	20
software-verification	20
architecture	17
lecture-vts	17
coq	16
system-programming	16
virtualization	16
optimization	15
parallel	15
concurrency	14
distributed-systems	14
lecture-pas	14
multicast	12
container-theory	11
lecture-pap	11
chemical-abstract-machine	10
domain-specific-language	10
generic-programming	10
lecture-asr	10
networking	10
semantics	10
sigcomm-recommended-reading	10
stm	10
testing	10
dht	9
functional-reactive	9
interpreter	9
specification	9
abstract-interpretation	8
caml	8
data-flow	8
device-driver	8
ml	8
network	8
project-schame	8
tool-tla	8
homework-sdr-1	7
incentives	7
language-epigram	7
language-ivy	7
lecture-pev	7
multiset	7
parallel-computing	7
project-stream-theory	7
timed-automata	7
type-classes	7
algebra-of-programming	6
bulk-data-transport	6
certification	6
coinduction	6
coq-programming	6
free-rider	6
garbage-collection	6
grid-computing	6
inter-process-communication	6
lambda-calculus	6
language-agda	6
language-c	6
language-java	6
lecture-dac	6
lock-free	6
model-checking	6
proof	6
reactive-language	6
real-time	6
worms	6
arrows	5
capability	5
containment	5
cps	5
data-structure	5
exceptions	5
gamma-model	5
homework-pas-1	5
hybrid-types	5
isabelle	5
mathematics	5
mechanization	5
project-phd-thesis	5
proof-simulation	5
threads	5
typed-assembly-language	5
universe-desc	5
binary-decision-diagram	4
bittorrent	4
clock-vector	4
consensus	4
crypto	4
distributed-computing	4
effects	4
fair-sharing	4
functional-circuit	4
homework-vts-1	4
io-automata	4
join-calculus	4
lambda-machine	4
language	4
language-deputy	4
language-mace	4
lava	4
lazy-language	4
meta-compilation	4
pastry	4
performance-debugging	4
physic	4
polymorphism	4
pretty-printer	4
project-opis	4
remote-procedure-calls	4
scheduler	4
sybil-attack	4
theorem-prover	4
thread-implementation	4
time	4
type-checker	4
universe	4
asynchronous-exceptions	3
binary-translation	3
byzantine-fault	3
cache	3
continuations	3
dataflow-analysis	3
dynamic-code-loading	3
embedded	3
event-driven	3
formalization	3
hardware-design	3
ia-64	3
induction-recursion	3
lisp	3
lucid-synchrone	3
multi-threading	3
nooks	3
parallel-io	3
pointer-analysis	3
protocol	3
pure	3
security	3
sequent-calculus	3
shared-memory	3
state-machines	3
streaming	3
synchronous-language	3
tactic	3
translation-validation	3
type-refinement	3
types-gadt	3
zipper	3
aspect-oriented-programming	2
asynchronous-system	2
bidirectionalization	2
broadcasting	2
calculus-of-construction	2
can	2
causal-order	2
churn	2
combinator	2
comonad	2
computing	2
concurrent-ml	2
congestion-control	2
control-flow	2
cryptanalysis	2
ddos	2
defunctionalization	2
event	2
failure-detector	2
fpga	2
free-theorems	2
graph-reduction	2
graph-theory	2
higher-order	2
hol	2
homework-pev-1	2
information-flow	2
interface-definition-language	2
jahob	2
java-bytecode	2
kleisli-structures	2
label-based-security	2
language-bitc	2
language-clean	2
language-scheme	2
language-vault	2
lattice	2
linear-types	2
logic-programming	2
map-reduce	2
memory-management	2
mesh	2
micro-kernel	2
monadic-region	2
multi-core	2
mutual-exclusion	2
network-location-service	2
object-storage	2
open-problem	2
os-k42	2
os-sel4	2
os-singularity	2
ott	2
partial-order	2
precomputation	2
probability	2
project-scale-max	2
pushdown-timed-automata	2
quicksilver	2
rely-guarantee	2
safety-violation	2
scheme	2
simulation	2
social-network	2
software-based-fault-isolation	2
stream-processor	2
system-f	2
test-selection	2
thermodynamics	2
time-analysis	2
time-memory	2
tool-cal	2
tool-kddm	2
tool-valgrind	2
topology	2
trade-off	2
transaction	2
tree	2
trust	2
type	2
type-inference	2
vliw	2
writing	2
xen	2
xml	2
active-network	1
adaptive	1
agreement-problem	1
algebra	1
applicative	1
asic	1
attribute-grammar	1
automated-theorem-prover	1
automatic-mutual-exclusion	1
axiomatic-analysis	1
backup-system	1
bayeux	1
bidirectional	1
black-box	1
blame-calculus	1
branch-prediction	1
bullet	1
calculus	1
clock-matrix	1
cluster	1
code-generation	1
code-propagation	1
coherency	1
component-programming	1
comprehension	1
computational-power	1
computer-history	1
computer-mathematics	1
constraint-based-analysis	1
contracts	1
coproducts	1
credible-compilation	1
cyclon	1
datalog	1
data-type	1
debugging	1
declarative	1
delimited-continuations	1
denali	1
derivative	1
digital-fountain	1
dmt	1
documentation	1
dps	1
driver-protocol-state-machine	1
elimination	1
equational-reasoning	1
erasure-correcting-codes	1
experimentation	1
expression-problem	1
expressive-power	1
finance	1
finite-state-machine	1
floating-point-arithmetic	1
flp	1
fluid-model	1
flux-oskit	1
fold	1
functional-dependencies	1
generational-gc	1
gradual-types	1
hash	1
herlihy-hierarchy	1
hive	1
hoare-type-theory	1
homework-pap-1	1
hot-code-swapping	1
idl-hdirect	1
idl-idl4	1
imperative-programming	1
impossibility-result	1
impure	1
internet	1
io-characterization	1
iolts	1
io-scheduling	1
isa	1
itanium	1
kahn-network	1
kernel	1
language-atomcaml	1
language-bpl	1
language-clight	1
language-cpp	1
language-fp	1
language-gofer	1
language-miranda	1
language-oleg	1
language-sml	1
language-spec	1
language-tame	1
language-vbasic	1
lawvere-theories	1
lazy-receiver-processing	1
leader-election	1
lectiure-asr	1
lecture-os-prelim	1
library-communication	1
linear-algebra	1
linear-restraints	1
literate-programming	1
live-objects	1
llvm	1
logic	1
lustre	1
macro	1
manual-memory-management	1
memory-coherence	1
memory-model	1
memory-protection	1
meridian	1
metal	1
meta-mathematics	1
meta-programming	1
method-mixins	1
mips	1
modulo-scheduling	1
mondriaan	1
mpi-io	1
multi-language	1
natural-semantics	1
nfs	1
noninterference	1
normalization	1
observational-equality	1
orc	1
os-asbestos	1
os-barrelfish	1
os-fluke	1
os-histar	1
os-mungi	1
os-nexus	1
os-scout	1
ossification	1
os-spring	1
os-unix	1
partial-evaluation	1
pipeline	1
polymorphic	1
precise-interrupts	1
printf	1
process-calculus	1
project-proofxml	1
project-timed-semantics	1
proof-carrying-code	1
prover-lego	1
pushdown-automata	1
qualified-types	1
quotient-types	1
r1000	1
raid	1
randomization	1
randomized-algorithm	1
reconfigurable-computing	1
recovery	1
refactoring	1
reference-pointer	1
reflection-proof	1
region-memory	1
registers-renaming	1
relational-language	1
reproducible-research	1
review	1
router-software	1
scribe	1
semantic-overlay	1
semantics-operational	1
sensor-network	1
separation-logic	1
session-types	1
set-theory	1
small-world	1
sml	1
smt	1
soft-types	1
stack-ripping	1
stateful-computation	1
stateless-kernel	1
statistics	1
stealth	1
strictly-positve-type	1
structured-gamma	1
surjective-pairing	1
synchronisation	1
synchronous-system	1
system-on-chip	1
taint	1
tangible-values	1
tapestry	1
tcp-ip	1
tool-astec	1
tool-bddbddb	1
tool-ccomment	1
tool-cil	1
tool-concierge	1
tool-hdirect	1
tool-hoopl	1
tool-kdfs	1
total-functional-programming	1
tutorial	1
type-soundness	1
types-phantom	1
uniform-reliable-broadcast	1
uniform-type-theory	1
units-of-measure	1
unparsing	1
user-remote-procedure-calls	1
virtual-money	1
vivaldi	1
vod	1
wait-free	1
warm-up	1
wired	1
worst-case-execution-time	1
xcp	1
xorp	1
zfc	1