M. Greenberg
发表
L. Meyerovich,
M. Tschantz,
M. Greenberg,
2005
.
Nada Amin,
M. Greenberg,
Aaron Bembenek,
2020
.
Stephen Chong,
M. Greenberg,
Aaron Bembenek,
2019
.
B. Pierce,
G. Morrisett,
Catalin Hritcu,
2012
.
M. Greenberg,
Ryan Beckett,
E. Campbell,
2017
.
M. Greenberg,
2022
.
M. Greenberg,
2018
.
M. Greenberg,
Niki Vazou,
2021,
Haskell.
Stephen Chong,
M. Greenberg,
Aaron Bembenek,
2022,
Datalog.
M. Greenberg,
Aaron Bembenek,
Mike Ballantyne,
2020
.
Stephen Chong,
M. Greenberg,
Aaron Bembenek,
2023,
Proc. ACM Program. Lang..
Ryan Beckett,
Michael Greenberg,
Eric Campbell,
2017,
PLDI.
Ryan Beckett,
David Walker,
Michael Greenberg,
2016,
PLDI.
Carolyn Jane Anderson,
Molly Q. Feldman,
Arjun Guha,
2022,
ArXiv.
Carolyn Jane Anderson,
Molly Q. Feldman,
Arjun Guha,
2022,
2208.08227.
Arjun Guha,
Michael Greenberg,
Carolyn Jane Anderson,
2021,
Proc. ACM Program. Lang..
Nikos Vasilakis,
Michael Greenberg,
Konstantinos Kallas,
2021,
HotOS.
Kathi Fisler,
Shriram Krishnamurthi,
Michael Greenberg,
2004,
SIGSOFT '04/FSE-12.
David Walker,
Jennifer Rexford,
Mina Tahmasbi Arashloo,
2015,
SIGCOMM.
AARON BEMBENEK,
MICHAEL GREENBERG,
STEPHEN CHONG,
2020,
Proc. ACM Program. Lang..
Stephen Chong,
Aaron Bembenek,
Michael Greenberg,
2020,
ArXiv.
Michael Greenberg,
Niki Vazou,
M. Greenberg,
2021,
ArXiv.
David Walker,
Michael Greenberg,
Kathleen Fisher,
2015,
SNAPL.
David Walker,
Cole Schlesinger,
Michael Greenberg,
2014,
ICFP 2014.
Michael Greenberg,
Austin J. Blatt,
M. Greenberg,
2019,
Proc. ACM Program. Lang..
Michael Greenberg,
M. Greenberg,
2014,
POPL.
Michael Greenberg,
M. Greenberg,
2019,
SNAPL.
Benjamin C. Pierce,
J. Gregory Morrisett,
Catalin Hritcu,
2013,
2013 IEEE Symposium on Security and Privacy.
Shriram Krishnamurthi,
Leo A. Meyerovich,
Arjun Guha,
2009,
OOPSLA '09.
Benjamin C. Pierce,
Michael Greenberg,
B. Pierce,
2013
.
Austin J. Blatt,
M. Greenberg,
2019,
Proc. ACM Program. Lang..
M. Greenberg,
2021
.
Benjamin C. Pierce,
Nate Foster,
Michael Greenberg,
2010,
ICFP '10.
M. Greenberg,
Konstantinos Kallas,
Nikos Vasilakis,
2023,
HotOS.