Pipelines and Beyond: Graph Types for ADTs with Futures

Francis Rinaldi, june wunder, Arthur Aevedo De Amorim +1

Parallel programs are frequently modeled as dependency or cost graphs, which can be used to detect various bugs, or simply to visualize the parallel structure of the code. However,…