Nayden Nedev
Department of Computer SciencePrinceton University
35 Olden Street
Princeton, NJ 08540-5233
About me
I am a MSE student at the Department of Computer Science at Princeton University. My advisor is Prof. David Walker. Currently, as part of the Frenetic Project, I work on efficient techniques for performing network updates in the context of software-defined networking.
Before coming to Princeton, I obtained a bachelor's degree in computer science from Sofia University “St.Kliment Ohridski”, located in Sofia, Bulgaria. In 2010 I interned at the Advanced Programming Tools Research Group at IBM T.J.Watson Research Center. There I worked with Martin Vechev and Eran Yahav on dynamic analysis of programs running under relaxed memory models.
Dynamic Synthesis for Relaxed Memory Models [pdf]
Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Martin Vechev and Eran Yahav
In ACM PLDI 2012
Acceptance Rate: 18.8% (48/255)
Course Papers
Sizing Router Buffers in Data Center Networks [pdf]
Nayden Nedev and Pramod Subramanyan
Final Paper for COS561 Advanced Computer Networks, Princeton University, Fall 2012
A Co-operative Parallel SAT Solver Based on Message-Passing [pdf]
Nayden Nedev and Pramod Subramanyan
Final Paper for ELE580A Parallel Computation, Princeton University, Fall 2012