Birs- 16w5152: Complexity and Analysis of Distributed Algorithms

  1. Title:
    The Backtracking Covering Proof Technique
    Speaker:
    Danny Hendler

    Link:
    http://www.birs.ca/events/2016/5-day-workshops/16w5152/videos/watch/201612011255-Hendler.html

  2. Title:
    Concurrency as an Iterated Affine Task
    Speaker:
    Petr Kuznetsov

    Link:
    http://www.birs.ca/events/2016/5-day-workshops/16w5152/videos/watch/201612011544-Kuznetsov.html

  3. Title:
    Analysing the Average Time Complexity of Lock-Free Data Structures
    Speaker:
    Eric Ruppert

    Link:
    http://www.birs.ca/events/2016/5-day-workshops/16w5152/videos/watch/201612011630-Ruppert.html

  4. Title:
    Indistinguishability, Duality and Necessary Conditions
    Speaker:
    Yoram Moses

    Link:
    http://www.birs.ca/events/2016/5-day-workshops/16w5152/videos/watch/201612020900-Moses.html

  5. Title:
    Lower Bound on the Step Complexity of Anonymous Binary Consensus
    Speaker:
    Ohad Ben Baruch

    Link:
    http://www.birs.ca/events/2016/5-day-workshops/16w5152/videos/watch/201612021008-BenBaruch.html

  6. Title:
    Boundless tagging with applications to wait-free memory reclamation
    Speaker:
    Zahra Aghazadeh

    Link:
    http://www.birs.ca/events/2016/5-day-workshops/16w5152/videos/watch/201612021100-Aghazadeh.html