Concepedia

Gregory Malecha

GM

Statistics

Publications

12

Citations

530

H-Index

12

Active since

2008

Affiliations

Harvard University Press(Current)

University of California San Diego

California University of Pennsylvania

Gregory Malecha is an author at Harvard University Press specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSoftware AnalysisProgram AnalysisAutomated ReasoningVerificationSystem SoftwareHardware Security

Publications per year

2008–2020

12

Publications

12

Interaction trees: representing recursive and impure programs in Coq

Li-yao Xia, Yannick Zakowski, Paul He et al. · Proceedings of the ACM on Programming Languages · 2019 · 123 citations · Full text

Engineering, Verification, Software Analysis +16

Effective interactive proofs for higher-order imperative programs

Adam Chlipala, Gregory Malecha, Greg Morrisett et al. · 2009 · 93 citations

Coq Proof Assistant, Ynot System, Formal Specification +15

Toward a verified relational database management system

Gregory Malecha, Greg Morrisett, Avraham Shinnar et al. · 2010 · 93 citations · Full text

Database Theory, Relational Database, Engineering +15

The MetaCoq Project

Matthieu Sozeau, Abhishek Anand, Simon Boulier et al. · Journal of Automated Reasoning · 2020 · 71 citations

Engineering, Graph Query Language, Very Large Database +6

Automated software winnowing

Gregory Malecha, Ashish Gehani, Natarajan Shankar · 2015 · 31 citations

Software Maintenance, Engineering, Computer Architecture +23

1–5 of 12