G. Malecha
发表
J. Gregory Morrisett,
Gregory Malecha,
Ryan Wisnesky,
2011,
J. Symb. Comput..
Simon Boulier,
Nicolas Tabareau,
Théo Winterhalter,
2020,
Journal of Automated Reasoning.
Jonathan M. Smith,
Benjamin C. Pierce,
J. Gregory Morrisett,
2011,
PLOS '11.
G. Malecha,
Ian Smith,
2010
.
B. Pierce,
S. Zdancewic,
G. Malecha,
2019
.
G. Malecha,
J. Bengtson,
2014
.
Sorin Lerner,
G. Malecha,
Matthew Chan,
2015
.
Chung-Kil Hur,
Benjamin C. Pierce,
Gregory Malecha,
2019
.
Mario M. Alvarez,
Sorin Lerner,
G. Malecha,
2016
.
G. Malecha,
J. Bengtson,
2014
.
Jennifer Gillenwater,
J. Grundy,
G. Malecha,
2007
.
G. Morrisett,
G. Malecha,
Ryan Wisnesky,
2009
.
G. Morrisett,
G. Malecha,
2009
.
Gregory Malecha,
Ruben Perez,
G. Malecha,
2010
.
Natarajan Shankar,
Gregory Malecha,
Ashish Gehani,
2015,
SAC.
Gordon Stewart,
G. Malecha,
František Farka,
2022,
IEEE Security & Privacy.
Jim Grundy,
Cherif Salama,
Gregory Malecha,
2011,
High. Order Symb. Comput..
Jim Grundy,
Cherif Salama,
Gregory Malecha,
2009,
PEPM '09.
Gregory Malecha,
Ryan Wisnesky,
G. Malecha,
2015,
DBPL.
J. Gregory Morrisett,
Gregory Malecha,
Ryan Wisnesky,
2010,
POPL '10.
Gregory Malecha,
G. Malecha,
2015
.
Adam Chlipala,
Gregory Malecha,
Patrick Hulin,
2013,
ArXiv.
Sorin Lerner,
Gregory Malecha,
Daniel Ricketts,
2015,
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Stephen Chong,
Gregory Malecha,
Stephen Chong,
2010,
PLAS '10.
Jonathan M. Smith,
Benjamin C. Pierce,
J. Gregory Morrisett,
2012,
2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.
B. Pierce,
S. Zdancewic,
G. Malecha,
2019,
Proc. ACM Program. Lang..
Sorin Lerner,
Gregory Malecha,
Daniel Ricketts,
2016,
2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS).
Gregory Malecha,
Jesper Bengtson,
G. Malecha,
2016,
ESOP.
Jim Grundy,
Cherif Salama,
Gregory Malecha,
2010,
New Generation Computing.