[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

* We apologize if you receive this announcement from multiple sources. We expect that these workshops will be of interest to the Programming Language
Community *


CALL FOR PAPERS for the Workshops co-located with the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XVI)
http://asplos11.cs.ucr.edu/tutorialworkshop.html


Contained in this note:

1) CALL FOR PAPERS 1st Workshop on Architecture and Systems Support for Mobile Applications (ASSMA) http://sites.google.com/site/assmaworkshop 2) CALL FOR PAPERS Workshop on General Purpose Processing Using GPUs (GPGPU) http://www.ece.neu.edu/GPGPU/ 3) CALL FOR PAPERS 2nd Workshop on Determinism and Correctness in Parallel Programming (WoDET) http://sites.google.com/site/2ndwodet/

------------------------------------------------------------------------------------------
1) CALL FOR PAPERS ASSMA
The 1st Workshop on Architecture and Systems Support for Mobile Applications
(http://sites.google.com/site/assmaworkshop)
Newport Beach, California, March 5, 2011
In conjunction with the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XVI)

The Workshop on Architecture and Systems Support for Mobile Applications (ASSMA) is a multidisciplinary forum for new ideas and experimental results in architecture and systems research targeting mobile applications. As the market for mobile computing devices (e.g., smartphones, PDAs, media players) continues its tremendous growth, it is becoming increasingly important to optimize the execution of applications on these devices. This workshop aims to identify emerging applications, understand their execution, and optimize their execution through innovations in hardware and software. The goal of the workshop is to promote discussion between academia and industry on challenges in this area that span the hardware-software computing stack, including architecture, compilers, programming languages, systems, applications, and the end user. Topics of interest include, but are not limited to:
. Characterization of mobile applications and usage behavior
. Application-specific, reconfigurable, and accelerator-based processing for mobile applications
. Programming language techniques and extensions for mobile applications
. Energy-efficient mobile architecture and systems design
. Multicore design challenges with mobile applications
. Mobile web browser design, implementation, and optimization
. Support for integration, collection, and analysis of sensor data in mobile applications
. Profiling, debugging, and software development tools for mobile devices
. Experiences with real mobile computing platforms
Papers should report on original research, and include adequate background material to make them accessible to the architecture and systems community. Submissions will be judged based upon their correctness, relevance, originality, significance, and clarity. Submission Guidelines All submissions are to be made electronically through the submission web site. Submissions should be between 6 and 8 pages in length, include the full list of authors and affiliations, be in standard double column ACM conference format, and submitted in PDF format. Templates for ACM format are available for Microsoft Word and LaTeX at http://www.sigplan.org/authorInformation.htm(use the 9 pt. template).

Important Dates:
Submission Dec 6, 2010, 6pm PST
Notification Jan 20, 2010
Final Feb 28, 2011

Organizers:
Alex Shye, Qualcomm
Calin Cascaval, Qualcomm
Program Committee
Murali Annavarum, USC
Ras Bodik, UC Berkeley
Calin Cascaval, Qualcomm
Luis Ceze, U Washington
Chandra Krintz, UCSB
Krisztian Flautner, ARM
Sam King, U Illinois
Jose Martinez, Cornell U
Gokhan Memik, Northwestern U
Trevor Mudge, U Michigan
Jens Palsberg, UCLA
Keshav Pingali, UT Austin
Alex Shye, Qualcomm
Michael Taylor, UCSD



-------------------------------------------------------------------------------------------------------------------------------------

2) CALL FOR PAPERS GPGPU
Workshop on General Purpose Processing Using GPUs
( http://www.ece.neu.edu/GPGPU/)
Newport Beach, California, March 5, 2011
In conjunction with the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XVI)

Overview: The goal of this workshop is to provide a forum to discuss new and emerging general-purpose purpose programming environments and platforms, as well as evaluate applications that have been able to harness the horsepower provided by these platforms. This year's work is particularly interested on new heterogeneous GPU platforms. Papers are being sought on many aspects of GPUs, including (but not limited to):

+ GPU applications + GPU compilation
+ GPU programming environments + GPU power/efficiency
+ GPU architectures + GPU benchmarking/measurements
+ Multi-GPU systems + Heterogeneous GPU platforms

Paper Submission: Authors should submit a 8 page paper in ACM double-column style using the directions on the conference website at www.ece.neu.edu/GPGPU/

Important Dates:
----------------
Paper submission: December 10, 2010 (no extensions will be given)
Author notification: January 15, 2011
Final paper: January 30, 2011

Organizers:
John Cavazos, University of Delaware
David Kaeli, Northeastern University

Program Committee:
Tor Aamodt, Univ. of British Columbia
Mark Barnell, AFRL
Francois Bodin, CAPS
Albert Cohen, INRIA
Michael Gschwind, IBM Research
Wen-mei Hwu, UIUC
Won-Ki Jeong, Harvard University
Richard Johnson, NVIDIA
Volodymyr Kindratenko, UIUC
James Malcolm, Accelereyes
Nacho Navarro, UPC
Nicholas Pinto, MIT
Chris Rossbach, Microsoft
Norm Rubin, AMD/ATI
Nayda Santiago, UPRM
Dale Shires, Army Research Labs
Michela Taufer, Univ. of Delaware
Guru Venkataramani, GWU
Jeffrey Vetter, Oak Ridge National Labs
Sudhakar Yalamanchili, Georgia Tech

All papers will be made available at the workshop and will also be published in the ACM Conference Proceedings Series.

------------------------------------------------------------------------------------------------

3) CALL FOR PAPERS WoDET
2nd Workshop on Determinism and Correctness in Parallel Programming
http://sites.google.com/site/2ndwodet/
Newport Beach, California, March 6, 2011
In conjunction with the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XVI)


Unintentional non-determinism is the bane of multithreaded software development. Defective software might execute correctly hundreds of times before a subtle synchronization bug appears, and when it does, developers often cannot readily reproduce it while debugging. Nondeterminism also complicates testing as good coverage requires both a wide range of program inputs and a large number of possible interleavings for each input. These problems have taken on renewed urgency as multicore systems have driven parallel programming to become mainstream. Determinism is emerging as an important research area, ranging from techniques for existing code (including deterministic execution models, parallelizing compilers, and deterministic replay for debugging) to new programming models (including deterministic general purpose languages and run-time systems). Deterministic multiprocessing yields deep open questions in programming languages, compilers, operating systems, runtime systems and architecture. While there is a growing consensus that determinism would greatly help with the programmability challenges of multicore systems, there is still little consensus on many important questions. What are the performance and programmability trade-offs for enforcing deterministic semantics with different approaches? Should deterministic semantics be strictly enforced or guaranteed only for programs that are "well-behaved" in certain ways? How can we support truly non-deterministic algorithms, where non-determinism is intentionally used for improved parallel performance? How can each layer of the system stack contribute to these goals? What are other safety guarantees useful in making parallel programming easier and less error prone (e.g., race-freedom, atomicity, etc..)?

The Second Workshop on Determinism and Correctness in Parallel Programming is an across-the-stack forum to discuss the role of a wide range of correctness properties in parallel and concurrent programming. While determinism is an important theme, the scope of the workshop includes other correctness properties for parallel programs and systems. The workshop will be a full day event with a few invited talks, a moderated debate, and technical sessions for short peer-reviewed papers discussing ideas, positions, or preliminary research results.

In addition to answers to the questions above, topics of interest include:
* Language extensions for disciplined parallel programming models (deterministic, data race-free, etc.) * Architecture, operating system, runtime system and compiler support for parallel program correctness
* Concurrency debugging techniques
* New properties of parallel programs
* Limit studies and empirical studies of the cost of safety properties
* Studies of the applicability of correctness properties in parallel programs and algorithms
* Concurrency bug avoidance techniques
* Real-world experience with safe parallel programming models, systems, or tools

We are seeking submissions of short position papers to be presented at the workshop. Position papers may introduce new ideas relevant to the workshop, propose interesting research directions, and/or describe preliminary research results. Workshop submissions will be judged on novelty, technical merit, and potential for creating thought-provoking discussion at the workshop. There will NOT be a formal proceedings so work presented at this workshop is eligible for republication in future ACM conferences or journals (and other formal venues that have similar republication policies).

Submissions must be in PDF format, in two columns, 10-point font, 1-inch margins, and no longer than 6 pages in total. Please contact the organizers if any of these present a hardship. Please check back for the submissions link here: http://sites.google.com/site/2ndwodet/

## Important Dates

Friday, January 14, 2011 - Paper Submission (by 11:59pm US Eastern Standard Time)
Monday, February 7, 2011 - Acceptance notifications

## Organizers

Vikram Adve, University of Illinois at Urbana-Champaign
Luis Ceze, University of Washington
Bryan Ford, Yale University

## Program Committee

Vikram Adve, University of Illinois at Urbana-Champaign
Saman Amarasinghe, MIT
Emery Berger, University of Massachusetts
Hans-J Boehm, HP Labs
Luis Ceze, University of Washington
Bryan Ford, Yale University
Tim Harris, MSR
Jim Larus, MSR
Vivek Sarkar, Rice University


** Posted by Soner Onder, ASPLOS 2011 Publicity Chair **
------------------------------------------------------------------------------------------

Reply via email to