Communication-based Computation (CoCo)
Computation increasingly depends on communication: in distributed systems, in the cloud, in multi-threaded applications, in mobile applications, in parallel supercomputers, and within many-core architectures. The rise of communication-based computation is presenting new challenges for programming languages and abstractions for parallelism and communication; compilation techniques; computer architecture; algorithm design; software engineering; testing and verication. CoCo will bring together Scottish researchers from across these areas with the aim of reaching a common understanding of key problems and instigating collaborations.
More information on CoCo can be found here.
The seminar will be held on Thursday 8th of May at the Cameron House, Loch Lomond.
The organisers are Ornela Dardha, Simon Gay, Sam Lindley and Phil Wadler.
Location
Cameron House, (located here) is 2 miles from Balloch on Loch Lomond.
Travelling
Train:| Dundee | Glasgow Queen Street | 06:50 - 08:34 |
| Edinburgh | Glasgow Queen Street | 07:45 - 08:40 |
| Glasgow Queen Street | Balloch | 08:53 - 09:41 |
| Balloch | Glasgow Queen Street | every half hour 18:23 - 21:53 |
| Last train @ 22.23 |
Taxi Balloch St. - Cameron House:
There are taxis from Balloch Station to Cameron House. We can pre-book taxis suitable for the 09.41 arrival train. If you would like to join us, please email Sam Lindley (Sam.Lindley@ed.ac.uk) before the end of April.
Acknowledgement
This meeting of CoCo has received financial support from the Scottish Informatics and Computer Science Alliance (SICSA).
Programme
10.00 - 10.10 Welcome Refreshment10.10 - 10.15 Introduction by Phil Wadler
10.15 - 11.30 Languages (Session Leader: Simon Gay)
10.15 - 10.30 Simon Gay (Glagow): Behavioural Type Systems
10.30 - 10.45 Philip Wadler (Edinburgh): From Data Types to Session Types: A Basis for Concurrency and Distribution
10.45 - 11.00 Conor McBride (Strathclyde): Worldly Type Systems
11.00 - 11.15 Ekaterina Komendantskaya (Dundee): Can CoALP be useful for CoCo?
11.15 - 11.30 Ian Stark (Edinburgh): Continuous pi-calculus and computation in biochemical systems
11.30 - 11.45 Tea/coffee break
11.45 - 13.00 Architectures (Session Leader: Murray Cole)
11.45 - 11.55 Vijayanand Nagarajan (Edinburgh): Consistency models: convergence between Architecture and OS/DS/DB Communities
11.55 - 12:05 Wim Vanderbauwhede (Glasgow): A Million-Core Accelerator
12:05 - 12.15 Rik Sarkar (Edinburgh): Distributed Information Processing for Sensor Networks
12.15 - 12.25 Chris Fensch (Heriot-Watt): Hardware Support for Pattern based Programming in Future Architectures
12.35 - 12.45 Christophe Dubach (Edinburgh): Towards Performance Portability for Heterogeneous Systems: a Unified View of Algorithm Choices and Hardware Optimisations
12.45 - 12.55 Murray Cole (Edinburgh): Patterns and Parallelism
13.00 - 14.00 Lunch
14.00 - 15.15 Compilers (Session Leader: Kevin Hammond)
14.00 - 14.10 Compiler Group Overview
14.10 - 14.25 Kevin Hammond (St Andrews): Refactoring, Functional Programming, Timing Analysis
14.25 - 14.40 Hans-Wolfgang Loidl (Heriot-Watt): High-Level Parallel Programming, Static Analysis
14.40 - 14.55 Phil Trinder (Glasgow): Parallel and Distributed Haskell/Erlang
14.55 - 15.05 Sven Bodo Scholz (Heriot-Watt): The SaC Compiler
15.05 - 15.15 Jeremy Singer (Glasgow): Memory management and workloads in the cloud
15.15 - 15.45 Tea/coffee break
15.45 - 18.00 Discussion
18.00 End / Pub / Food