Program

See the At a Glance page for a more compact representation of this schedule.

Although none of its authors could attend to present the paper, we would like to announce that Schroeder et al.'s submission, "Collaborative Authoring of Documents with Eventual Consistency," has been (eventually) accepted for publication and will (eventually) be included in the conference proceedings. Interested parties can read the paper here.





  • Paper PDF
  • Talk Slides
  • WTF?!
Lunch 12:30pm-1pm
Welcoming Remarks 1pm-1:10pm
Presentation 1 1:10pm-1:40pm
A Meta-Analysis of Computer Science Conference Paper Acceptance Criteria
Eston Schweickart (Cornell University)
Presentation 2 1:40pm-2:10pm
Arcane Rituals for Cryptography Performance Optimization
The Council of Shadows (Brown University); Presented by Edward Tremel, Computational Archaeologist
Break 2:10pm-2:20pm
Debate: Upworthy or Clickhole? 2:20pm-2:50pm
Moderator: Isaac Sheff (Cornell University)
Andrew Hirsch (Cornell University)
vs.
Matthew Milano (Cornell University)
Break 2:50pm-3:00pm
Presentation 3 3:00pm-3:30pm
A Family of CAP-Like Theorems for Distributed Systems
Matthew Milano (Cornell University)
Break 3:30pm-3:40pm
Presentation 4 3:40pm-4:10pm
On Her Majesty's Type System
Andrew Hirsch (Cornell University)
Break 4:10pm-4:20pm
Presentation 5 4:20pm-4:50pm
EROR: namEspaces foR strOng inconsistencyR
Isaac Sheff (Cornell University)
Conclusion and Thanks 4:50pm-5pm