- Laowai Guide
International Workshop on Languages for the Multi-core Era (LaME'12)
- 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
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 effort 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 refined 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.
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 effective mean of comparing different 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 effective
catalyst for discussion and comparison of those approaches.
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.
|Wednesday, 13 June|
|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:30–11:15||Open issues in heterogeneous parallel systems (Leader: David Bacon)|
|11:15–12:00||Open issues in asynchronous programming (Leader: Suresh Jagannathan)|
|13:30–15:00||Coordination Constructs and Libraries (Moderator: Doug Lea)|
Conditional Concurrency Combinators
Clocked References in X10
Open issues (Leader: Aaron Turon)
|15:30–17:00||Programming Challenge Solutions (Moderator: Jonathan Aldrich)|