operational semantics | STAIR: Software Technology and Artificial Intelligence Research Laboratory

tag: operational semantics

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

domain-specific language, work stealing, load balancing, task parallel processing, termination, confluence, rewriting, concurrency, operational semantics
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

concurrency, parallel processing, type system, operational semantics, high performance computing, program verification
2018.06.17
Local Data Race Freedom with Non-Multi-Copy Atomicity Local Data Race Freedom with Non-Multi-Copy Atomicity

operational semantics, data race freedom, bisimulation, model checking, memory consistency models