Gregory Malecha
From MaRDI portal
Person:609754
Available identifiers
zbMath Open malecha.gregoryMaRDI QIDQ609754
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| The \textsc{MetaCoq} project | 2020-11-02 | Paper |
| Extensible and efficient automation through reflective tactics | 2016-04-26 | Paper |
| Toward a verified relational database management system | 2015-06-11 | Paper |
| Effective interactive proofs for higher-order imperative programs | 2015-01-06 | Paper |
| Compositional computational reflection | 2014-09-08 | Paper |
| Trace-based verification of imperative programs with I/O | 2011-01-14 | Paper |
| Synthesizable high level hardware descriptions | 2010-12-01 | Paper |
| Mechanized verification with sharing | 2010-08-31 | Paper |
Research outcomes over time
This page was built for person: Gregory Malecha
