ACM Logo ACM Logo The 2013 ACM SIGPLAN

X10 Workshop
(X10'13)

co-located with PLDI'13

Seattle, Washington
  Thursday, June 20, 2013

 

The concurrency and scale-out era is upon us. Application programmers need to confront the architectural challenge of multiples cores and accelerators, clusters and supercomputers. A central need is the development of a usable programming model that can address these challenges -- dealing with thousands of cores and peta-bytes of data.

The open-source X10 programming language is designed to address these twin challenges of productivity and performance. It is organized around four basic principles of asynchrony, locality, atomicity and order, developed on a type-safe, class-based, object-oriented foundation. This foundation is robust enough to support fine-grained concurrency, Cilk-style fork-join programming, GPU programming, SPMD computations, phased computations, active messaging, MPI-style communicators and cluster programming. X10 implementations are available on a wide range of systems ranging from laptops, to clusters, to supercomputers.

The X10 Workshop is intended as a forum for X10 programmers, developers, researchers, and educators. The program may include presentation of invited and selected papers, panels and a late evening X10 hackathon.

Original papers are invited on all aspects of X10, including theory, design, implementation, practice, curriculum development and experience, applications and tools. Accepted authors will have the option of having their paper published in the workshop proceedings in ACM Digital Library.

Topics of interest include, but are not limited to:

  • Curriculum development using X10 and experience
  • Applications and experience, X10 programming pearls
  • High-level frameworks and libraries: map reduce, parallel matrix and graph libraries, global load balancing frameworks
  • Performance analysis, comparison between performance of X10 application in managed environment vs native environment
  • Foundations: weak-memory models, models of imperative concurrency, reasoning techniques for dynamic concurrency
  • Extensions: fault-tolerance, dynamic places, hierarchical places
  • Type systems for concurrency and alias management
  • Deterministic computation, Phased computations -- Clock-based concurrency, Stream-based computation
  • Static analyses for atomicity violations, race conditions, deadlock-freedom.
  • Compilation techniques: code generation, compilation for work-stealing, concurrency and communication optimizations, compilation for scale
  • Runtime systems, Interoperability with Java, MPI
  • Design and evaluation of JVM extensions for X10.
  • Distributed GC
  • Design and experience with development tools (IDEs) for X10
  • Performance analysis and monitoring tools
  • Testing, Bug-detection and program understanding tools
  • Debugging frameworks, including large-scale debugging, differential debugging.

Workshop Program

Accepted Papers

  • Invasive Computing in HPC with X10. Hans-Joachim Bungartz, Christoph Riesinger, Martin Schreiber, Andreas Zwinkau and Gregor Snelting.
  • First steps to compiling MATLAB to X10. Vineet Kumar and Laurie Hendren.
  • Hybrid Parallel Task Placement in X10. Jeeva Paudel, Olivier Tardieu and Jose Nelson Amaral
  • Achieving Load-Balancing in Power System Parallel Contingency Analysis Using X10 Programming Language. Siddhartha Khaitan and James D. McCalley
  • Java Interoperability in Managed X10. Mikio Takeuchi, David Cunningham, David Grove and Vijay Saraswat

Invited Talks

The workshop will also feature a brief tutorial on the X10 language and its implementation, an overview of current and planned X10 project activities, and invited talks on other aspects of X10.  More details will be announced by early May.


Important Dates

  • Paper submission deadline: March 18, 2013
  • Author Notification: April 10, 2013
  • Camera ready deadline: May 3, 2013
  • Advanced Registration deadline: Same as PLDI'13 (tentatively mid-May)
  • Workshop: Thu, June 20, 2013

Submission Information

Submissions must be in ACM proceedings format, 9-point type, and may not exceed 10 pages (all inclusive). Word and LaTeX templates for this format are available at http://www.sigplan.org/authorInformation.htm. Submissions must be in PDF and printable on US Letter and A4 sized paper.

Papers must describe unpublished work that is not currently submitted for publication elsewhere as discussed at http://www.sigplan.org/Resources/Policies/Republication.

Authors of accepted papers who elect to publish them in the ACM Digital Library will be required to sign an ACM copyright release.

General Chair

Michael Hind, IBM Research

Program Chair

David Grove, IBM Research

Program Committee

Steering Committee

Travel Grants

The SIGPLAN Profession Activities Committee (PAC) provides competitive awards for student author travel to attend X10'13. These travel awards are funded by SIGPLAN. Awards are also available to child care or companion travel for SIGPLAN members. Further details, including the application form can be found at http://www.sigplan.org/PAC.htm

 

Previous Workshops

X10 Workshop at PLDI'11

X10 Workshop at PLDI'12

 

Sponsored

by

ACM SIGPLAN Logo
 

ACM Special Interest Group on
Programming Languages (SIGPLAN)