Avraham Shinnar

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
j1		Avraham Shinnar, David Cunningham, Benjamin Herta, Vijay A. Saraswat: M3R: Increased performance for in-memory Hadoop jobs. PVLDB 5(12): 1736-1747 (2012)
i1		Avraham Shinnar, David Cunningham, Benjamin Herta, Vijay A. Saraswat: M3R: Increased performance for in-memory Hadoop jobs. CoRR abs/1208.4168 (2012)
	2010
c6		J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky: Toward a verified relational database management system. POPL 2010: 237-248
	2009
c5		Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky: Effective interactive proofs for higher-order imperative programs. ICFP 2009: 79-90
c4		Avraham Shinnar, Marco Pistoia, Anindya Banerjee: A language for information flow: dynamic tracking in multiple interdependent dimensions. PLAS 2009: 125-131
	2008
c3		Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal: Ynot: dependent types for imperative programs. ICFP 2008: 229-240
c2		Uri Braun, Avraham Shinnar, Margo I. Seltzer: Securing Provenance. HotSec 2008
	2006
c1		Timothy L. Harris, Mark Plesko, Avraham Shinnar, David Tarditi: Optimizing memory transactions. PLDI 2006: 14-25

Coauthor Index

1	Anindya Banerjee	[c4]
2	Lars Birkedal	[c3]
3	Uri Braun	[c2]
4	Adam Chlipala	[c5]
5	David Cunningham	[j1] [i1]
6	Paul Govereau	[c3]
7	Timothy L. Harris	[c1]
8	Benjamin Herta	[j1] [i1]
9	Gregory Malecha (J. Gregory Malecha)	[c6] [c5]
10	J. Gregory Morrisett (Greg Morrisett)	[c6] [c5] [c3]
11	Aleksandar Nanevski	[c3]
12	Marco Pistoia	[c4]
13	Mark Plesko	[c1]
14	Vijay A. Saraswat	[j1] [i1]
15	Margo I. Seltzer	[c2]
16	David Tarditi	[c1]
17	Ryan Wisnesky	[c6] [c5]

Last update Mon May 20 14:55:56 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page