Collaborated with:
J.Palsberg
Talks about:
deadlock (1) predict (1) reduct (1) depend (1) binari (1) sound (1) graph (1)
Person: Christian Gram Kalhauge
DBLP: Kalhauge:Christian_Gram
Contributed to:
Wrote 2 papers:
- ESEC-FSE-2019-KalhaugeP #dependence #graph #reduction
- Binary reduction of dependency graphs (CGK, JP), pp. 556–566.
- OOPSLA-2018-KalhaugeP #concurrent #predict
- Sound deadlock prediction (CGK, JP), p. 29.