Mobility Reading Group

An Executable Formal Semantics of C with Applications by Chucky Ellison and Grigore Rosu (speaker Nick - 25/10/2011).
A Testing Theory for a Higher-Order Cryptographic Language by Vasileios Koutavas and Matthew Hennessy (speaker Dimitris - 11/10/2011).
A Logic with Reverse Modalities for History-preserving Bisimulations by Iain Phillips, Irek Ulidowski (Iain Phillips - 04/10/2011).
Chip and PIN is Broken by Steven J. Murdoch, Saar Drimer, Ross Anderson, Mike Bond (speaker Aybek - 27/09/2011).
Using External Security Monitors to Secure BGP by Patrick Reynolds, Oliver Kennedy, Emin Gün Sirer, Fred B. Schneider (speaker Ray - 06/09/2011).
OOI visit summary by Malo (24/08/2011).
Nexus Authorization Logic (NAL): Design Rationale and Applications by Fred B. Schneider, Kevin Walsh and Emin Gün Sirer (speaker Aybek - 10/08/2011).
Topology-based dynamic multirole session types by Hok (02/08/2011).
Dynamic and Static Safety Validation of Distributed Programs through Multiparty Sessions by Laura Bocchi and Tzu-Chun Chen and Romain Demangeon and Pierre-Malo Deniélou and Kohei Honda and Raymond Hu and Nobuko Yoshida (speaker Tzu-Chun - 26/07/2011).
Multiparty session automata by Pierre-Malo Deniélou and Nobuko Yoshida (speaker Malo - 22/07/2011).
Discotech report (speaker Ray, Nick and Dimitris - 23/06/2011).
OOI CI by John Orcutt (speaker Kohei - 14/06/2011).
Hybrid I/O Automata by N.A. Lynch, R. Segala and F.W. Vaandrager (speaker Laura - 07/06/2011).
COORDINATION and FORTE/FMOODS practice talk by Dimitris and Nick (31/05/2011).
Fleets: Scalable Services in a Factored Operating System by David Wentzlaff, Charles Gruenwald III, Nathan Beckmann, Adam Belay, Harshad Kasture, Kevin Modzelewski, Lamia Youseff, Jason E. Miller, Anant Agarwal (speaker Kohei - 25/05/2011).
Structure-driven Optimizations for Amorphous Data-parallel Programs by Mario Méndez-Lojo, Donald Nguyen, Dimitrios Prountzos, Xin Sui, M. Amber Hassaan, Milind Kulkarni, Martin Burtscher and Keshav Pingali (speaker Nick - 17/05/2011).
Information flow safety in multiparty sessions by Sara Capecchi, Ilaria Castellani and Mariangiola Dezani-Ciancaglini (speaker Tzu-Chun - 10/05/2011).
Lisbon workshop report (speaker Ray - 03/05/2011).
Session Types as Intuitionistic Linear Propositions by Luis Caires and Frank Pfenning (speaker Dimitris - 13/04/2011).
A Theory of Runtime Enforcement, with Results by Jay Ligatti and Srikar Reddy (speaker Rumi - 22/03/2011).
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties by Christian Colombo, Gordon J. Pace, and Gerardo Schneider (speaker Rumi - 15/03/2011).
Strand Spaces: Proving Security Protocols Correct by Thayer, Javier F., Jonathan Herzog, and Joshua D. Guttman (speaker Aybek - 01/03/2011).
Termination for concurrent processes by Romain Demangeon (speaker Romain - 22/02/2011).
Enforcing End-to-End Application Security in the Cloud by Jean Bacon, David Evans, David M. Eyers, Matteo Migliavacca, Peter Pietzuch, and Brian Shand (speaker Olivier - 15/02/2011).
POPL summary (speaker Malo - 08/02/2011).
Dynamic Multirole Session Types by Pierre-Malo Deniélou, Nobuko Yoshida (speaker Malo - 18/01/2011).
The expressive power of synchronizations by Cosimo Laneve and Antonio Vitale (speaker Dimitris - 30/11/2010).
An Observational Theory of Imperative Concurrent Data Structures in the pi-Calculus by Luca Fossati and Kohei Honda (speaker Luca - 09/11/2010).
Safe Programmable Speculative Parallelism by Prakash Prabhu, G Ramalingam, and Kapil Vaswani (speaker Nicholas - 02/11/2010).
ECOOP Summary (speaker Ray - 26/10/2010).
Distance Makes the Types Grow Stronger: A Calculus for Differential Privacy by Jason Reed and Benjamin C. Pierce (speaker Malo - 12/10/2010).
Representations of Petri Net Interactions by Pawel Sobocinski (speaker Luca - 23/09/2010).
General presentation of CONCUR'10 by (speaker Luca - 14/09/2010).
Comparing Three Semantics for Linda-like Languages by Nadia Busi, Roberto Corrieri and Gianluigi Zavattaro (speaker Dimitris - 10/09/2010).
Efficient Session Type Guided Distributed Interaction by K. C. Sivaramakrishnan and Karthik Nagaraj and Lukasz Ziarek and Patrick Eugster (speaker Kacper - 12/08/2010).
Refinement Types for Secure Implementations by Jesper Bengtson, Karthikeyan Bhargavan, Cedric Fournet, Andrew D. Gordon, Sergio Maffeis (speaker Aybek - 05/08/2010).
Capabilities for Uniqueness and Borrowing by Philipp Haller and Martin Odersky (speaker Olivier - 29/07/2010).
Type-Safe Eventful Sessions in Java by Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, and Kohei Honda (speaker Ray - 10/06/2010).
Two-Domain DNA Strand Displacement by Luca Cardelli (speaker Luca - 20/05/2010).
Notes on Pi-calculus Encodings of Shared Variable Concurrency Primitives by Luca Fossati, Kohei Honda (speaker Luca - 22/04/2010).
Programming Live Distributed Objects with Distributed Data Flows by Krzysztof Ostrowski, Ken Birman, Danny Dolev (speaker Olivier - 08/04/2010).
Declarative Coinductive Axiomatization of Regular Expression Containment and its Computational Interpretation by Fritz Henglein and Lasse Nielsen (speaker Lasse - 18/03/2010).
Parameterised Multiparty Session Types by Nobuko Yoshida, Pierre-Malo Denielou, Andi Bejleri, and Raymond Hu (speaker Malo - 11/03/2010).
Hermes: A Scalable Event-Based Middleware by Peter Pietzuch and Jean Bacon (speaker Ray - 25/02/2010).
A process-calculus analysis of a MANET algorithm by Dimitrios Kouzapas and Anna Philippou (speaker Dimitrios - 16/02/2010).
Multi-party contract signing by Aybek Mukhamedov (02/02/2010).
Session types for access and information flow control by Sara Capecchi (from U. Torino) (24/11/2009).
New strategies for revocation in ad-hoc networks by T Moore, J Clulow, S Nagaraja, R Anderson (speaker Kohei - 10/11/2009).
Provably Correct Inline Monitoring for Multithreaded Java-like Programs by Dam, Mads and Jacobs, Bart and Lundblad, Andreas and Piessens, Frank (speaker Tzu-Chen - 10/11/2009).
Mini-workshop at Queen Mary with the financial people (02/11/2009).
Simple, Fast and Practical Non-Blocking and Blocking Concurrent Queue Algorithms by Maged M. Michael and Michael L. Scott (speaker Luca - 27/10/2009).
The Multikernel: A New OS Architecture for Scalable Multicore Systems by Andrew Baumann (ETH Zurich), Paul Barham (MSR Cambridge), Pierre-Evariste Dagand (ENS Cachan Bretagne), Tim Harris (MSR Cambridge), Rebecca Isaacs (MSR Cambridge), Simon Peter (ETH Zurich), Timothy Roscoe (ETH Zurich), Adrian Schüpbach (ETH Zurich), Akhilesh Singhania (ETH Zurich) (speaker Olivier - 21/10/2009).
Towards a Verified Reference Implementation of the Trusted Platform Module by Aybek Mukhamedov (02/10/2009).
Contracts for Mobile Processes by G. Castagna and L. Padovani (speaker Andi - 24/09/2009).
On the Asynchronous Nature of the Asynchronous pi-Calculus by R. Beauxis, C. Palamidessi, and F. D. Valencia (speaker Malo - 16/09/2009).
A theory of design-by-contract for distributed multiparty interactions by Laura Bocchi, Kohei Honda, Emilio Tuosto and Nobuko Yoshida (speaker Laura - 04/09/2009).
Binder, a logic-based security language by John DeTreville (CSF'02) (speaker Nuno - 02/09/2009).
Multiparty Symmetric Sumtypes by Lasse Nielsen, Nobuko Yoshida, Kohei Honda (speaker Lasse - 23/07/2009).
A Java Fork/Join Framework by Doug Lea (speaker Yiannos - 02/07/2009).
Formal Modeling and Simulation of Biological Systems by Giulio Caravagna (26/06/2009).
The Next 700 Programming Languages by Peter Landin (CACM 1966) (speaker Andi - 18/06/2009).
Language-Based Isolation of Untrusted JavaScript (CSF'09) by S. Maffeis, J.C. Mitchell and A. Taly (speaker Sergio - 12/06/2009).
SEDA: An Architecture for Well-Conditioned, Scalable Internet Services (SOSP'01) by Matt Welsh, David Culler and Eric Brewer (speaker Dimitris K. - 28/05/2009).
Liquid Types (PLDI'08) and Type-based Data Structure Verification (PLDI'09) by Patrick Rondon, Ming Kawaguchi and Ranjit Jhala (speaker Malo - 20/05/2009)
Combining Events And Threads For Scalable Network Services by Peng Li and Steve Zdancewic (PLDI'07) (speaker Nils - 06/05/2009)
Dependent types in practical programming by Hongwei Xi and Frank Pfenning (POPL'99) (speaker Andi - 29/04/2009)
Events Can Make Sense by Krohn and Kaashoek, and Making Events Less Slippery With eel by Cunningham and Kohler (speaker Raymond - 20/04/2009)
"Modelling Declarative Workflow Types with the Pi-Calculus" by Lasse Nielsen from Copenhagen, Denmark (speaker Lasse - 08/04/2009)
Orchestrating the Execution of Stream Programs on Multicore Platforms by Kudlur (speaker Andi - 16/10/2008)
A Typed Model for Multiparty Conversations by L. Caires and H. T. Vieira (speaker Andi)
Subject Reduction vs Intersection/Union Types for lambda-bar-mu-mu-tilde, by van Bakkel (speaker Steffen)
Refinement types for secure implementations, by Bengtson et al (speaker Sergio)
Termination Problems in Chemical Kinetics by Cardelli et al (speaker Ozan)
A Mathematical Theory of Communication by Shannon (speaker Andi)
General Session Types by G. Castagna, M. Dezani, E. Giachino and L. Padovani (speaker Marco - 19/09/2008 - 15.00)
Software transactional memory for large scale clusters by Bocchino et al (speaker Ray)
Velodrome: A Sound and Complete Dynamic Atomicity Checker for Multithreaded Programs, by Flanagan et al
On the Expressiveness and Decidability of Higher-Order Process Calculi by Lanese et al
Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems by Kocher
A System F with exceptions by Lebresne
Semantics of Transactional Memory and Automatic Mutual Exclusion by Abadi et al, and High-Level Small-Step Operational Semantics for Transactions by Moore et al
Automatic verification of finite-state concurrent systems using temporal logic specifications by Clarke, Emerson and Sistla
Sealing OS processes to improve dependability and safety by Hunt et al
Programming asynchronous layers with CLARITY by Chandrasekaran et al
COWS: a Calculus for Orchestration of Web Services by Tiezzi
Program Logics for Sequential Higher-Order Control by Berger
The knowledge complexity of interactive proof-systems by Goldwasser et al
Concurrent Exception Handling and Resolution in Distributed Object Systems by Xu, Romanovsky and Randell
Asynchronous Games: Innocence without Alternation by Mellies and Mimram
Secure Implementations for Typed Session Abstractions by Corin et al
Secure implementations of typed channel abstractions by Bugliesi et al
Pi-Calculus with Noisy Channels by Mingsheng Ying
Spatial-Behavioural Types, Distributed Services, and Resources by Caires
A System of Interaction and Structure by Alessio Guglielmi
Defining information flow quantity by Gavin Lowe
A Concurrent Calculus with Atomic Transactions by Acciai et al
Principal type-schemes for functional programs by Damas et al, Principal Typing-Schemes in a Polyadic pi-Calculus by Vasconcelos et al, and A note on a Typing System for the Higher-Order pi-Calculus by Vasconcelos
X10: An Object-Oriented Approach to Non-Uniform Cluster Computing by Philippe Charleset al, and Concurrent Clustered Programming by Saraswat et al
On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus by Palamidessi, Saraswat, Valencia
Computational Secrecy by Typing in the Pi-Calculus by Abadi, Corin, Fournet
Quantifying Information Leakage in Process Calculi by Michele Borale
Up-to Techniques for Weak Bisimulation by Damien Pous
On the Relative Expressive Power of Asynchronous Communication Primitives by Daniele Gorla

Mobility Reading group

Next Meeting:

Tuesday 25/10/2011 at 15:00

Future Meetings

Past Meetings