816days since
Workshop Date

Papers & slides


ċ
lada2012_all_papers.zip
Download
All position papers  2654k v. 2 Jan 5, 2012, 2:22 PM Annie Liu
Ċ lada2012_paper_10.pdf
View Download
Charles Killian. Distributed Algorithms in Structured, Event-Driven Languages  144k v. 3 Jan 5, 2012, 2:29 PM Annie Liu
Ċ lada2012_paper_11.pdf
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
Ċ lada2012_paper_12.pdf
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
Ċ lada2012_paper_13.pdf
View Download
Ernie Cohen. Verifying Concurrent Programs using Locally Checked Invariants  27k v. 3 Jan 5, 2012, 2:30 PM Annie Liu
Ċ lada2012_paper_14.pdf
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
Ċ lada2012_paper_15.pdf
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
Ċ lada2012_paper_16.pdf
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
Ċ lada2012_paper_1.pdf
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
Ċ lada2012_paper_2.pdf
View Download
Peter Musial. From Formal Methods to Executable Code  71k v. 2 Jan 5, 2012, 2:27 PM Annie Liu
Ċ lada2012_paper_3.pdf
View Download
Krzysztof Ostrowski. Recursion in Scalable Protocols via Distributed Data Flows  273k v. 2 Jan 5, 2012, 2:27 PM Annie Liu
Ċ lada2012_paper_4.pdf
View Download
Joseph Hellerstein. CALM, Collected and Disorderly: Distributed Programming in Bloom  96k v. 2 Jan 5, 2012, 2:28 PM Annie Liu
Ċ lada2012_paper_6.pdf
View Download
Anne-Marie Kermarrec and Francois Taiani. Constellation: Programming decentralised social networks  986k v. 2 Jan 5, 2012, 2:28 PM Annie Liu
Ċ lada2012_paper_7.pdf
View Download
Andrew Black. Objects are Enough!  138k v. 2 Jan 5, 2012, 2:28 PM Annie Liu
Ċ lada2012_paper_8.pdf
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
Ċ lada2012_paper_9.pdf
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
 andrew-black
Ċ LADA-andrew.pdf
View Download
  1565k v. 2 Feb 17, 2012, 6:48 AM Annie Liu
 annie liu
Ċ distPL.pdf
View Download
Annie Liu From Clarity to Efficiency for Distributed Algorithms slides  100k v. 3 Jun 27, 2012, 10:05 AM Annie Liu
 francois taiani
Ċ Talk-LADA2012.pdf
View Download
  2290k v. 2 Jan 27, 2012, 4:44 AM Annie Liu
 john field
Ċ FieldReactorsLADA.pdf
View Download
  164k v. 2 Jan 25, 2012, 10:11 AM Annie Liu
 ken-birman
Ċ LADA.pdf
View Download
  409k v. 4 Jan 23, 2012, 9:21 PM Annie Liu
ć LADA.pptx
View Download
  747k v. 6 Jan 29, 2012, 7:47 AM Annie Liu
 krzysztof ostrowski
Ċ krzys_slides_lada2012.pdf
View Download
  670k v. 3 Jan 26, 2012, 8:29 AM Krzysztof Ostrowski
 lonnie princehouse
Ċ princehouse_lada.pdf
View Download
  517k v. 2 Jan 25, 2012, 10:09 AM Annie Liu
 mark miller
Ċ lada-js.pdf
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
ć lada-js.pptx
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
 michel-raynal
ċ
LADA-2012-div4.pdf
Download
  287k v. 2 Feb 1, 2012, 7:08 PM Annie Liu
 nancy-lynch
ć LADA-lynch.pptx
View Download
  3342k v. 2 Jan 29, 2012, 7:26 AM Annie Liu
 peter-vanroy
Ċ LADA2012PVR.pdf
View Download
  4521k v. 4 Jan 26, 2012, 12:33 AM Peter Van Roy
ć LADA2012PVR.pptx
View Download
  915k v. 4 Jan 26, 2012, 12:33 AM Peter Van Roy
 Robbert van Renesse
Ċ lada2012_paper_5.pdf
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
ć LADA2012.pptx
View Download
Slides of talk by Robbert  56k v. 3 Feb 2, 2012, 12:10 PM Robbert Van Renesse