Travelled to:
1 × Spain
Collaborated with:
M.Hicks M.Costa P.Akritidis M.Castro
Talks about:
ownership (1) program (1) concurr (1) polici (1) dynam (1) check (1)
Person: Jean-Phillipe Martin
DBLP: Martin:Jean=Phillipe
Contributed to:
Wrote 1 papers:
- POPL-2010-MartinHCAC #c #c++ #concurrent #policy #source code
- Dynamically checking ownership policies in concurrent c/c++ programs (JPM, MH, MC, PA, MC), pp. 457–470.