Tag: operational semantics

• Publications 2021.06.15

  Publications 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

  Tatsuya Abe and Tasuku Hiraishi. An Extensionally Equivalence-ensured Language for Task Parallel Processing wi...

  domain-specific languagework stealingload balancingtask parallel processingterminationconfluencerewritingconcurrencyoperational semantics

• Publications 2019.10.23

  Publications 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

  Tatsuya Abe. A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language. In Pro...

  concurrencyparallel processingtype systemoperational semanticshigh performance computingprogram verification

• Publications 2018.06.17

  Publications 2018.06.17

  Local Data Race Freedom with Non-Multi-Copy Atomicity Local Data Race Freedom with Non-Multi-Copy Atomicity

  Tatsuya Abe. Local Data Race Freedom with Non-Multi-Copy Atomicity. In Proceedings of SPIN, volume 10869 of Le...

  operational semanticsdata race freedombisimulationmodel checkingmemory consistency models