Avraham Shinnar

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

Coauthor Index

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]

Colors in the list of coauthors