Collaborated with:
J.Eyolfson A.M.Dan T.Hoefler M.T.Vechev
Talks about:
const (2) program (1) analysi (1) memori (1) access (1) write (1) studi (1) remot (1) model (1) immut (1)
Person: Patrick Lam 0001
DBLP: 0001:Patrick_Lam
Contributed to:
Wrote 2 papers:
- ECOOP-2016-EyolfsonL #c++ #empirical
- C++ const and Immutability: An Empirical Study of Writes-Through-const (JE, PL0), p. 25.
- OOPSLA-2016-DanLHV #analysis #memory management #modelling #programming
- Modeling and analysis of remote memory access programming (AMD, PL0, TH, MTV), pp. 129–144.