concurrency | STAIR: Software Technology and Artificial Intelligence Research Laboratory

tag: concurrency

2021.06.15
An Extensionally Equivalence-ensured Language for Task Parallel Processing with Backtracking-based Load Balancing An Extensionally Equivalence-ensured Language for Task Parallel Processing with Backtracking-based Load Balancing

work stealing, load balancing, task parallel processing, termination, confluence, rewriting, concurrency, operational semantics, domain-specific language
2019.10.23
A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language

parallel processing, concurrency, type system, operational semantics, high performance computing, program verification