Gregory Malecha

发表

Jim Grundy, Cherif Salama, Gregory Malecha, 2011, High. Order Symb. Comput..
Adam Chlipala, Gregory Malecha, Thomas Braibant, 2014, ITP.
Stephen Chong, Gregory Malecha, Stephen Chong, 2010, PLAS '10.
Chung-Kil Hur, Benjamin C. Pierce, Gregory Malecha, 2019 .
Sorin Lerner, Gregory Malecha, Daniel Ricketts, 2016, 2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS).
Simon Boulier, Nicolas Tabareau, Théo Winterhalter, 2020, Journal of Automated Reasoning.
Adam Chlipala, J. Gregory Morrisett, Gregory Malecha, 2009, ICFP.
J. Gregory Morrisett, Gregory Malecha, 2010, ICTAC.
Jim Grundy, Cherif Salama, Gregory Malecha, 2010, New Generation Computing.
Sorin Lerner, Gregory Malecha, Daniel Ricketts, 2016, 2016 International Conference on Embedded Software (EMSOFT).
J. Gregory Morrisett, Gregory Malecha, Ryan Wisnesky, 2010, POPL '10.
Chung-Kil Hur, Benjamin C. Pierce, Gregory Malecha, 2020, Proc. ACM Program. Lang..
Gregory Malecha, Ryan Wisnesky, John Gregory Morrisett, 2010 .
Adam Chlipala, Gregory Malecha, Patrick Hulin, 2013, ArXiv.
Gregory Malecha, Ruben Perez, G. Malecha, 2010 .
Gregory Malecha, Jesper Bengtson, G. Malecha, 2016, ESOP.
J. Gregory Morrisett, Gregory Malecha, Ryan Wisnesky, 2011, J. Symb. Comput..
Natarajan Shankar, Gregory Malecha, Ashish Gehani, 2015, SAC.
Jonathan M. Smith, Benjamin C. Pierce, J. Gregory Morrisett, 2012, 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.
Jonathan M. Smith, Benjamin C. Pierce, J. Gregory Morrisett, 2011, PLOS '11.
Sorin Lerner, Gregory Malecha, Daniel Ricketts, 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Cody Roux, Gregory Malecha, Eric Drexler, 2021, ArXiv.
Adam Chlipala, J. Gregory Morrisett, Gregory Malecha, 2009, ICFP.