Travelled to:
1 × Spain
1 × USA
Collaborated with:
G.D.Reis C.J.Casey C.Chojnacki
Talks about:
program (2) analysi (1) safer (1) arbit (1) well (1) type (1) meta (1) code (1) sdn (1)
Person: Michael Lopez
DBLP: Lopez:Michael
Contributed to:
Wrote 2 papers:
- GPCE-2015-LopezCRC #programming
- Safer SDN programming through Arbiter (ML, CJC, GDR, CC), pp. 65–74.
- SAC-2015-LopezR #analysis #metaprogramming
- Meta-programming with well-typed code analysis (ML, GDR), pp. 2119–2121.