Publications

32 results for Joshua S. Auerbach

Prototyping a query compiler using coq (Experience report)
- - Joshua S. Auerbach
  - Martin Hirzel
  - et al.
- 2017
- Proceedings of the ACM on Programming Languages
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