56 citations · 188 across the 15 of their papers we have counts for
4 papers · 1 filter
GLB: Lifeline-based Global Load Balancing library in X10
Wei Zhang, Olivier Tardieu, David Grove +4
We present GLB, a programming model and an associated implementation that can handle a wide range of irregular paral- lel programming problems running over large-scale distributed…
Semantics of (Resilient) X10
Silvia Crafa, David Cunningham, Vijay Saraswat +2
We present a formal small-step structural operational semantics for a large fragment of X10, unifying past work. The fragment covers multiple places, mutable objects on the heap, s…
Checking Race Freedom of Clocked X10 Programs
Tomofumi Yuki, Paul Feautrier, Sanjay Rajopadhye +1
One of many approaches to better take advantage of parallelism, which has now become mainstream, is the introduction of parallel programming languages. However, parallelism is by n…
TCC, with History
Vijay Saraswat, Radha Jagadeesan, Vineet Gupta
Modern computer systems are awash in a sea of asynchronous events. There is an increasing need for a declarative language that can permit business users to specify complex event-pr…