![]() | ![]() |
2009 | ||
---|---|---|
4 | EE | Ben Hardekopf, Calvin Lin: Semi-sparse flow-sensitive pointer analysis. POPL 2009: 226-238 |
2007 | ||
3 | EE | Ben Hardekopf, Calvin Lin: The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code. PLDI 2007: 290-299 |
2 | EE | Ben Hardekopf, Calvin Lin: Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis. SAS 2007: 265-280 |
2000 | ||
1 | EE | Ben Hardekopf, Kevin A. Kwiat: Exploiting the Overlap of Security and Fault-Tolerance. AIWoRC 2000: 361-366 |
1 | Kevin A. Kwiat | [1] |
2 | Calvin Lin | [2] [3] [4] |