James Hoey

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 8

Top Topics

Mazurkiewicz Traces

Concurrent Programming

Multicore Processors

Top Venues

Sci. Comput. Program.

Publications

James Hoey, Irek Ulidowski
Towards Causal-Consistent Reversibility of Imperative Concurrent Programs. RC (2022)
James Hoey, Irek Ulidowski
Reversing an imperative concurrent programming language. Sci. Comput. Program. 223 (2022)
James Hoey, Irek Ulidowski
Reversing an Imperative Concurrent Programming Language. CoRR (2022)
Antonio Cau, Stefan Kuhn, James Hoey
Executable Interval Temporal Logic Specifications. CoRR (2021)
Antonio Cau, Stefan Kuhn, James Hoey
Reversibility of Executable Interval Temporal Logic Specifications. RC (2021)
James Hoey, Irek Ulidowski
Reversible Imperative Parallel Programs and Debugging. RC (2019)
James Hoey, Irek Ulidowski, Shoji Yuen
Reversing Parallel Programs with Blocks and Procedures. EXPRESS/SOS (2018)
James Hoey, Irek Ulidowski, Shoji Yuen
Reversing Imperative Parallel Programs. EXPRESS/SOS (2017)