conf.researchr.org / Gregory Malecha

Not registered as user yet

Name: Gregory Malecha

Affiliation: UCSD

Contributions

CoqPL 2017Author of Predicate Monads: A Framework for Proving Generic Properties of Monadic Programs via Rewriting within the CoqPL 2017-track
CoqPL 2016Author of Formal Verification of Stability Properties of Cyber-Physical Systems within the CoqPL-track
DBPL 2015Author of Using Dependent Types and Tactics to Enable Semantic Optimization of Language-Integrated Queries within the DBPL-track