Experts has a new look! Let us know what you think of the updates.

Provide feedback
Home
Scholarly Works
Synthesizing and Verifying Multicore Parallelism...
Journal article

Synthesizing and Verifying Multicore Parallelism in Categories of Nested Code Graphs