dblp.uni-trier.dewww.uni-trier.de

Avraham Shinnar

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
3EEUri Braun, Avraham Shinnar, Margo I. Seltzer: Securing Provenance. HotSec 2008
2EEAleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal: Ynot: dependent types for imperative programs. ICFP 2008: 229-240
2006
1EETim Harris, Mark Plesko, Avraham Shinnar, David Tarditi: Optimizing memory transactions. PLDI 2006: 14-25

Coauthor Index

1Lars Birkedal [2]
2Uri Braun [3]
3Paul Govereau [2]
4Tim Harris [1]
5J. Gregory Morrisett (Greg Morrisett) [2]
6Aleksandar Nanevski [2]
7Mark Plesko [1]
8Margo I. Seltzer [3]
9David Tarditi [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)