by Xia, Li-yao, Zakowski, Yannick, He, Paul, Hur, Chung-Kil, Malecha, Gregory, Pierce, Benjamin C., Zdancewic, Steve
Published in Proceedings of ACM on programming languages (01.01.2020)

by Sozeau, Matthieu, Anand, Abhishek, Boulier, Simon, Cohen, Cyril, Forster, Yannick, Kunze, Fabian, Malecha, Gregory, Tabareau, Nicolas, Winterhalter, Théo
Published in Journal of automated reasoning (01.06.2020)

by Malecha, Gregory, Bengtson, Jesper
Published in Programming Languages and Systems

by Malecha, Gregory, Morrisett, Greg, Wisnesky, Ryan
Published in Journal of symbolic computation (01.02.2011)

by Malecha, Gregory, Chlipala, Adam, Braibant, Thomas
Published in Interactive Theorem Proving

by SALAMA, Cherif, MALECHA, Gregory, TAHA, Walid, GRUNDY, Jim, O'LEARY, John
Published in Higher-order and symbolic computation (2011)

by Salama, Cherif, Malecha, Gregory, Taha, Walid, Grundy, Jim, O’Leary, John
Published in Higher-Order and Symbolic Computation (01.06.2011)

by Sarma, Gopal, Koppel, James, Malecha, Gregory, Schultz, Patrick, Drexler, Eric, Kumar, Ramana, Roux, Cody, Zucker, Philip
Published in arXiv.org (01.04.2021)

by Gillenwater, Jennifer, Malecha, Gregory, Salama, Cherif, Zhu, Angela Yun, Taha, Walid, Grundy, Jim, O’leary, John
Published in New generation computing (01.01.2010)

by Ricketts, Daniel, Malecha, Gregory, Lerner, Sorin
Published in 2016 International Conference on Embedded Software (EMSOFT) (01.10.2016)

by Malecha, Gregory, Ricketts, Daniel, Alvarez, Mario M., Lerner, Sorin
Published in 2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS) (11.04.2016)

by Ricketts, Daniel, Malecha, Gregory, Alvarez, Mario M., Gowda, Vignesh, Lerner, Sorin
Published in 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) (01.09.2015)

by Cox, Joseph, Jelvis, Tikhon, Chen, Shaokuan, Eul, Jeffrey, Malecha, Gregory, Gruzman, Aron, Tallichetty, Chandrashekar, Neerkaje, Abhijith, Rao, Ashwin
Year of Publication 28.03.2023

by Li-yao, Xia, Zakowski, Yannick, He, Paul, Chung-Kil Hur, Malecha, Gregory, Pierce, Benjamin C, Zdancewic, Steve
Published in arXiv.org (14.11.2019)

by Cox, Joseph, Jelvis, Tikhon, Chen, Shaokuan, Eul, Jeffrey, Malecha, Gregory, Gruzman, Aron, Tallichetty, Chandrashekar, Neerkaje, Abhijith, Rao, Ashwin
Year of Publication 14.11.2019

by Malecha, Gregory, Chlipala, Adam, Braibant, Thomas, Hulin, Patrick, Yang, Edward Z
Year of Publication 28.05.2013

by Malecha, Gregory, Chlipala, Adam, Braibant, Thomas, Hulin, Patrick, Yang, Edward Z
Published in arXiv.org (28.05.2013)

by Dhawan, U., Kwon, A., Kadric, E., Hritcu, C., Pierce, B. C., Smith, J. M., DeHon, A., Malecha, G., Morrisett, G., Knight, Thomas F., Sutherland, A., Hawkins, T., Zyxnfryx, A., Wittenberg, D., Trei, P., Ray, S., Sullivan, G.
Published in 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops (01.09.2012)

by MALECHA, GREGORY J
Year of Publication 28.05.1997

by MALECHA, GREGORY J
Year of Publication 19.04.1995