Presentations

  1. Ahmed Benhida. Concurrency in Logical Programming Languages.
  2. Adam Foran. List Homomorphic Parallel Algorithms.
  3. Rajesh Radhakrishnan. A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel.