Personal information

No personal information available

Activities

Works (2)

Simulating Operational Memory Models Using Off-the-Shelf Program Analysis Tools

IEEE Transactions on Software Engineering
2023-12 | Journal article
Contributors: Dan Iorga; John Wickerson; Alastair F. Donaldson
Source: check_circle
Crossref

The semantics of shared memory in Intel CPU/FPGA systems

Proceedings of the ACM on Programming Languages
2021-10-20 | Journal article
Contributors: Dan Iorga; Alastair F. Donaldson; Tyler Sorensen; John Wickerson
Source: check_circle
Crossref