Papers & slides


SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
ċ

Download
All position papers  2654k v. 2 Jan 5, 2012, 2:22 PM Annie Liu
Ċ
View Download
Charles Killian. Distributed Algorithms in Structured, Event-Driven Languages  144k v. 3 Jan 5, 2012, 2:29 PM Annie Liu
Ċ
View Download
Mark Miller and Tom Van Cutsem. LaDeDa: Languages for Debuggable Distributed Algorithms  85k v. 3 Jan 5, 2012, 2:30 PM Annie Liu
Ċ
View Download
Peter Van Roy and Raphael Collet. Modular fault tolerance in a network-transparent language  107k v. 3 Jan 5, 2012, 2:30 PM Annie Liu
Ċ
View Download
Ernie Cohen. Verifying Concurrent Programs using Locally Checked Invariants  27k v. 3 Jan 5, 2012, 2:30 PM Annie Liu
Ċ
View Download
Lonnie Princehouse, Nate Foster and Ken Birman. A Pairwise Abstraction for Round-Based Protocols  99k v. 3 Jan 5, 2012, 2:30 PM Annie Liu
Ċ
View Download
Nate Foster, Michael Freedman, Rob Harrison, Christopher Monsanto, Mark Reitblatt, Jennifer Rexford, Alec Story and David Walker. Language Abstractions for Software-Defined Networks   368k v. 2 Jan 5, 2012, 2:26 PM Annie Liu
Ċ
View Download
John Field. LInguistic Tools for Reasoning About Weak Consistency in Distributed Systems   75k v. 2 Jan 5, 2012, 2:26 PM Annie Liu
Ċ
View Download
Yanhong A. Liu, Bo Lin and Scott D. Stoller. From Clarity to Efficiency for Distributed Algorithms  57k v. 2 Jan 5, 2012, 2:27 PM Annie Liu
Ċ
View Download
Peter Musial. From Formal Methods to Executable Code  71k v. 2 Jan 5, 2012, 2:27 PM Annie Liu
Ċ
View Download
Krzysztof Ostrowski. Recursion in Scalable Protocols via Distributed Data Flows  273k v. 2 Jan 5, 2012, 2:27 PM Annie Liu
Ċ
View Download
Joseph Hellerstein. CALM, Collected and Disorderly: Distributed Programming in Bloom  96k v. 2 Jan 5, 2012, 2:28 PM Annie Liu
Ċ
View Download
Anne-Marie Kermarrec and Francois Taiani. Constellation: Programming decentralised social networks  986k v. 2 Jan 5, 2012, 2:28 PM Annie Liu
Ċ
View Download
Andrew Black. Objects are Enough!  138k v. 2 Jan 5, 2012, 2:28 PM Annie Liu
Ċ
View Download
Mark Bickford, Vincent Rahli and Robert Constable. The Logic of Events, a framework to reason about distributed systems  61k v. 2 Jan 5, 2012, 2:29 PM Annie Liu
Ċ
View Download
Changbin Liu and Boon Thau Loo. Declarative Constraint Optimization in Distributed Systems  176k v. 2 Jan 5, 2012, 2:29 PM Annie Liu
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
View Download
  1565k v. 2 Feb 17, 2012, 6:48 AM Annie Liu
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
View Download
Annie Liu From Clarity to Efficiency for Distributed Algorithms slides  100k v. 3 Jun 27, 2012, 10:05 AM Annie Liu
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
View Download
  2290k v. 2 Jan 27, 2012, 4:44 AM Annie Liu
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
View Download
  164k v. 2 Jan 25, 2012, 10:11 AM Annie Liu
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
View Download
  409k v. 4 Jan 23, 2012, 9:21 PM Annie Liu
ć
View Download
  747k v. 6 Jan 29, 2012, 7:47 AM Annie Liu
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
View Download
  670k v. 3 Jan 26, 2012, 8:29 AM Krzysztof Ostrowski
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
View Download
  517k v. 2 Jan 25, 2012, 10:09 AM Annie Liu
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
View Download
(Talk Slides) Two Phase Commit Among Strangers: Secure Distributed Escrow Exchange in 44 lines of JavaScript  396k v. 3 Jan 25, 2012, 10:10 AM Annie Liu
ć
View Download
(Talk Slides) Two Phase Commit Among Strangers: Secure Distributed Escrow Exchange in 44 lines of JavaScript  581k v. 3 Jan 25, 2012, 10:10 AM Annie Liu
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
ċ

Download
  287k v. 2 Feb 1, 2012, 7:08 PM Annie Liu
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
ć
View Download
  3342k v. 2 Jan 29, 2012, 7:26 AM Annie Liu
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
View Download
  4521k v. 4 Jan 26, 2012, 12:33 AM Peter Van Roy
ć
View Download
  915k v. 4 Jan 26, 2012, 12:33 AM Peter Van Roy
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
View Download
Robbert Van Renesse. Fact-based Inter-Process Communication Primitives for Programming Distributed Systems  88k v. 3 Feb 2, 2012, 12:10 PM Robbert Van Renesse
ć
View Download
Slides of talk by Robbert  56k v. 3 Feb 2, 2012, 12:10 PM Robbert Van Renesse