[TYPES/announce] PLACES 2014 _ Call for Participation

Vasco T. Vasconcelos vv at di.fc.ul.pt
Wed Feb 12 06:02:41 EST 2014


                             Call For Participation

                                      PLACES'14
         Programming Language Approaches to Concurrency
               and Communication-cEntric Software
                  April 12, 2014, Grenoble, France
               Workshop affiliated with ETAPS 2014
                    http://places14.di.fc.ul.pt/

** Registration **

Early registration from 20 January to 14 February 2014.
http://www.etaps.org/

** Invited Talk ** 

Finding concurrency bugs under imprecise harnesses
Akash Lal, Microsoft Research India

** Programme ** 

http://places14.di.fc.ul.pt/programme

** Accepted Papers ** 

- Session Type Isomorphisms. Mariangiola Dezani-Ciancaglini (University of Torino, Italy), Luca Padovani (University of Torino, Italy), and Jovanka Pantovic (University of Novi Sad)

- Sessions as propositions. Sam Lindley (University of Edinburgh, UK) and J. Garrett Morris (University of Edinburgh, UK)

- Multiparty Session Actors. Rumyana Neykova (Imperial College London, UK) and Nobuko Yoshida (Imperial College London, UK)

- Towards Reversible Sessions. Francesco Tiezzi (IMT, Institute for Advanced Studies Lucca, Italy) and Nobuko Yoshida (Imperial College London, UK)

- Verifying Parallel Loops with Separation Logic.  Stefan Blom (FMT, EWI, University of Twente, Nederlands), Saeed Darabi (FMT, EWI, University of Twente, Nederlands), and Marieke Huisman (University of Twente, Nederlands)

- Session Types for Broadcasting.  Dimitrios Kouzapas (University of Glasgow, UK), Ramunas Gutkovas (Uppsala University, Sweden), and Simon Gay (University of Glasgow, UK)

- Modularising global session types.  Tzu-Chun Chen (University of Torino, Italy)

- Multiparty Sessions based on Proof Nets.  Dimitris Mostrous (University of Lisbon, Portugal)

- Towards Composable Concurrency Abstractions.  Janwillem Swalens (Vrije Universiteit Brussel, Belgium), Stefan Marr (Vrije Universiteit Brussel, Belgium), Joeri De Koster (Vrije Universiteit Brussel, Belgium), and Tom Van Cutsem (Vrije Universiteit Brussel, Belgium)
 
** Theme and Goals **

Applications today are built using numerous interacting services; soon off-the-shelf CPUs will host thousands of cores, and sensor networks will be composed from a large number of processing units. Many applications need to make effective use of thousands of computing nodes. At some level of granularity, computation in such systems is inherently concurrent and communication-centred.

To exploit and harness the richness of this computing environment, designers and programmers will utilise a rich variety of programming paradigms, depending on the shape of the data and control flow. Plausible candidates for such paradigms include structured imperative concurrent programming, stream-based programming, concurrent functions with asynchronous message passing, higher-order types for events, and the use of types for communications and data structures (such as session types and linear types), to name but a few. Combinations of these abstractions will be used even in a single application, and the runtime environment needs to ensure seamless execution without relying on differences in available resources such as the number of cores.

The development of effective programming methodologies for the coming computing paradigm demands exploration and understanding of a wide variety of ideas and techniques. This workshop aims to offer a forum where researchers from different fields exchange new ideas on one of the central challenges for programming in the near future, the development of programming methodologies and infrastructures where concurrency and distribution are the norm rather than a marginal concern.

** Topics of Interest **

*Design and implementation of programming languages with first class support for concurrency and communication
* Behavioural types, including session types
* Concurrent data types, objects and actors
* Verification and program analysis methods for concurrent and distributed software
* Runtime systems for scalable management of concurrency and resource allocation
* High-level programming abstractions addressing security concerns in concurrent and distributed programming
* Multi- and many-core programming models, including methods for harnessing GPUs and other accelerators
* Memory models for concurrent programming on relaxed-memory architectures
* Integration of sequential and concurrent programming techniques
* Use of message passing in systems software
* Interface languages for communication and distribution 
* Novel programming methodologies for sensor networks 
* Programming language approaches to web services
* Concurrency and communication in event processing and business process management

** Program Committee **

Jade Alglave, University College London, UK 
Michele Bugliesi, Università Ca' Foscari Venezia, IT 
Alastair Donaldson, Imperial College London, UK (co-chair) 
Benedict Gaster, Qualcomm, USA 
Simon Gay, University of Glasgow, UK 
Thomas Hildebrandt, IT University of Copenhagen, DK 
Jeroen Ketema, Imperial College London, UK 
Hans-Wolfgang Loidl, Heriot-Watt University, UK 
Etienne Lozes, ENS Cachan & University of Kassel, FR & DE 
Francisco Martins, University of Lisbon, PT 
Alan Mycroft, University of Cambridge, UK 
Luca Padovani, Università di Torino, IT 
Shaz Qadeer, MSR Redmond, USA 
Vasco T. Vasconcelos, University of Lisbon, PT (co-chair)

** Organizing Committee **

Alastair Beresford, University of Cambridge, UK
Simon Gay, University of Glasgow, UK
Alan Mycroft, University of Cambridge, UK
Vasco Vasconcelos, University of Lisbon, Portugal
Nobuko Yoshida, Imperial College London, UK



More information about the Types-announce mailing list