ICASL2016-Full Manuscript