[TYPES/announce] CALL FOR PAPERS for ASPLOS Workshops ASSMA, GPGPU, and WoDET

Soner Onder soner at mtu.edu
Sun Nov 14 21:57:46 EST 2010


* 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 **
------------------------------------------------------------------------------------------

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20101114/d947fb99/attachment-0001.html>


More information about the Types-announce mailing list