Joshua Auerbach -

Not registered as user yet

Name:Joshua Auerbach

Affiliation:IBM Research

Personal website:http://researcher.watson.ibm.com/researcher/view.php?person=us-josh

Contributions

ICFP 2017	Author of Prototyping a Query Compiler using Coq (Experience Report) within the Research Papers-track
SPLASH 2014	Presenter of Hardware Design for Software Developers Using Liquid Metal within the Tutorials-track
SPLASH 2010