Travelled to:1 × France
1 × USA
1 × United Kingdom
Collaborated with:F.Pfenning W.Mansky E.L.Gunter D.Jin P.O.Meredith G.Rosu
Talks about:substructur (1) properti (1) parametr (1) parallel (1) specifi (1) session (1) program (1) monitor (1) collect (1) garbag (1)
Person: Dennis Griffith
DBLP: Griffith:Dennis
Contributed to:
2015
2014
2011Wrote 3 papers:
- FoSSaCS-2015-PfenningG
- Polarized Substructural Session Types (FP, DG), pp. 3–22.
- GRAPHITE-2014-ManskyGG #optimisation #parallel #source code #specification
- Specifying and Executing Optimizations for Parallel Programs (WM, DG, ELG), pp. 58–70.
- PLDI-2011-JinMGR #garbage collection #monitoring #parametricity
- Garbage collection for monitoring parametric properties (DJ, POM, DG, GR), pp. 415–424.