Gregory Malecha

Publications by Year

Research Areas

Logic, programming, and type systems, Security and Verification in Computing, Formal Methods in Verification, Distributed systems and fault tolerance, Logic, Reasoning, and Knowledge

Most-Cited Works

• → Interaction trees: representing recursive and impure programs in Coq(2019)124 cited
• → Toward a verified relational database management system(2010)95 cited
• → Effective interactive proofs for higher-order imperative programs(2009)93 cited
• → The MetaCoq Project(2020)71 cited
• → Automated software winnowing(2015)31 cited
• → Compositional Computational Reflection(2014)20 cited
• → Trace-based verification of imperative programs with I/O(2010)20 cited
• → Preliminary design of the SAFE platform(2011)20 cited
• → Hardware Support for Safety Interlocks and Introspection(2012)19 cited
• → Towards verification of hybrid systems in a foundational proof assistant(2015)17 cited