4 citations · 8 across the 3 of their papers we have counts for
3 papers
Translation Certification for Smart Contracts
Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller +1
Compiler correctness is an old problem, but with the emergence of smart contracts on blockchains that problem presents itself in a new light. Smart contracts are self-contained pie…
Embedded Pattern Matching
Trevor L. McDonell, Joshua D. Meredith, Gabriele Keller
Haskell is a popular choice for hosting deeply embedded languages. A recurring challenge for these embeddings is how to seamlessly integrate user defined algebraic data types. In p…
COGENT: Certified Compilation for a Functional Systems Language
Liam O'Connor, Christine Rizkallah, Zilin Chen +8
We present a self-certifying compiler for the COGENT systems language. COGENT is a restricted, polymorphic, higher-order, and purely functional language with linear types and witho…