Lambda the Ultimate

This is an abbreviated Call-For-Papers (CFP).

ALTA 2008 Workshop

Held in conjunction with the
2008 International Symposium on Computer Architecture (ISCA-35)

Sunday June 22nd, Beijing, China

Submitted papers will be considered to be published on one or more special issues of journals or newsletters highlighting the "Best of ISCA 2008 Workshops."

Workshop Theme

Throughput-oriented applications are attracting broader interest because of the proliferation of multi- and many-core CPUs and GPUs. The reasons are many-fold. Increasing software-exposed parallelism is necessitated by power-constrained design. Moreover, the emphasis on visual quality in entertainment-oriented applications is driving demand on client platforms. Finally, the pre-existing demands for compute cycles in high-performance computing is challenged by the changing programming and optimization landscape found in highly integrated multi-core devices.

This workshop seeks an interdisciplinary set of commercial and academic researchers and practitioners working at the frontiers of throughput oriented programming models, applications, and architectures.

For more details, please see the web site at http://www.sei.buaa.edu.cn/alta08/

Possibly interesting, if you are into process algebras. I am insufficiently clueful about the topic area to pass serious judgement on the paper, but I found it a mostly accessible read at any rate.

Mark BURGIN and Marc L. SMITH 2006

PDF

There are many different models of concurrent processes. The goal of
this work is to introduce a common formalized framework for current research in
this area and to eliminate shortcomings of existing models of concurrency.
Following up the previous research of the authors and other researchers on
concurrency, here we build a high-level metamodel EAP (event-action-process) for
concurrent processes. This metamodel comprises a variety of other models of
concurrent processes.

I mean, any paper that says "One of the reasons is that, as experts claim, nontrivial concurrent programs based on threads, semaphores, and mutexes are incomprehensible to humans" can't be all bad.