co-located with PLDI'13
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.
- 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
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.
- 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
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.
Michael Hind, IBM Research
David Grove, IBM Research
- Jose Nelson Amaral (University of Alberta)
- David Grove (IBM Research) - PC Chair
- Dave Hudak (Ohio Supercomputer Center)
- Martha Kim (Columbia University)
- I-Ting Angelina Lee (MIT)
- Igor Peshansky (Google)
- Toyotaro Suzumura (IBM Research / Tokyo Institute of Technology)\
- Olivier Tardieu (IBM Research)
- Eli Tilevich (Virginia Tech)
- Jisheng Zhao (Rice University)
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
ACM Special Interest Group on
Programming Languages (SIGPLAN)