Popular repositories Loading

1. acg.js acg.js Public archive

   Approximate call graph builder for JavaScript

   JavaScript 25 11

2. determinacy determinacy Public archive

   Supplementary material for our PLDI 2013 paper on dynamic determinacy analysis

3. jalangi jalangi Public

   Forked from SRA-SiliconValley/jalangi

   JavaScript

4. truncate-prop-reads truncate-prop-reads Public archive

   Create a set of property completion problems from a given JavaScript program by truncating it at all property reads.

   JavaScript

5. pcminer pcminer Public

   Forked from pcminer-tools/pcminer

   PC-miner tool for program chairs

   JavaScript

6. xiemaisi.github.io xiemaisi.github.io Public

   CSS