Prototyping a query compiler using coq (Experience report)
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- Proceedings of the ACM on Programming Languages
Publications
Date
Featured collections
Popular topics
32 results for Joshua S. Auerbach
Q∗cert: A platform for implementing and verifying query compilers
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- SIGMOD 2017
Handling environments in a nested relational algebra with combinators and an implementation in a verified query compiler
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- SIGMOD 2017
Prototyping a query compiler using Coq
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- JFLA 2017
Growing a software language for hardware design
- Joshua S. Auerbach
- David F. Bacon
- et al.
- 2015
- SNAPL 2015
The liquid metal blokus duo design
- Erik Altman
- Joshua S. Auerbach
- et al.
- 2013
- FPT 2013
A compiler and runtime for heterogeneous computing
- Joshua Auerbach
- David F. Bacon
- et al.
- 2012
- DAC 2012
Virtualization of heterogeneous machines
- Joshua Auerbach
- David F. Bacon
- et al.
- 2011
- DAC 2011
Lime: A java-compatible and synthesizable language for heterogeneous architectures
- Joshua Auerbach
- David F. Bacon
- et al.
- 2010
- OOPSLA 2010
PTIDES on flexible task graph: Real-time embedded system building from theory to practice
- Jia Zou
- Joshua Auerbach
- et al.
- 2009
- LCTES 2009