Concurrency debugging with differential schedule projections.
Nuno MachadoBrandon LuciaLuís E. T. RodriguesPublished in: PLDI (2015)
Keyphrases
- scheduling problem
- tomographic reconstruction
- concurrency control
- three dimensional
- discrete tomography
- scheduling algorithm
- data flow
- image reconstruction from projections
- database systems
- coordinate ascent
- radon transform
- transaction processing
- execution traces
- data structure
- neural network
- polyhedral objects
- object oriented
- object oriented languages
- lower bound
- open shop
- dynamic allocation
- linear projection
- events occur
- hardware designs
- case study