Lame - User contributions [en]

2nd Call For Papers

2014-11-13T17:01:53Z

Bcabral:

LaME’12 Second Call for Contributions

2012 International Workshop on Languages for the Multi-core Era
http://lame.dei.uc.pt/index.php?title=Main_Page
June 13 2012, at ECOOP 2012, Beijing China
http://ecoop12.cs.purdue.edu/
(also colocated with PLDI, ISMM, and LCTES)

LaME is an interactive venue for exposing, evaluating, and developing
programming language support for concurrency. This workshop provides a
forum for the proposal and discussion of creative ideas that spur the
development of innovative or improved concurrency models, languages,
run-time systems, libraries and tools for multicore programming.

Space at the workshop is limited. We can ensure admission only to
those submitting accepted position papers, programming challenge
solutions, or other presentations.
&action=delete
We still solicit contributions of the following two forms, by May 20,
2012, at https://www.easychair.org/conferences/?conf=lame12
(The full paper deadline is now past.)

1. Position papers (of up to 2 pages) describing ongoing work of
attendees. Position papers will be reviewed for scope and relevance,
and distributed to all attendees before the workshop. Attendees
submitting position papers relevant to the workshop sessions on open
issues in LaME may be invited to present brief (two-slide) synopses of
their ideas and work on the following. (Authors should indicate which
if any session their position papers address.)
The LaME program committee decided that, to reflect the work-in-progress nature of submissions, and of the scheduled workshop format, LaME '12 will not
have a published proceedings. Appearance of a paper on the LaME '12 website is not intended to preclude later publication in an archival venue.

* Type Systems
including those for isolation, state, and effects
* Intermediate program representations
including those supporting optimizations across tasks, memory locality
* Extensible Libraries
including DSL support, coordination frameworks
* Asynchronous programming
including IO, events, reactive programing
* Heterogeneous systems
including integrated GPU and FPGA support, NUMA-awareness

2. Solutions to the LaME'12 programming challenge. A session at the
workshop will be devoted to brief presentations of solutions and their
implications for the design and implementation of programming
languages and parallel program development.

We solicit solutions to all or part of the following challenge,
designed to showcase the expressiveness of different parallel language
abstractions. The challenge is in two parts, one algorithmic and one
engineering parallelism into a real-world context. Solutions may
target either or both parts.

Solutions should include source code (ideally complete, but this is
not required) as well as a short paper discussing the benefits and
drawbacks of the approach. Comparisons to alternative approaches are
welcome.

While the primary focus of this challenge is on expressiveness of the
language, library or other abstractions used in the solution,
evaluations showing the scalability and performance of the proposed
approach are encouraged to show the performance that can be achieved
with the approach.

The paper should be at most 4 pages. Code and papers will not be
formally published, but will be archived on the LaME website.
Solutions to the challenge problem will be presented and discussed at
a workshop session.

PART A: PARALLEL ALGORITHMS

The first challenge involves expressing algorithms cleanly.
Prospective solutions will implement one or more of the benchmarks
from the Problem Based Benchmark Suite. This open source suite
describes a number of common real-world problems in terms of the
function they implement and not the particular algorithm or code they
use, and are thus a useful way to compare different programming
languages, methodologies, and algorithm designs.

A description of the problems in the benchmark suite, together with
sample implementations and sample inputs, is available at:

http://www.cs.cmu.edu/~guyb/pbbs/

PART B: PARALLELISM IN CONTEXT

The second challenge involves putting parallelism into a real-world
context. While expressing the core of an algorithm is important,
equally important is getting the data from the world, into an
algorithm, and back out into the world. Desirable characteristics
include code that is short, clear, and efficient.

Prospective solutions will show how to get parallel data from some
public source, process it in parallel, and display the output in some
meaningful way. The processing itself may be a solution to Part A or
it may be any other parallel algorithm. Data sources to consider
include Tim Bray's Wide Finder and Wide Finder 2 benchmarks:

http://www.tbray.org/ongoing/When/200x/2008/05/01/Wide-Finder-2

or one of the research-quality data sets described here:

https://bitly.com/bundles/hmason/1

However, any public data source may be used.

ORGANIZING COMMITTEE

* Jonathan Aldrich (Carnegie Mellon University) http://www.cs.cmu.edu/~aldrich/
* Paulo Marques (University of Coimbra) http://pmarques.dei.uc.pt/
* Bruno Cabral (University of Coimbra) http://eden.dei.uc.pt/~bcabral/
* Néstor Catañho (University of Madeira) http://dme.uma.pt/pt/people/faculty/Nestor.Catano.html
* Doug Lea (State University of New York at Oswego) http://gee.cs.oswego.edu/

Program Chair
* Doug Lea (State University of New York at Oswego) http://gee.cs.oswego.edu/

Program Committee
* Robert Bocchino (Carnegie Mellon University) http://www.cs.cmu.edu/~rbocchin/Home.html
* Brian Goetz (Oracle) http://www.briangoetz.com/
* Philipp Haller (TypeSafe and EPFL) http://lampwww.epfl.ch/~phaller/
* Mark Miller (Google) http://research.google.com/pubs/author35958.html
* Simon Peyton-Jones (Microsoft) http://research.microsoft.com/en-us/people/simonpj/
* Vivek Sarkar (Rice University) http://www.cs.rice.edu/~vs3/home/Vivek_Sarkar.html
* Steve Vinoski (Basho) http://steve.vinoski.net/blog/

Call For Papers

2014-11-13T17:00:51Z

Bcabral:

LaME’12 Call for Papers
2012 International Workshop on Languages for the Multi-core Era
http://lame.dei.uc.pt
June 13 2012, at ECOOP 2012, Beijing China
http://ecoop12.cs.purdue.edu/
(also colocated with PLDI, ISMM, LCTES, the X10 workshop, and other events)

LaME is an interactive venue for exposing, evaluating, and developing
programming language support for concurrency. This workshop provides a
forum for the proposal and discussion of creative ideas that spur the
development of innovative or improved concurrency models, languages,
run-time systems, libraries and tools for multicore programming.

We solicit contributions in any of three forms, at
https://www.easychair.org/conferences/?conf=lame12

1. Regular papers (of up to 8 pages) reporting mature or ongoing work
in relevant foundational and theoretical aspects of concurrent
programming, languages, tools, frameworks, case studies, and practical
experience.

2. Position papers (of up to 2 pages) describing ongoing work of
attendees. Position papers will be reviewed for scope and relevance,
and distributed to all attendees before the workshop.

3. Solutions to the LaME'12 programming challenge (to be issued April
15, 2012). A session at the workshop will be devoted to brief
presentations of solutions and their implications for the design and
implementation of programming languages and parallel program
development.

Code and papers will not be formally published, but will be archived on the LaME website. The LaME program committee decided that, to reflect the work-in-progress nature of submissions, and of the scheduled workshop format, LaME '12 will not have a published proceedings. Appearance of a paper on the LaME '12 website is not intended to preclude later publication in an archival venue.

'''Important dates'''

* Regular paper submission April 15, 2012
* Regular paper notification May 13, 2012
* Regular paper final copy May 25, 2012
* Position paper submission May 20, 2012
* Programming challenge submission May 20, 2012
* Workshop June 13, 2012

'''Organizing Committee'''

* Jonathan Aldrich (Carnegie Mellon University) http://www.cs.cmu.edu/~aldrich/
* Paulo Marques (University of Coimbra) http://pmarques.dei.uc.pt/
* Bruno Cabral (University of Coimbra) http://eden.dei.uc.pt/~bcabral/
* Néstor Catañho (University of Madeira) http://dme.uma.pt/pt/people/faculty/Nestor.Catano.html
* Doug Lea (State University of New York at Oswego) http://gee.cs.oswego.edu/

'''Program Chair'''
* Doug Lea (State University of New York at Oswego) http://gee.cs.oswego.edu/

'''Program Committee'''
* Robert Bocchino (Carnegie Mellon University) http://www.cs.cmu.edu/~rbocchin/Home.html
* Brian Goetz (Oracle) http://www.briangoetz.com/
* Philipp Haller (TypeSafe and EPFL) http://lampwww.epfl.ch/~phaller/
* Mark Miller (Google) http://research.google.com/pubs/author35958.html
* Simon Peyton-Jones (Microsoft) http://research.microsoft.com/en-us/people/simonpj/
* Vivek Sarkar (Rice University) http://www.cs.rice.edu/~vs3/home/Vivek_Sarkar.html
* Steve Vinoski (Basho) http://steve.vinoski.net/blog/

Call For Papers

2014-11-13T15:31:35Z

Bcabral:

LaME’12 Call for Papers
2012 International Workshop on Languages for the Multi-core Era
http://lame.dei.uc.pt
June 13 2012, at ECOOP 2012, Beijing China
http://ecoop12.cs.purdue.edu/
(also colocated with PLDI, ISMM, LCTES, the X10 workshop, and other events)

LaME is an interactive venue for exposing, evaluating, and developing
programming language support for concurrency. This workshop provides a
forum for the proposal and discussion of creative ideas that spur the
development of innovative or improved concurrency models, languages,
run-time systems, libraries and tools for multicore programming.

We solicit contributions in any of three forms, at
https://www.easychair.org/conferences/?conf=lame12

1. Regular papers (of up to 8 pages) reporting mature or ongoing work
in relevant foundational and theoretical aspects of concurrent
programming, languages, tools, frameworks, case studies, and practical
experience.

2. Position papers (of up to 2 pages) describing ongoing work of
attendees. Position papers will be reviewed for scope and relevance,
and distributed to all attendees before the workshop.

3. Solutions to the LaME'12 programming challenge (to be issued April
15, 2012). A session at the workshop will be devoted to brief
presentations of solutions and their implications for the design and
implementation of programming languages and parallel program
development.

Code and papers will not be formally published, but will be archived on the LaME website.

'''Important dates'''

* Regular paper submission April 15, 2012
* Regular paper notification May 13, 2012
* Regular paper final copy May 25, 2012
* Position paper submission May 20, 2012
* Programming challenge submission May 20, 2012
* Workshop June 13, 2012

'''Organizing Committee'''

* Jonathan Aldrich (Carnegie Mellon University) http://www.cs.cmu.edu/~aldrich/
* Paulo Marques (University of Coimbra) http://pmarques.dei.uc.pt/
* Bruno Cabral (University of Coimbra) http://eden.dei.uc.pt/~bcabral/
* Néstor Catañho (University of Madeira) http://dme.uma.pt/pt/people/faculty/Nestor.Catano.html
* Doug Lea (State University of New York at Oswego) http://gee.cs.oswego.edu/

'''Program Chair'''
* Doug Lea (State University of New York at Oswego) http://gee.cs.oswego.edu/

'''Program Committee'''
* Robert Bocchino (Carnegie Mellon University) http://www.cs.cmu.edu/~rbocchin/Home.html
* Brian Goetz (Oracle) http://www.briangoetz.com/
* Philipp Haller (TypeSafe and EPFL) http://lampwww.epfl.ch/~phaller/
* Mark Miller (Google) http://research.google.com/pubs/author35958.html
* Simon Peyton-Jones (Microsoft) http://research.microsoft.com/en-us/people/simonpj/
* Vivek Sarkar (Rice University) http://www.cs.rice.edu/~vs3/home/Vivek_Sarkar.html
* Steve Vinoski (Basho) http://steve.vinoski.net/blog/

Call For Papers

2014-11-13T15:27:54Z

Bcabral:

LaME’12 Call for Papers
2012 International Workshop on Languages for the Multi-core Era
http://lame.dei.uc.pt
June 13 2012, at ECOOP 2012, Beijing China
http://ecoop12.cs.purdue.edu/
(also colocated with PLDI, ISMM, LCTES, the X10 workshop, and other events)

LaME is an interactive venue for exposing, evaluating, and developing
programming language support for concurrency. This workshop provides a
forum for the proposal and discussion of creative ideas that spur the
development of innovative or improved concurrency models, languages,
run-time systems, libraries and tools for multicore programming.

We solicit contributions in any of three forms, at
https://www.easychair.org/conferences/?conf=lame12

1. Regular papers (of up to 8 pages) reporting mature or ongoing work
in relevant foundational and theoretical aspects of concurrent
programming, languages, tools, frameworks, case studies, and practical
experience.

2. Position papers (of up to 2 pages) describing ongoing work of
attendees. Position papers will be reviewed for scope and relevance,
and distributed to all attendees before the workshop.

3. Solutions to the LaME'12 programming challenge (to be issued April
15, 2012). A session at the workshop will be devoted to brief
presentations of solutions and their implications for the design and
implementation of programming languages and parallel program
development.

'''Important dates'''

* Regular paper submission April 15, 2012
* Regular paper notification May 13, 2012
* Regular paper final copy May 25, 2012
* Position paper submission May 20, 2012
* Programming challenge submission May 20, 2012
* Workshop June 13, 2012

'''Organizing Committee'''

* Jonathan Aldrich (Carnegie Mellon University) http://www.cs.cmu.edu/~aldrich/
* Paulo Marques (University of Coimbra) http://pmarques.dei.uc.pt/
* Bruno Cabral (University of Coimbra) http://eden.dei.uc.pt/~bcabral/
* Néstor Catañho (University of Madeira) http://dme.uma.pt/pt/people/faculty/Nestor.Catano.html
* Doug Lea (State University of New York at Oswego) http://gee.cs.oswego.edu/

'''Program Chair'''
* Doug Lea (State University of New York at Oswego) http://gee.cs.oswego.edu/

'''Program Committee'''
* Robert Bocchino (Carnegie Mellon University) http://www.cs.cmu.edu/~rbocchin/Home.html
* Brian Goetz (Oracle) http://www.briangoetz.com/
* Philipp Haller (TypeSafe and EPFL) http://lampwww.epfl.ch/~phaller/
* Mark Miller (Google) http://research.google.com/pubs/author35958.html
* Simon Peyton-Jones (Microsoft) http://research.microsoft.com/en-us/people/simonpj/
* Vivek Sarkar (Rice University) http://www.cs.rice.edu/~vs3/home/Vivek_Sarkar.html
* Steve Vinoski (Basho) http://steve.vinoski.net/blog/

File:Lame12 submission 2.pdf

2012-06-25T12:37:51Z

Bcabral: uploaded a new version of "File:Lame12 submission 2.pdf"

Main Page

2012-06-25T12:35:57Z

Bcabral: /* Presentations */

== <big>'''2012 International Workshop on Languages for the Multi-core Era'''</big> ==
June 13 2012, at ECOOP 2012, Beijing China
http://ecoop12.cs.purdue.edu/
(also colocated with PLDI, ISMM, LCTES, the X10 workshop, and other events)

LaME is an interactive venue for exposing, evaluating, and developing programming language support for concurrency. This workshop provides a forum for the proposal and discussion of creative ideas that spur the development of innovative or improved concurrency models, languages, run-time systems, libraries and tools for multicore programming.

== Motivation ==

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.

== <big>'''LaME 2012 was a success'''</big> ==

We want to acknowledge the contributions of all involved in preparing and also attending LaME. We had full house and a very rewarding day of presentations and debate.

Here are some photos taken during the event wrap-up...

[[File:foto1.jpg]]
[[File:foto2.jpg]]

== Presentations ==

You can find the PDFs of the slides (and other material) used by LaME speakers in the following links:

David F. Bacon [http://lame.dei.uc.pt/images/d/d9/David_Bacon.pdf]

Haitao Steve Zhu and Yu David Liu [http://lame.dei.uc.pt/images/d/d1/Haitao_yu.pdf]

Suresh Jagannathan [http://lame.dei.uc.pt/images/a/ab/Suresh_Jagannathan.pdf]

Aaron Turon [http://lame.dei.uc.pt/images/4/47/Aaron_Turon.pdf]

Daniel Atkins, Alex Potanin, Lindsay Groves [http://lame.dei.uc.pt/images/e/e8/Daniel_Alex_Lindsay.pdf]

Pawel T. Wojciechowski [http://lame.dei.uc.pt/images/6/67/Lame12-wojciechowski-talk.pdf]

Rob Bocchino [http://lame.dei.uc.pt/images/b/b2/Rob_Bocchino.pdf]
Rob's notes...

[[File:Easel.JPG]]

File:Lame12-wojciechowski-talk.pdf

2012-06-25T12:35:42Z

Bcabral:

Main Page

2012-06-19T16:58:48Z

Bcabral:

== <big>'''2012 International Workshop on Languages for the Multi-core Era'''</big> ==
June 13 2012, at ECOOP 2012, Beijing China
http://ecoop12.cs.purdue.edu/
(also colocated with PLDI, ISMM, LCTES, the X10 workshop, and other events)

LaME is an interactive venue for exposing, evaluating, and developing programming language support for concurrency. This workshop provides a forum for the proposal and discussion of creative ideas that spur the development of innovative or improved concurrency models, languages, run-time systems, libraries and tools for multicore programming.

== Motivation ==

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.

== <big>'''LaME 2012 was a success'''</big> ==

We want to acknowledge the contributions of all involved in preparing and also attending LaME. We had full house and a very rewarding day of presentations and debate.

Here are some photos taken during the event wrap-up...

[[File:foto1.jpg]]
[[File:foto2.jpg]]

== Presentations ==

You can find the PDFs of the slides (and other material) used by LaME speakers in the following links:

David F. Bacon [http://lame.dei.uc.pt/images/d/d9/David_Bacon.pdf]

Haitao Steve Zhu and Yu David Liu [http://lame.dei.uc.pt/images/d/d1/Haitao_yu.pdf]

Suresh Jagannathan [http://lame.dei.uc.pt/images/a/ab/Suresh_Jagannathan.pdf]

Aaron Turon [http://lame.dei.uc.pt/images/4/47/Aaron_Turon.pdf]

Daniel Atkins, Alex Potanin, Lindsay Groves [http://lame.dei.uc.pt/images/e/e8/Daniel_Alex_Lindsay.pdf]

Rob Bocchino [http://lame.dei.uc.pt/images/b/b2/Rob_Bocchino.pdf]
Rob's notes...

[[File:Easel.JPG]]

File:Easel.JPG

2012-06-19T16:58:10Z

Bcabral:

Main Page

2012-06-19T16:53:16Z

Bcabral:

== <big>'''2012 International Workshop on Languages for the Multi-core Era'''</big> ==
June 13 2012, at ECOOP 2012, Beijing China
http://ecoop12.cs.purdue.edu/
(also colocated with PLDI, ISMM, LCTES, the X10 workshop, and other events)

LaME is an interactive venue for exposing, evaluating, and developing programming language support for concurrency. This workshop provides a forum for the proposal and discussion of creative ideas that spur the development of innovative or improved concurrency models, languages, run-time systems, libraries and tools for multicore programming.

== Motivation ==

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.

== <big>'''LaME 2012 was a success'''</big> ==

We want to acknowledge the contributions of all involved in preparing and also attending LaME. We had full house and a very rewarding day of presentations and debate.
Here are some photos taken during the event wrap-up...
[[File:foto1.jpg]]
[[File:foto2.jpg]]

== Presentations ==

You can find the PDFs of the slides (and other material) used by LaME speakers in the following links:

David F. Bacon [http://lame.dei.uc.pt/images/d/d9/David_Bacon.pdf]

Haitao Steve Zhu and Yu David Liu [http://lame.dei.uc.pt/images/d/d1/Haitao_yu.pdf]

Suresh Jagannathan [http://lame.dei.uc.pt/images/a/ab/Suresh_Jagannathan.pdf]

Aaron Turon [http://lame.dei.uc.pt/images/4/47/Aaron_Turon.pdf]

Daniel Atkins, Alex Potanin, Lindsay Groves [http://lame.dei.uc.pt/images/e/e8/Daniel_Alex_Lindsay.pdf]

Rob Bocchino [http://lame.dei.uc.pt/images/b/b2/Rob_Bocchino.pdf]

File:Daniel Alex Lindsay.pdf

2012-06-19T16:53:04Z

Bcabral:

File:Rob Bocchino.pdf

2012-06-19T16:51:09Z

Bcabral:

File:Aaron Turon.pdf

2012-06-19T16:50:17Z

Bcabral:

File:Suresh Jagannathan.pdf

2012-06-19T16:49:35Z

Bcabral:

File:Haitao yu.pdf

2012-06-19T16:48:39Z

Bcabral:

File:David Bacon.pdf

2012-06-19T16:45:16Z

Bcabral:

File:Foto2.jpg

2012-06-19T16:43:34Z

Bcabral:

File:Foto1.jpg

2012-06-19T16:42:44Z

Bcabral:

Program

2012-06-12T14:43:54Z

Bcabral:

LaME is a full day workshop that includes the presentation of all accepted papers. 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.

'''Preliminary Schedule'''

10:30–10:30 Opening Remarks

10:30–11:15 Open issues in type systems (Leader: Robert Bocchino)

11:15–12:00 Open issues in program representations (Leader: Vivek Sarkar)

12:00–13:30 Lunch

13:30–14:15 Open issues in heterogeneous parallel systems (Leader: David Bacon)

14:15–15:00 Open issues in asynchronous programming (Leader: Suresh Jagannathan)

15:00–15:30 Break

15:30–17:00 Coordination Constructs and Libraries (Moderator: Doug Lea)

Conditional Concurrency Combinators (Pawel T. Wojciechowski)
Clocked References in X10 (Daniel Atkins, Alex Potanin and Lindsay Groves)
Open issues (Leader: Aaron Turon)

17:00 Wrap-up

Program

2012-06-12T00:53:28Z

Bcabral:

LaME is a full day workshop that includes the presentation of all accepted papers. 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.

'''Preliminary Schedule'''

08:30–08:30 Opening Remarks

08:30–09:15 Open issues in type systems (Leader: Robert Bocchino)

09: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)
Clocked References in X10 (Daniel Atkins, Alex Potanin and Lindsay Groves)
Open issues (Leader: Aaron Turon)

15:00–15:30 Break

15:30–17:00 Programming Challenge Solutions (Moderator: Jonathan Aldrich)

17:00 Wrap-up

MediaWiki:Sidebar

2012-05-31T17:54:21Z

Bcabral:

Papers

2012-05-31T17:51:23Z

Bcabral:

== Regular papers ==

'''The Design and Implementation of Clocked Variables in X10''' [http://lame.dei.uc.pt/images/1/16/Lame12_submission_1.pdf]

by Daniel Atkins, Alex Potanin, and Lindsay Groves

'''Conditional Concurrency Combinators''' [http://lame.dei.uc.pt/images/a/a7/Lame12_submission_2.pdf]

by Paweł T. Wojciechowski

== Position Papers ==

'''The Joelle Programming Language: Evolving Java Programs Along Two Axes of Parallel Eval''' [http://lame.dei.uc.pt/images/1/11/Lame12_submission_3.pdf]

by Johan Östlund, Stephan Brandauer, Tobias Wrigsta

'''Locality Reasoning of Multithreaded Programs through Type Inference''' [http://lame.dei.uc.pt/images/7/7e/Lame12_submission_4.pdf]

by Haitao Steve Zhu and Yu David Liu

'''Dynamic Dataflow''' [http://lame.dei.uc.pt/images/4/46/Lame12_submission_5.pdf]

by Dominic Duggan, Jianhua Yao

Papers

2012-05-31T17:49:09Z

Bcabral: Created page with "== Regular papers == '''The Design and Implementation of Clocked Variables in X10''' [http://lame.dei.uc.pt/index.php?title=File:Lame12_submission_1.pdf] by Daniel Atkins, A..."

== Regular papers ==

'''The Design and Implementation of Clocked Variables in X10''' [http://lame.dei.uc.pt/index.php?title=File:Lame12_submission_1.pdf]

by Daniel Atkins, Alex Potanin, and Lindsay Groves

'''Conditional Concurrency Combinators''' [http://lame.dei.uc.pt/index.php?title=File:Lame12_submission_2.pdf]

by Paweł T. Wojciechowski

== Position Papers ==

'''The Joelle Programming Language: Evolving Java Programs Along Two Axes of Parallel Eval''' [http://lame.dei.uc.pt/index.php?title=File:Lame12_submission_3.pdf]

by Johan Östlund, Stephan Brandauer, Tobias Wrigsta

'''Locality Reasoning of Multithreaded Programs through Type Inference''' [http://lame.dei.uc.pt/index.php?title=File:Lame12_submission_4.pdf]

by Haitao Steve Zhu and Yu David Liu

'''Dynamic Dataflow''' [http://lame.dei.uc.pt/index.php?title=File:Lame12_submission_5.pdf]

by Dominic Duggan, Jianhua Yao

File:Lame12 submission 5.pdf

2012-05-31T17:40:59Z

Bcabral:

File:Lame12 submission 4.pdf

2012-05-31T17:40:46Z

Bcabral:

File:Lame12 submission 3.pdf

2012-05-31T17:40:26Z

Bcabral:

File:Lame12 submission 2.pdf

2012-05-31T17:40:14Z

Bcabral:

File:Lame12 submission 1.pdf

2012-05-31T17:39:55Z

Bcabral:

Lame:About

2012-05-15T15:59:51Z

Bcabral: Created page with "LaME is an interactive venue for exposing, evaluating, and developing programming language support for concurrency. This workshop provides a forum for the proposal and discuss..."

LaME is an interactive venue for exposing, evaluating, and developing programming language support for concurrency. This workshop provides a forum for the proposal and discussion of creative ideas that spur the development of innovative or improved concurrency models, languages, run-time systems, libraries and tools for multicore programming.

Program

2012-05-15T15:08:31Z

Bcabral:

LaME is a full day workshop that includes the presentation of all accepted papers. 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.

'''Preliminary Schedule'''

08:30–08:30 Opening Remarks

08:30–09:15 Open issues in type systems (Leader: Robert Bocchino)

09: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:00–15:00 Coordination Constructs and Libraries (Moderator: Doug Lea)

Conditional Concurrency Combinators (Pawel T. Wojciechowski)
Clocked References in X10 (Daniel Atkins, Alex Potanin and Lindsay Groves)
Open issues (Leader: Aaron Turon)

15:00–15:30 Break

15:30–17:00 Programming Challenge Solutions (Moderator: Jonathan Aldrich)

17:00 Wrap-up

Program

2012-05-15T15:06:26Z

Bcabral:

LaME is a full day workshop that includes the presentation of all accepted papers. 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.

'''Preliminary Schedule'''

08:30–08:30 Opening Remarks

08:30–09:15 Open issues in type systems (Leader: Robert Bocchino)

09: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:00–15:00 Coordination Constructs and Libraries (Moderator: Doug Lea)
--------------- Conditional Concurrency Combinators (Pawel T. Wojciechowski)
Clocked References in X10 (Daniel Atkins, Alex Potanin and Lindsay Groves)
Open issues (Leader: Aaron Turon)

15:00–15:30 Break

15:30–17:00 Programming Challenge Solutions (Moderator: Jonathan Aldrich)

Program

2012-05-15T15:06:01Z

Bcabral:

LaME is a full day workshop that includes the presentation of all accepted papers. 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.

'''Preliminary Schedule'''

08:30–08:30 Opening Remarks

08:30–09:15 Open issues in type systems (Leader: Robert Bocchino)

09: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:00–15:00 Coordination Constructs and Libraries (Moderator: Doug Lea)
Conditional Concurrency Combinators (Pawel T. Wojciechowski)
Clocked References in X10 (Daniel Atkins, Alex Potanin and Lindsay Groves)
Open issues (Leader: Aaron Turon)

15:00–15:30 Break

15:30–17:00 Programming Challenge Solutions (Moderator: Jonathan Aldrich)

Program

2012-05-15T15:05:09Z

Bcabral:

LaME is a full day workshop that includes the presentation of all accepted papers. 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.

'''Preliminary Schedule'''

08:30–08:30 Opening Remarks
08:30–09:15 Open issues in type systems (Leader: Robert Bocchino)
09: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:00–15:00 Coordination Constructs and Libraries (Moderator: Doug Lea)
* Conditional Concurrency Combinators (Pawel T. Wojciechowski)
* Clocked References in X10 (Daniel Atkins, Alex Potanin and Lindsay Groves)
* Open issues (Leader: Aaron Turon)
15:00–15:30 Break
15:30–17:00 Programming Challenge Solutions (Moderator: Jonathan Aldrich)

Main Page

2012-05-15T15:03:03Z

Bcabral:

== <big>'''2012 International Workshop on Languages for the Multi-core Era'''</big> ==
June 13 2012, at ECOOP 2012, Beijing China
http://ecoop12.cs.purdue.edu/
(also colocated with PLDI, ISMM, LCTES, the X10 workshop, and other events)

LaME is an interactive venue for exposing, evaluating, and developing programming language support for concurrency. This workshop provides a forum for the proposal and discussion of creative ideas that spur the development of innovative or improved concurrency models, languages, run-time systems, libraries and tools for multicore programming.

== Motivation ==

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.

== Call for contributions ==

'''Regular papers (of up to 8 pages)''' reporting mature or ongoing work in relevant foundational and theoretical aspects of concurrent programming, languages, tools, frameworks, case studies, and practical experience. Selected papers peer reviewed by the Program Committee will be presented at the workshop and included in the ACM digital library. (now passed)

'''Position papers (of up to 2 pages)''' describing ongoing work of attendees. Position papers will be reviewed for scope and relevance, and distributed to all attendees before the workshop. [[2nd Call For Papers]]

'''Solutions to the LaME'12 programming challenge'''. A session at the workshop will be devoted to brief presentations of solutions and their implications for the design and implementation of programming languages and parallel program development. [[Open Concurrency Challenge]]

Main Page

2012-05-15T15:02:47Z

Bcabral:

== <big>'''2012 International Workshop on Languages for the Multi-core Era'''</big> ==
June 13 2012, at ECOOP 2012, Beijing China
http://ecoop12.cs.purdue.edu/
(also colocated with PLDI, ISMM, LCTES, the X10 workshop, and other events)

LaME is an interactive venue for exposing, evaluating, and developing programming language support for concurrency. This workshop provides a forum for the proposal and discussion of creative ideas that spur the development of innovative or improved concurrency models, languages, run-time systems, libraries and tools for multicore programming.

== Motivation ==

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.

== Call for contributions ==

'''Regular papers (of up to 8 pages)''' reporting mature or ongoing work in relevant foundational and theoretical aspects of concurrent programming, languages, tools, frameworks, case studies, and practical experience. Selected papers peer reviewed by the Program Committee will be presented at the workshop and included in the ACM digital library. (now passed)

'''Position papers (of up to 2 pages)''' describing ongoing work of attendees. Position papers will be reviewed for scope and relevance, and distributed to all attendees before the workshop. [[2nd Call For Papers]]

'''Solutions to the LaME'12 programming challenge'''. A session at the workshop will be devoted to brief presentations of solutions and their implications for the design and implementation of programming languages and parallel program development. [[Open Concurrency Challenge]]

Main Page

2012-05-15T07:22:32Z

Bcabral:

== <big>'''2012 International Workshop on Languages for the Multi-core Era'''</big> ==

LaME is an interactive venue for exposing, evaluating, and developing programming language support for concurrency. This workshop provides a forum for the proposal and discussion of creative ideas that spur the development of innovative or improved concurrency models, languages, run-time systems, libraries and tools for multicore programming.

== Motivation ==

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.

== Call for contributions ==

'''Regular papers (of up to 8 pages)''' reporting mature or ongoing work in relevant foundational and theoretical aspects of concurrent programming, languages, tools, frameworks, case studies, and practical experience. Selected papers peer reviewed by the Program Committee will be presented at the workshop and included in the ACM digital library. (now passed)

'''Position papers (of up to 2 pages)''' describing ongoing work of attendees. Position papers will be reviewed for scope and relevance, and distributed to all attendees before the workshop. [[2nd Call For Papers]]

'''Solutions to the LaME'12 programming challenge'''. A session at the workshop will be devoted to brief presentations of solutions and their implications for the design and implementation of programming languages and parallel program development. [[Open Concurrency Challenge]]

Main Page

2012-05-15T07:15:19Z

Bcabral:

== <big>'''2012 International Workshop on Languages for the Multi-core Era'''</big> ==

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.

LaME is an interactive venue for exposing, evaluating, and developing programming language support for concurrency. This workshop provides a forum for the proposal and discussion of creative ideas that spur the development of innovative or improved concurrency models, languages, run-time systems, libraries and tools for multicore programming.

== Call for contributions ==

'''Regular papers (of up to 8 pages)''' reporting mature or ongoing work in relevant foundational and theoretical aspects of concurrent programming, languages, tools, frameworks, case studies, and practical experience. Selected papers peer reviewed by the Program Committee will be presented at the workshop and included in the ACM digital library. (now passed)

'''Position papers (of up to 2 pages)''' describing ongoing work of attendees. Position papers will be reviewed for scope and relevance, and distributed to all attendees before the workshop. [[2nd Call For Papers]]

'''Solutions to the LaME'12 programming challenge'''. A session at the workshop will be devoted to brief presentations of solutions and their implications for the design and implementation of programming languages and parallel program development. [[Open Concurrency Challenge]]

Main Page

2012-05-15T07:13:58Z

Bcabral:

<big>'''2012 International Workshop on Languages for the Multi-core Era'''</big>

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.

LaME is an interactive venue for exposing, evaluating, and developing programming language support for concurrency. This workshop provides a forum for the proposal and discussion of creative ideas that spur the development of innovative or improved concurrency models, languages, run-time systems, libraries and tools for multicore programming.

== Call for contributions ==

'''Regular papers (of up to 8 pages)''' reporting mature or ongoing work in relevant foundational and theoretical aspects of concurrent programming, languages, tools, frameworks, case studies, and practical experience. Selected papers peer reviewed by the Program Committee will be presented at the workshop and included in the ACM digital library. (now passed)

'''Position papers (of up to 2 pages)''' describing ongoing work of attendees. Position papers will be reviewed for scope and relevance, and distributed to all attendees before the workshop. [[2nd Call For Papers]]

'''Solutions to the LaME'12 programming challenge'''. A session at the workshop will be devoted to brief presentations of solutions and their implications for the design and implementation of programming languages and parallel program development. [[Open Concurrency Challenge]]

Main Page

2012-05-15T07:13:11Z

Bcabral:

Main Page

2012-05-15T07:04:14Z

Bcabral: Replaced content with "Under repair..."

Under repair...

MediaWiki:Sidebar

2012-05-09T16:13:25Z

Bcabral:

Main Page

2012-05-09T16:12:25Z

Bcabral: /* New Call For Papers and Challenge */

= LaME’12 =
== ***New*** Call For Papers and Challenge ==
[[2nd Call For Papers]]

== 2012 International Workshop on Languages for the Multi-core Era ==

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.

The workshop is co-located with [http://ecoop12.cs.purdue.edu/ ECOOP 2012].

* [[Program]]
* [[Open Concurrency Challenge]]
* [[Call For Papers]]
* [[2nd Call For Papers]] (including the Challenge Call)
* [[Organizing Committee]]

== Motivation ==

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.

Main Page

2012-05-09T16:11:45Z

Bcabral: /* New Call for Papers and Challenge */

= LaME’12 =
== New Call For Papers and Challenge ==
[[2nd Call For Papers]]

== 2012 International Workshop on Languages for the Multi-core Era ==

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.

The workshop is co-located with [http://ecoop12.cs.purdue.edu/ ECOOP 2012].

* [[Program]]
* [[Open Concurrency Challenge]]
* [[Call For Papers]]
* [[2nd Call For Papers]] (including the Challenge Call)
* [[Organizing Committee]]

== Motivation ==

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.

Main Page

2012-05-09T16:11:30Z

Bcabral:

= LaME’12 =
== New Call for Papers and Challenge ==
[[2nd Call For Papers]]

== 2012 International Workshop on Languages for the Multi-core Era ==

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.

The workshop is co-located with [http://ecoop12.cs.purdue.edu/ ECOOP 2012].

* [[Program]]
* [[Open Concurrency Challenge]]
* [[Call For Papers]]
* [[2nd Call For Papers]] (including the Challenge Call)
* [[Organizing Committee]]

== Motivation ==

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.

Open Concurrency Challenge

2012-05-09T16:10:33Z

Bcabral:

LaME'12 CHALLENGE PROBLEM - CALL FOR SOLUTIONS

2012 International Workshop on Languages for the Multi-core Era
http://lame.dei.uc.pt/
June 13, 2012, at ECOOP 2012, Beijing, China
also co-located with PLDI 2012

We solicit solutions to all or part of the following challenge, designed to showcase the expressiveness of different parallel language abstractions. The challenge is in two parts, one algorithmic and one engineering parallelism into a real-world context. Solutions may target either or both parts.

Solutions should include source code (ideally complete, but this is not required) as well as a short paper discussing the benefits and drawbacks of the approach. Comparisons to alternative approaches are welcome.

While the primary focus of this challenge is on expressiveness of the language, library or other abstractions used in the solution, evaluations showing the scalability and performance of the proposed approach are encouraged to show the performance that can be achieved with the approach.

The paper should be at most 4 pages. Code and papers will not be formally published, but will be archived on the LaME website. Solutions to the challenge problem will be presented and discussed at a workshop session.

Important dates:

Challenge Problem Submission: May 20, 2012
(additional solutions may be accepted after this deadline
on a space-available basis)

Workshop: June 13, 2012

PART A: PARALLEL ALGORITHMS

The first challenge involves expressing algorithms cleanly. Prospective solutions will implement one or more of the benchmarks from the Problem Based Benchmark Suite. This open source suite describes a number of common real-world problems in terms of the function they implement and not the particular algorithm or code they use, and are thus a useful way to compare different programming languages, methodologies, and algorithm designs.

A description of the problems in the benchmark suite, together with sample implementations and sample inputs, is available at:

http://www.cs.cmu.edu/~guyb/pbbs/

PART B: PARALLELISM IN CONTEXT

The second challenge involves putting parallelism into a real-world context. While expressing the core of an algorithm is important, equally important is getting the data from the world, into an algorithm, and back out into the world. Desirable characteristics include code that is short, clear, and efficient.

Prospective solutions will show how to get parallel data from some public source, process it in parallel, and display the output in some meaningful way. The processing itself may be a solution to Part A or it may be any other parallel algorithm. Data sources to consider include Tim Bray's Wide Finder and Wide Finder 2 benchmarks:

http://www.tbray.org/ongoing/When/200x/2008/05/01/Wide-Finder-2

or one of the research-quality data sets described here:

https://bitly.com/bundles/hmason/1

However, any public data source may be used.

MORE INFORMATION IN [[2nd Call For Papers]]

Open Concurrency Challenge

2012-05-09T16:10:16Z

Bcabral:

Main Page

2012-05-09T16:09:08Z

Bcabral: /* 2012 International Workshop on Languages for the Multi-core Era */

= LaME’12 =
== 2012 International Workshop on Languages for the Multi-core Era ==

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.

The workshop is co-located with [http://ecoop12.cs.purdue.edu/ ECOOP 2012].

* [[Program]]
* [[Open Concurrency Challenge]]
* [[Call For Papers]]
* [[2nd Call For Papers]] (including the Challenge Call)
* [[Organizing Committee]]

== Motivation ==

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.

Main Page

2012-05-09T16:08:16Z

Bcabral:

= LaME’12 =
== 2012 International Workshop on Languages for the Multi-core Era ==

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.

The workshop is co-located with [http://ecoop12.cs.purdue.edu/ ECOOP 2012].

* [[Program]]
* [[Open Concurrency Challenge]]
* [[Call For Papers]]
* [[2nd Call For Papers]]
* [[Organizing Committee]]

== Motivation ==

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.

2nd Call For Papers

2012-05-09T16:06:50Z

Bcabral: Created page with " LaME’12 Second Call for Contributions 2012 International Workshop on Languages for the Multi-core Era http..."

LaME’12 Second Call for Contributions

2012 International Workshop on Languages for the Multi-core Era
http://lame.dei.uc.pt/index.php?title=Main_Page
June 13 2012, at ECOOP 2012, Beijing China
http://ecoop12.cs.purdue.edu/
(also colocated with PLDI, ISMM, and LCTES)

LaME is an interactive venue for exposing, evaluating, and developing
programming language support for concurrency. This workshop provides a
forum for the proposal and discussion of creative ideas that spur the
development of innovative or improved concurrency models, languages,
run-time systems, libraries and tools for multicore programming.

Space at the workshop is limited. We can ensure admission only to
those submitting accepted position papers, programming challenge
solutions, or other presentations.
&action=delete
We still solicit contributions of the following two forms, by May 20,
2012, at https://www.easychair.org/conferences/?conf=lame12
(The full paper deadline is now past.)

1. Position papers (of up to 2 pages) describing ongoing work of
attendees. Position papers will be reviewed for scope and relevance,
and distributed to all attendees before the workshop. Attendees
submitting position papers relevant to the workshop sessions on open
issues in LaME may be invited to present brief (two-slide) synopses of
their ideas and work on the following. (Authors should indicate which
if any session their position papers address.)

* Type Systems
including those for isolation, state, and effects
* Intermediate program representations
including those supporting optimizations across tasks, memory locality
* Extensible Libraries
including DSL support, coordination frameworks
* Asynchronous programming
including IO, events, reactive programing
* Heterogeneous systems
including integrated GPU and FPGA support, NUMA-awareness

2. Solutions to the LaME'12 programming challenge. A session at the
workshop will be devoted to brief presentations of solutions and their
implications for the design and implementation of programming
languages and parallel program development.

We solicit solutions to all or part of the following challenge,
designed to showcase the expressiveness of different parallel language
abstractions. The challenge is in two parts, one algorithmic and one
engineering parallelism into a real-world context. Solutions may
target either or both parts.

Solutions should include source code (ideally complete, but this is
not required) as well as a short paper discussing the benefits and
drawbacks of the approach. Comparisons to alternative approaches are
welcome.

While the primary focus of this challenge is on expressiveness of the
language, library or other abstractions used in the solution,
evaluations showing the scalability and performance of the proposed
approach are encouraged to show the performance that can be achieved
with the approach.

The paper should be at most 4 pages. Code and papers will not be
formally published, but will be archived on the LaME website.
Solutions to the challenge problem will be presented and discussed at
a workshop session.

PART A: PARALLEL ALGORITHMS

The first challenge involves expressing algorithms cleanly.
Prospective solutions will implement one or more of the benchmarks
from the Problem Based Benchmark Suite. This open source suite
describes a number of common real-world problems in terms of the
function they implement and not the particular algorithm or code they
use, and are thus a useful way to compare different programming
languages, methodologies, and algorithm designs.

A description of the problems in the benchmark suite, together with
sample implementations and sample inputs, is available at:

http://www.cs.cmu.edu/~guyb/pbbs/

PART B: PARALLELISM IN CONTEXT

The second challenge involves putting parallelism into a real-world
context. While expressing the core of an algorithm is important,
equally important is getting the data from the world, into an
algorithm, and back out into the world. Desirable characteristics
include code that is short, clear, and efficient.

Prospective solutions will show how to get parallel data from some
public source, process it in parallel, and display the output in some
meaningful way. The processing itself may be a solution to Part A or
it may be any other parallel algorithm. Data sources to consider
include Tim Bray's Wide Finder and Wide Finder 2 benchmarks:

http://www.tbray.org/ongoing/When/200x/2008/05/01/Wide-Finder-2

or one of the research-quality data sets described here:

https://bitly.com/bundles/hmason/1

However, any public data source may be used.

ORGANIZING COMMITTEE

* Jonathan Aldrich (Carnegie Mellon University) http://www.cs.cmu.edu/~aldrich/
* Paulo Marques (University of Coimbra) http://pmarques.dei.uc.pt/
* Bruno Cabral (University of Coimbra) http://eden.dei.uc.pt/~bcabral/
* Néstor Catañho (University of Madeira) http://dme.uma.pt/pt/people/faculty/Nestor.Catano.html
* Doug Lea (State University of New York at Oswego) http://gee.cs.oswego.edu/

Program Chair
* Doug Lea (State University of New York at Oswego) http://gee.cs.oswego.edu/

Program Committee
* Robert Bocchino (Carnegie Mellon University) http://www.cs.cmu.edu/~rbocchin/Home.html
* Brian Goetz (Oracle) http://www.briangoetz.com/
* Philipp Haller (TypeSafe and EPFL) http://lampwww.epfl.ch/~phaller/
* Mark Miller (Google) http://research.google.com/pubs/author35958.html
* Simon Peyton-Jones (Microsoft) http://research.microsoft.com/en-us/people/simonpj/
* Vivek Sarkar (Rice University) http://www.cs.rice.edu/~vs3/home/Vivek_Sarkar.html
* Steve Vinoski (Basho) http://steve.vinoski.net/blog/

Open Concurrency Challenge

2012-05-02T11:56:18Z

Bcabral:

Call For Papers

2012-03-05T16:13:43Z

Bcabral:

LaME’12 Call for Papers
2012 International Workshop on Languages for the Multi-core Era
http://lame.dei.uc.pt
June 13 2012, at ECOOP 2012, Beijing China
http://ecoop12.cs.purdue.edu/
(also colocated with PLDI, ISMM, LCTES, the X10 workshop, and other events)

LaME is an interactive venue for exposing, evaluating, and developing
programming language support for concurrency. This workshop provides a
forum for the proposal and discussion of creative ideas that spur the
development of innovative or improved concurrency models, languages,
run-time systems, libraries and tools for multicore programming.

We solicit contributions in any of three forms, at
https://www.easychair.org/conferences/?conf=lame12

1. Regular papers (of up to 8 pages) reporting mature or ongoing work
in relevant foundational and theoretical aspects of concurrent
programming, languages, tools, frameworks, case studies, and practical
experience. Selected papers peer reviewed by the Program Committee
will be presented at the workshop and included in the ACM digital
library.

2. Position papers (of up to 2 pages) describing ongoing work of
attendees. Position papers will be reviewed for scope and relevance,
and distributed to all attendees before the workshop.

3. Solutions to the LaME'12 programming challenge (to be issued April
15, 2012). A session at the workshop will be devoted to brief
presentations of solutions and their implications for the design and
implementation of programming languages and parallel program
development.

'''Important dates'''

* Regular paper submission April 15, 2012
* Regular paper notification May 13, 2012
* Regular paper final copy May 25, 2012
* Position paper submission May 20, 2012
* Programming challenge submission May 20, 2012
* Workshop June 13, 2012

'''Organizing Committee'''

* Jonathan Aldrich (Carnegie Mellon University) http://www.cs.cmu.edu/~aldrich/
* Paulo Marques (University of Coimbra) http://pmarques.dei.uc.pt/
* Bruno Cabral (University of Coimbra) http://eden.dei.uc.pt/~bcabral/
* Néstor Catañho (University of Madeira) http://dme.uma.pt/pt/people/faculty/Nestor.Catano.html
* Doug Lea (State University of New York at Oswego) http://gee.cs.oswego.edu/

'''Program Chair'''
* Doug Lea (State University of New York at Oswego) http://gee.cs.oswego.edu/

'''Program Committee'''
* Robert Bocchino (Carnegie Mellon University) http://www.cs.cmu.edu/~rbocchin/Home.html
* Brian Goetz (Oracle) http://www.briangoetz.com/
* Philipp Haller (TypeSafe and EPFL) http://lampwww.epfl.ch/~phaller/
* Mark Miller (Google) http://research.google.com/pubs/author35958.html
* Simon Peyton-Jones (Microsoft) http://research.microsoft.com/en-us/people/simonpj/
* Vivek Sarkar (Rice University) http://www.cs.rice.edu/~vs3/home/Vivek_Sarkar.html
* Steve Vinoski (Basho) http://steve.vinoski.net/blog/