• Sign in
  • Sign up
conf.researchr.org / Gregory Malecha
  • 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
xTue 8 Jul 06:49
using conf.researchr.org (v1.69.1)
Support page
Sign Up