🚀 go-pugleaf

We are looking for TRACES and/or PARALLEL PROGRAMS that use EXPLICIT
(preferably semaphore style) synchronization.

We are in need of traces of real programs that use explicit synchronization.
We would prefer programs that use semaphore style synchronization but
will consider any explicit synchronization.  We need them to test a new
trace based algorithm for detecting races in parallel programs.

Although the problem we are solving is NP-hard we are hypothesizing
that for actual programs our polynomial time algorithm will give
accurate results.

If you have real programs that use semaphores but do not have traces
we would still like to hear from you in case we can't get traces.
If necessary we can extract the synchronization structure from your
program and artificially create a trace.

Thanks for your help.

Charlie McDowell
charlie@cis.ucsc.edu