LPD Seminars

This is a joint seminar of the Distributed Programming Laboratory and the Programming Methods Laboratory. The idea is to present our current work to the members of the two groups. However researchers from the outside world are also encouraged to participate. The style is rather informal and all interested are welcome.

If you would like to present your work at our seminar, please send us an e-mail.

  • Wednesday August 4th 2010, 2pm, INR113
    “Finding Bugs in Concurrent C/C++ Programs through Thread Ownership of Memory”
    Jean-Philippe Martin, Microsoft Research

  • Thursday March 4 2010, 10:00, BC 355
    “Online Set Packing”
    Boaz Patt-Shamir, Tel Aviv University

  • Tuesday December 15th 2010 - 11:00am
    “Automatic Inference of Synchronization”
    Martin Vechev, IBM Watson Center - New York

  • Wednesday November 25th 2010 - 2:15pm
    “Sequential Verification of Serializability”
    Hagit Attiya, Technion, Israel

  • Wednesday, September 16th, 2009, 10h15, BC 355
    “Finding Data Efficiently in Mobile Ad Hoc Network”
    Roy Friedman, Technion, Israel

  • Friday, September 4th, 2009, 14h15, BC 410
    “Fail-aware untrusted storage (FAUST)“
    Christian Cachin, IBM Research Zurich, Switzerland

  • Tuesday, September 1st, 2009, 9h00, INR 322
    “Three TM talks”
    Hagit Attiya, Technion, Israel
    Vincent Gramoli, EPFL, Switzerland
    Michal Kapalka, EPFL, Switzerland

  • Tuesday, February 3rd, 2009, 11h00, BC 355
    “The Progress Semantics of Transactional Memory - A Tutorial”
    Michal Kapalka, EPFL, Switzerland

  • Monday, January 19th, 2009, 14h15, BC 355
    “The Semantics of Progress in Lock-Based Transactional Memory”
    Michal Kapalka, EPFL, Switzerland

  • Friday, October 31st, 2008, 15h00, BC 355
    “Brahms: Byzantine Resilient Random Membership Sampling”
    Idit Keidar, Technion, Israel

  • Wednesday, July 4th, 2007, 11h15, BC 01
    “Communication protocols for packet radio networks: algorithmic approach”
    Darek Kowalski, University of Liverpool, UK

  • Friday, December 1st, 2006, 11h00, BC 355
    “Optimizing Memory Transactions”
    Tim Harris, Microsoft Research Cambridge, UK
    Download the presentation

  • Monday, October 9, 2006, 15h15, BC 355
    “Timeliness, Failure Detectors, and Consensus Performance”
    Alexander Shraer, Technion, Israel
    Download the presentation

  • Tuesday, April 12, 2005, 15h15, INR 322
    “Enhancing Consistency in Optimistically Replicated Collaborative Scenarios”
    Joao Barreto

  • Tuesday, April 5, 2005, 14h15, BC 410
    “SNAP, BITE and Toss: a Filtering Archive for High-Frequency Snapshots”
    Liuba Shrira

  • Monday, February 21, 2005, 14h15, INR 322
    “A Theory of Consistency”
    Ueli Maurer

  • Monday, July 5, 2004, 14h15, INM 202
    “Optimal Resilience Wait-Free Storage from Byzantine Components: Inherent Costs and Solutions”
    Gregory Chockler, MIT

  • Monday, May 10, 2004, 10h45, INR 322
    “Monitoring and Group Communications in a J2EE Cluster Environment ”
    Emmanuel Cechet, INRIA Grenoble

  • Friday; April 30; 15h15; INR 322
    “Verification of hybrid systems: object, rules and model checking”
    Julie Vachon, University of Montreal

  • Thursday; April 22nd 2004; INJ 211; 15h15
    “Modeling Replication Protocols with Actions and Constraints”
    Marc Shapiro, Microsoft Research Ltd., Cambridge, UK

  • Wednesday March 31st 2004, INM 202, 11h15
    “How to build a reliable distributed service: the Paxos Algorithm”
    Leslie Lamport

  • Thursday March 25th 2004, INJ 211, 14h15
    “Resilient: Making Embedded Systems Serviceable”
    Lars Bak, OOVM A/S

  • Thursday March 11th 2004, INR 322, 15h00
    “Gossip beyond broadcasting: gossip based aggregation”
    Mark Jelasity, University of Bologna

  • Wednesday February 25th 2004, INR 322, 14h15
    “Relative Queuing Delay of Parallel Packet Switching”
    Haggit Attiya, Technion

  • Wednesday December 3rd 2003, INR 322, 14h15
    “A Programming and Security Model for Autonomous Systems”
    Ciaran Bryce, University of Geneva

  • Thursday November 27 2003, INR 322, 14h15
    Data-aware multicast
    Sébastien Baehni

  • Thursday November 20 2003, INR 322, 14h15
    Coordination Technology for Agent-Based Systems
    Michael Ignaz Schumacher

  • Friday October 31 2003, INR 322, 11h15
    Distributed Data Stream Indexing over Overlay Networks
    Roman Vitenberg (Technion and UCSB)

  • Thursday Sept 18 2003, INR 322, 14h15
    Speculative Reliable Computing
    Cristian Tapus (Caltech, Computer Science Department)

  • Thursday 21. August 2003, 14:15, INR 322
    Asynchronous Byzantine Fault Tolerance without Failure Detectors
    Klaus Kurasawe (IBM, Zurich)

  • Wednesday 20. August 2003, 11:00, INR 322
    A Calculus for Distributed Computing (based on a recent POPL paper)
    Jean-Bernard Stefani (INRIA, Grenoble)

  • Tuesday, 19. August 2003, 14:15, INR 322
    Security Patterns - Origins, Foundations and Applications
    Dr. Markus Schumacher, TU Darmstadt, Germany

  • Tuesday 29.04.03, 14:15, INF 211
    Asynchronous Atomic Broadcast and Byzantine Agreement using Cryptography
    Christian Cachin, IBM Zurich

  • Thursday 14.02.03, 14:00, INR 322
    On Randomization versus Synchronization in Asynchronous Distributed Computations
    Hagen Voelzer, SVRC, University of Queensland, Australia

  • Thursday 25.01.03, 15:15, INF 213
    Timing UDP: mechanized semantics for sockets, threads and failures.
    Peter SEWELL, University of Cambridge

  • Friday, 13.12.02, 11:00, INF322
    Doing dataflow in PCF
    Russ Harmer, Univerisite de Paris 7

  • Thursday, 5.12.02, 14:15, INF322
    Solving stream equations and fusing streams by program transformations
    Bruno Barbier, Universite de Franche-Comte

  • Tuesday, 3.12.01, 14h15
    A Short Overview of EJB and J2EE
    Enno Runne

  • Tuesday, 20.11.01, 14h15
    LAMP Strategies
    Martin Odersky with short talks by Christoph Zenger, Christine Röckl, Matthias Zenger, and Michel Schinz

  • Tuesday, 30.10.01, 14h15
    LPD Strategies
    Rachid Guerraoui

  • Tuesday, 23.10.01, 14h15
    Quorum systems vs group communication
    Evelyn Pierce

  • Tuesday, 16.10.01, 14h15
    An axiomatization of nested transactions in presence of crash/recoveries
    Vincent Cremet