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, 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
- Wednesday, 13.11.02, 14:15, INF211
The Problem of Fair Exchange, its Formalization and its Relation to other Problems in Distributed Computing
Felix Gaertner
- Thursday, 26.09.02, INR322
A Handful of Distributed Algorithms
- Break
- Lunch break
- Wednesday, 18.09.02, 14:15, INR322
Reasoning about security properties - safety, liveness and beyond
Felix Gaertner
- Thursday, 23.05.02, 14:15, INR322
Type-Safe Prototype-Based Component Evolution
Matthias Zenger
Programming Methods Laboratory (EPFL)
- Tuesday, 14.05.02, 14h15
Algebraic Topology and Distributed Computing
Sergio Rasjbaum
HP Labs, One Cambridge Center, Cambridge, MA, USA.
- Tuesday, 12.03.02, 14h15
On the Cost of Fault-Tolerant Consensus When There Are No Faults
Idit Keidar
Technion Dept. of Electrical Engineering and MIT Lab for Computer Science.
- Tuesday, 18.12.01, 14h15
Type-Safe Garbage Collection
Stefan Monnier
- 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