Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Synthesis of layout engines from relational constraints | 3 | 0.42 | 2015 |
| Programming by manipulation for layout | 7 | 0.49 | 2014 |
| Aligators For Arrays (Tool Paper) | 2 | 0.42 | 2010 |
| Invariant and type inference for matrices | 11 | 0.56 | 2010 |
| ABC: algebraic bound computation for loops | 26 | 0.96 | 2010 |
| Enabling MAC protocol implementations on software-defined radios | 81 | 5.64 | 2009 |
| Valigator: A Verification Tool with Bound and Invariant Generation | 11 | 0.69 | 2008 |