Martín Abadi
发表
Yinglian Xie,
Antoine Delignat-Lavaud,
Ted Wobber,
2014,
NDSS.
Bruno Blanchet,
Hubert Comon-Lundh,
Martín Abadi,
2009,
CAV.
Ted Wobber,
Martín Abadi,
Michael Burrows,
2005,
TOIT.
Yuan Yu,
Zhifeng Chen,
Jianmin Chen,
2016,
OSDI.
Mihai Budiu,
Úlfar Erlingsson,
Martín Abadi,
2009,
TSEC.
Martín Abadi,
Martín Abadi,
2016,
ICFP.
Martín Abadi,
Michael Isard,
Derek G. Murray,
2017,
MAPL@PLDI.
Gordon Plotkin,
Martín Abadi,
2010,
CSF.