21
Publications
1.4K
Citations
14
H-Index
2004
Active since
Avraham Shinnar is an author at Harvard University Press specializing in computer science, engineering, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsSoftware AnalysisProgram AnalysisFormal VerificationVerificationSoftware EngineeringData ManagementAutomated Reasoning
Publications per year
2004–2022
21
21
Optimizing memory transactions
Tim Harris, M. Pleško, Avraham Shinnar et al. · ACM SIGPLAN Notices · 2006 · 227 citations
Engineering, Computer Architecture, Transactional System +21
Optimizing memory transactions
Tim Harris, M. Pleško, Avraham Shinnar et al. · 2006 · 190 citations
Engineering, Computer Architecture, Transactional System +21
Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar et al. · ACM SIGPLAN Notices · 2008 · 140 citations · Full text
Uri Braun, Avraham Shinnar, Margo Seltzer · 2008 · 131 citations · Full text
Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar et al. · 2008 · 125 citations
Rows per page
1–5 of 21