.

Mobility Reading Group

We meet on Fridays in Nobuko's office, Room 556 (Huxley) from 1200 to 1300 and discuss a paper loosely related to interaction and computation, introduced by one of the participants. Everybody is welcome. To be added to the mailing list or to propose papers for study, please mail carbonem@dcs.qmul.ac.uk

Upcoming

• Orchestrating the Execution of Stream Programs on Multicore Platforms by Kudlur (speaker Andi - Wednesday 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)

Past

• 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