Jun Sun 0002 Wanghong Yuan Mahesh Kallahalla Nayeem Islam HAIL: a language for easy and correct device access. 1-9 2005 conf/emsoft/2005 EMSOFT http://doi.acm.org/10.1145/1086228.1086230 db/conf/emsoft/emsoft2005.html#SunYKI05