Globally precise-restartable execution of parallel programs.
Gagan GuptaSrinath SridharanGurindar S. SohiPublished in: PLDI (2014)
Keyphrases
- parallel execution
- program execution
- control flow
- application programs
- parallel processing
- high level programming language
- symbolic execution
- parallel implementation
- parallel computing
- computer programs
- data sets
- parallel computation
- distributed shared memory
- parallel programming
- massively parallel
- neural network
- fixpoint
- computer architecture
- parallel architectures
- shared memory
- data flow
- multi core processors
- answer sets
- efficient execution
- business processes
- concurrent execution
- sorting algorithms
- high level