Avraham Shinnar
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Distributed systems and fault tolerance, Scientific Computing and Data Management, Security and Verification in Computing, Logic, programming, and type systems
Most-Cited Works
- → Optimizing memory transactions(2006)227 cited
- → Ynot(2008)140 cited
- Securing provenance(2008)
- → M3R(2012)115 cited
- → Toward a verified relational database management system(2010)95 cited
- → Effective interactive proofs for higher-order imperative programs(2009)93 cited
- → M3R: Increased performance for in-memory Hadoop jobs(2012)56 cited
- → X10 and APGAS at Petascale(2014)45 cited