International Workshop on Languages for the Multi-core Era (LaME'12)

Date: 13 June.
Room:  Conference 6.

Organizers:

  • Jonathan Aldrich, Carnegie Mellon University
  • Paulo Marques, University of Coimbra
  • Bruno Cabral, University of Coimbra
  • Néstor Cataño, University of Madeira
  • Doug Lea, State University of New York at Oswego

Contact the committee: Jonathan Aldrich, Paulo Marques, Bruno Cabral, Néstor Cataño, or Doug Lea

Website: http://lame.dei.uc.pt

Concurrent programming has become a fundamental approach for leveraging the processing power of modern multi-core architectures. And, although research in concurrent programming models and languages is decades old, writing concurrent software today continues to be challenging and error-prone as always. The advent of multi-core architecture refueled the quest for efficient concurrency models and productive programming languages. Consequently, the last decade has been witness to a growing eff ort of research in this area. The purpose of this workshop is to provide a forum for the proposal and discussion of new ideas in concurrent programming languages and models, and to provide feedback to authors in an informal atmosphere. Submissions can fall in two categories: full papers reporting on refi ned technical work and 2-page proposals for talks on provisional or ongoing work. Authors are invited to submit work on innovative concurrency models, programming languages, tools and frameworks for concurrent software development and execution. Participants are invited to address a challenge problem that provides a focus and unifying theme for diverse approaches discussed in the workshop.

Main Theme and Goals

The focus of the workshop is Programming Languages support for concurrency, with a special emphasis on innovative concurrency models. The main objective of this workshop is to become a forum for the proposal and discussion of creative ideas for new concurrency models, or the validation of novel concurrency models that have already been proposed. Nonetheless, run-time system and library support for concurrency are also within the range of topics of interest at the workshop.

Submissions to the workshop should present either mature or ongoing work in foundational and theoretical aspects of concurrent programming, languages, tools, frameworks, case studies, and practical experience. The main criteria for selecting workshop contributions will be the novelty and value of the ideas presented, and their intrinsic interest and timeliness.

One essential part of the workshop is the organization of the Open Concurrency Challenge. The objective of this challenge is to give authors and participants an opportunity to present their research in the shared context of a relevant concurrent programming problem. The challenge starts with the dissemination by the organizers of the problem to be solved. Solutions will be submitted and then presented in a session for discussion by their authors and broader audience.
This challenge provides an e ffective mean of comparing di fferent approaches, models, and tools in the resolution of a common problem, and assessing their effciency in a particular scenario. It is intended to provide focus to a workshop in which there will be many diverse approaches presented, as well as an e ffective
catalyst for discussion and comparison of those approaches.

Papers 征稿启事

LaME is a full day workshop that includes the presentation of all accepted papers as well as invited speakers. The day will be organized in several sessions with the objective of clustering in each session presentations on related topics. Each session will have time reserved for presentations and, more importantly, a large portion of it will be devoted to the discussion of the work being addressed. There will be a special session for the presentation, demonstration and discussion of the solutions submitted to the challenge.

Papers will be peer reviewed by the members of a program committee that will be chosen by the organizers of the workshop. Papers submitted in the full papers category will be digitally published in the form of workshop proceedings in the ACM Digital Library, while the 2-page articles and contest solutions will be posted on the workshop website for future reference. The authors submitting to the latter categories of papers have the opportunity in LaME to obtain feedback on their work, which will help them prepare their papers for later submission to top-tier conferences. To encourage authors to address the challenge problem, additional pages will be allowed for papers that both present some idea and address the challenge.

LaME Program

Wednesday, 13 June
8:30–8:30 Opening Remarks
8:30–9:15 Open issues in type systems (Leader: Robert Bocchino)
9:15–10:00 Open issues in program representations (Leader: Vivek Sarkar)
10:00–10:30 Break
10:30–11:15 Open issues in heterogeneous parallel systems (Leader: David Bacon)
11:15–12:00 Open issues in asynchronous programming (Leader: Suresh Jagannathan)
12:00–13:30 Lunch
13:30–15:00 Coordination Constructs and Libraries (Moderator: Doug Lea)

Conditional Concurrency Combinators
Pawel T. Wojciechowski
Poznań University of Technology

Clocked References in X10
Daniel Atkins, Alex Potanin, Lindsay Groves
Victoria University of Wellington

Open issues (Leader: Aaron Turon)

15:00–15:30 Break
15:30–17:00 Programming Challenge Solutions (Moderator: Jonathan Aldrich)
17:00 Wrap-up