Differences

This shows you the differences between two versions of the page.

Link to this comparison view

seminars [2010/08/16 10:46]
seminars [2010/08/16 10:46] (current)
Line 1: Line 1:
 +~~NOTOC~~
 +
 +====== 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 [[pk@lpdmail.epfl.ch|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 \\ {{:​2006-12dec-1-epfl.ppt|Download the presentation}}
 +\\
 +  * Monday, October 9, 2006, 15h15, BC 355 \\ ** "​Timeliness,​ Failure Detectors, and Consensus Performance"​ **\\ Alexander Shraer, Technion, Israel \\ {{:​giraf.ppt|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"​ **\\ [[http://​www.cs.brandeis.edu/​%7Eliuba/​|Liuba Shrira]]\\ \\
 +  * Monday, February 21, 2005, 14h15, INR 322 \\  ** "A Theory of Consistency"​ **\\ [[http://​www.crypto.ethz.ch/​%7Emaurer/​| 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"​ **\\ [[http://​research.microsoft.com/​users/​lamport/​| 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"​ **\\ [[http://​www.cs.technion.ac.il/​%7Ehagit/​| Haggit Attiya, Technion]]\\ \\
 +  * Wednesday December 3rd 2003, INR 322, 14h15 \\  ** "A Programming and Security Model for Autonomous Systems"​ **\\ [[http://​cui.unige.ch/​%7Ebryce/​| 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 **\\ [[http://​www.dvs1.informatik.tu-darmstadt.de/​DVS1/​staff/​felix/​Welcome.html| Felix Gaertner]]\\ \\
 +  * Thursday, 3.10.02, 14:15, INR322 \\  ** Foundations for Objects with Abstract Types **\\ [[http://​diwww.epfl.ch/​%7Eodersky/​|Martin Odersky]]\\ \\
 +  * Thursday, 26.09.02, INR322 \\  \\ ** A Handful of Distributed Algorithms **\\ 
 +    * 10h00 [[http://​lpdwww.epfl.ch/​chari| Corine Hari ]]\\ **[[http://​lpdwww/​upload/​documents/​publications/​neg--1897423479p303-guerraoui.pdf.gz| On the Consistency Problem in Mobile Distributed Computing ]] ([[http://​www.utdallas.edu/​%7Eravip/​pomc/​POMC/​POMC.html| ACM POMC 2002 ]] )**
 +    * 10h30 [[http://​lpdwww.epfl.ch/​pdutta| Partha Dutta ]]\\ **[[http://​lpdwww.epfl.ch/​upload/​documents/​publications/​neg--2141116244IC_TECH_REPORT_200232.pdf.gz| Fast Indulgent Consensus with Zero-Degradation ]] ([[http://​www.laas.fr/​edcc-4/​| EDCC 2002 ]])** \\
 +    * Break \\
 +    * 11h15 [[http://​lpdwww.epfl.ch/​pkouznet| Petr Kouznetsov ]]\\ **[[http://​lpdwww/​upload/​documents/​publications/​994908176atop.pdf.gz| A Note on Set Agreement with Omission Failures ]] ([[http://​www.di.ens.fr/​%7Egoubault/​getco02cfp.html| GETCO 2002 ]])**
 +    * 11h45 Sylvestre Blanc \\ **[[http://​lpdwww/​upload/​documents/​publications/​neg--1129141149consensus.pdf.gz| Using the Topological Characterization of Synchronous Models ]] ([[http://​www.di.ens.fr/​%7Egoubault/​getco02cfp.html| GETCO 2002 ]])**\\
 +    * Lunch break \\
 +    * 14h15 [[http://​lpdwww.epfl.ch/​bpochon| Bastian Pochon ]]\\ **[[http://​lpdwww.epfl.ch/​upload/​documents/​publications/​168514077IC_TECH_REPORT_200228.ps.gz| An efficient universal construction for message-passing systems ]] ([[http://​www.enseeiht.fr/​%7Edisc02/​| DISC 2002 ]])**\\
 +    * 14h45 [[http://​www.dvs1.informatik.tu-darmstadt.de/​DVS1/​staff/​felix/​Welcome.html|Felix Gaertner]]\\ **[[http://​domino.watson.ibm.com/​library/​cyberdig.nsf/​| A Failure Detection Sequencers: Necessary and Sufficient Information about Failures to Solve Predicate Detection ]] ([[http://​www.enseeiht.fr/​%7Edisc02/​| DISC 2002 ]])**\\
 +    * 15h15 [[http://​lpdwww.epfl.ch/​rachid| Rachid Guerraoui ]]\\ **[[http://​lpdwww.epfl.ch/​upload/​documents/​publications/​121227755IC_TECH_REPORT_200230.pdf.gz| Failure Detection Lower Bounds on Registers and Consensus ]] ([[http://​www.enseeiht.fr/​%7Edisc02/​| DISC 2002 ]])**\\ ​ \\
 +  * Wednesday, 18.09.02, 14:15, INR322 \\  ** Reasoning about security properties - safety, liveness and beyond **\\ [[http://​www.dvs1.informatik.tu-darmstadt.de/​DVS1/​staff/​felix/​Welcome.html|Felix Gaertner]]\\ \\
 +  * Tuesday, 17.09.02, 14:15, INR322 \\  ** Parameterization vs Named Abstraction **\\ [[http://​diwww.epfl.ch/​%7Eodersky/​|Martin Odersky]]\\ \\
 +  * Thursday, 11.07.02, 14:25, INR322 \\  ** Using f-arrays for Mutual Exclusion **\\ [[http://​www.cs.dartmouth.edu/​%7Eprasad/​|Prasad Jayanti]]\\ \\
 +  * Friday, 5.07.02, 14:15, INR322 \\  ** Wait-Free Computing **\\ [[http://​www.cs.dartmouth.edu/​%7Eprasad/​|Prasad Jayanti]]\\ \\
 +  * Friday, 7.06.02, 11:15, INR322 \\  ** Towards a Theory for Distributed Algorithms **\\ [[http://​www.cs.ucla.edu/​%7Eeli/​eli.html|Eli Gafni]]\\ \\
 +  * Wednesday, 29.05.02, 11:15, INR322 \\  ** Method Mixins **\\ [[http://​www.daimi.au.dk/​%7Eeernst/​|Erik Ernst]]\\ \\
 +  * Thursday, 23.05.02, 14:15, INR322 \\  ** Type-Safe Prototype-Based Component Evolution **\\ [[http://​lampwww.epfl.ch/​%7Ezenger/​|Matthias Zenger]]\\ ​  ​[[http://​lampwww.epfl.ch/​|Programming Methods Laboratory (EPFL) ]] \\ \\
 +  * Tuesday, 14.05.02, 14h15 \\  ** Algebraic Topology and Distributed Computing **\\ [[http://​theory.lcs.mit.edu/​%7Erajsbaum/​|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 **\\ [[http://​theory.lcs.mit.edu/​%7Eidish/​|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
 +\\
 +
 +
 +
 +
 +