Travelled to:1 × The Netherlands
1 × USA
Collaborated with:W.L.Harrison I.Graves M.Becchi P.S.Kariotis G.Allwein K.Sajjapongse V.T.Ravi S.T.Chakradhar
Talks about:implement (1) virtual (1) templat (1) support (1) hardwar (1) cluster (1) tenanc (1) semant (1) runtim (1) memori (1)
Person: Adam M. Procter
DBLP: Procter:Adam_M=
Contributed to:
2015
2012
2008Wrote 3 papers:
- LCTES-2015-ProcterHGBA #design #hardware #implementation #semantics #verification
- Semantics Driven Hardware Design, Implementation, and Verification with ReWire (AMP, WLH, IG, MB, GA), p. 10.
- HPDC-2012-BecchiSGPRC #clustering #memory management #multitenancy #runtime
- A virtual memory based runtime to support multi-tenancy in clusters with GPUs (MB, KS, IG, AMP, VTR, STC), pp. 97–108.
- Haskell-2008-KariotisPH #haskell #monad
- Making monads first-class with template haskell (PSK, AMP, WLH), pp. 99–110.