Statistics
Publications
2
Citations
93
H-Index
2
Active since
2012
Nayden Nedev is an author at Princeton University specializing in atomic memory operations, memory subsystem design, and fence instructions.
Publications per year
2012–2012
2
2
Dynamic synthesis for relaxed memory models
Feng Liu, Nayden Nedev, Nedyalko Prisadnikov et al. · 2012 · 76 citations
Dynamic synthesis for relaxed memory models
Feng Liu, Nayden Nedev, Nedyalko Prisadnikov et al. · ACM SIGPLAN Notices · 2012 · 17 citations
1–2 of 2