Q*cert       

links

 Louis Mandel photo Avraham E (Avi) Shinnar photoJerome Simeon photo

Q*cert Publications



2017

Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler
Auerbach, Joshua and Hirzel, Martin and Mandel, Louis and Shinnar, Avi and Simeon, Jerome
Proceedings of the ACM International Conference on Management of Data (SIGMOD), 2017
Abstract

Q* cert: A Platform for Implementing and Verifying Query Compilers
Joshua S Auerbach and Martin Hirzel and Louis Mandel and Avraham Shinnar and Jérôme Siméon
Proceedings of the ACM International Conference on Management of Data (SIGMOD), pp. 1703--1706, 2017
Abstract

Prototyping a query compiler using Coq (experience report)
Auerbach, Joshua S and Hirzel, Martin and Mandel, Louis and Shinnar, Avraham and Simeon, Jerome
Proceedings of the ACM on Programming Languages 1(ICFP), 9, ACM, 2017
Abstract


2016

A Branding Strategy for Business Types
Avraham Shinnar, Jerome Simeon
A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 367--387, 2016
Abstract


2015

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact)
Avraham Shinnar, Jerome Simeon, Martin Hirzel
DARTS 1(1), 08:1--08:2, 2015
Abstract