Collaborated with:
M.Sulzmann
Talks about:
program (1) analysi (1) vector (1) messag (1) phase (1) dynam (1) clock (1) pass (1) base (1) two (1)
Person: Kai Stadtmüller
DBLP: Stadtm=uuml=ller:Kai
Contributed to:
Wrote 1 papers:
- PPDP-2018-SulzmannS #dynamic analysis #message passing #source code
- Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks (MS, KS), p. 13.