Demo: Automatic bug detection in JS using lightweight function specificationsproxino.com·7 pts·unignorant·0
Delite : a compiler framework and runtime for parallel embedded DSLsstanford-ppl.github.com·3 pts·unignorant·0