A compiler and runtime for heterogeneous computing
- Joshua Auerbach
- David F. Bacon
- et al.
- 2012
- DAC 2012
Publications
Date
Featured collections
Popular topics
32 results for Joshua S. Auerbach
Virtualization of heterogeneous machines
- Joshua Auerbach
- David F. Bacon
- et al.
- 2011
- DAC 2011
The ExoVM system for automatic VM and application reduction
- Ben L. Titzer
- Joshua Auerbach
- et al.
- 2007
- PLDI 2007
Mockingbird: flexible stub compilation from pairs of declarations
- Joshua S. Auerbach
- Charles Barton
- et al.
- 1999
- ICDCS 1999
Concert/C: supporting distributed programming with language extensions and a portable multiprotocol runtime
- Joshua S. Auerbach
- Ajei S. Gopal
- et al.
- 1994
- ICDCS 1994
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