Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs

Geahča maid

• Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
  Dahkki: Forejt, V, et al.
  Almmustuhtton: (2017)
• Discovering and correcting a deadlock in a channel implementation
  Dahkki: Lowe, G
  Almmustuhtton: (2019)
• Sound static deadlock analysis for C/Pthreads
  Dahkki: Kroening, D, et al.
  Almmustuhtton: (2016)
• Deadlock analysis in networks of communicating processes
  Dahkki: Roscoe, A, et al.
  Almmustuhtton: (1985)
• Deadlock analysis in networks of communicating processes
  Dahkki: Roscoe, A, et al.
  Almmustuhtton: (1991)