2 papers
cs.PL2023
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,…
cs.PL2023
Responsive Parallelism with Synchronization
Stefan K. Muller, Kyle Singer, Devyn Terra Keeney +4
Many concurrent programs assign priorities to threads to improve responsiveness. When used in conjunction with synchronization mechanisms such as mutexes and condition variables, h…