The Lightweight Deterministic Replay of X10 Programs
Charles Zhang, The Hong Kong University of Science and Technology, China (X10 team contact: Qiming Teng) The proposed project enhances the debuggability of the X10 programs by designing, implementing,...
View ArticleChecking Serializability Consistency for Concurrent X10 Programs
Jianjun Zhao, Shanghai Jiao Tong University, China (X10 team contact: Qiming Teng and Haichuan Wang) Although many efforts have been made to improve the memory model and synchronization, atomicity...
View ArticlePrototyping a Novel Performance Toolset for X10 Applications
Alan George, University of Florida (X10 team contact: Evelyn Duesterwald) Given the importance of performance tools for productive HPC development, this project aims to explore the challenges involved...
View ArticleOptimization and Verification of X10 Programs
Jens Palsberg, UCLA (X10 team contact: Olivier Tardieu) We want to provide optimization and verification techniques for parallel programs that are on par with today's standards for sequential programs....
View ArticleSystematic Testing in and for X10
Darko Marinov, UIUC (X10 team contact: Steve Fink)New parallel programming languages, such as X10, make it easier to develop more reliable parallel code. However, despite the advances in parallel...
View Article
More Pages to Explore .....