X10 2013 - Workshop on Performance and Productivity at Scale

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 with programming challenges and prizes.
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.