Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Gregory Malecha
conf.researchr.org general profile
POPL 2016 profile
POPL 2017 profile
SPLASH 2015 profile
Not registered as user
Name:
Gregory Malecha
Affiliation:
UCSD
Contributions
2017
CoqPL
Author of Predicate Monads: A Framework for Proving Generic Properties of Monadic Programs via Rewriting within the CoqPL 2017-track
2016
CoqPL
Author of Formal Verification of Stability Properties of Cyber-Physical Systems within the CoqPL-track
2015
DBPL
Author of Using Dependent Types and Tactics to Enable Semantic Optimization of Language-Integrated Queries within the DBPL-track
Share
x
Sat 21 Dec 19:01