Avraham Shinnar Vis

*	2009
4	EE	Adam J. Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky: Effective interactive proofs for higher-order imperative programs. ICFP 2009: 79-90
	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	Adam J. Chlipala	[4]
4	Paul Govereau	[2]
5	Tim Harris	[1]
6	J. Gregory Malecha	[4]
7	J. Gregory Morrisett (Greg Morrisett)	[2] [4]
8	Aleksandar Nanevski	[2]
9	Mark Plesko	[1]
10	Margo I. Seltzer	[3]
11	David Tarditi	[1]
12	Ryan Wisnesky	[4]

Colors in the list of coauthors