conf.researchr.org / 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 2017Author of Prototyping a Query Compiler using Coq (Experience Report) within the Research Papers-track
SPLASH 2014Presenter of Hardware Design for Software Developers Using Liquid Metal within the Tutorials-track