2008 | ||
---|---|---|
3 | EE | Uri Braun, Avraham Shinnar, Margo I. Seltzer: Securing Provenance. HotSec 2008 |
2 | EE | Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal: Ynot: dependent types for imperative programs. ICFP 2008: 229-240 |
2006 | ||
1 | EE | Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi: Optimizing memory transactions. PLDI 2006: 14-25 |
1 | Lars Birkedal | [2] |
2 | Uri Braun | [3] |
3 | Paul Govereau | [2] |
4 | Tim Harris | [1] |
5 | J. Gregory Morrisett (Greg Morrisett) | [2] |
6 | Aleksandar Nanevski | [2] |
7 | Mark Plesko | [1] |
8 | Margo I. Seltzer | [3] |
9 | David Tarditi | [1] |