Yifei Yuan

Postdoctoral Researcher @ CyLab, Carnegie Mellon University

Email: yifeiy2 at andrew dot cmu dot edu

Office: RMCIC 2310, 4720 Forbes Avenue, Pittsburgh, PA, 15213

Google Scholar   LinkedIn 

About Me

I am a Postdoc researcher in CyLab at Carnegie Mellon University. My research interests lie in formal methods and networked systems. My currently research applies and develops formal techniques to improve the reliability of computer networks. At CMU, I am working with Professor Limin Jia and Professor Vyas Sekar on exciting projects on formal verification and testing of computer networks. I received my PhD degree in 2016 from the Computer and Information Science department at the University of Pennsylvania, where I was honored to have Professor Rajeev Alur and Boon Thau Loo as my advisors. During my PhD, I built high-level programming abstractions and tools aimed at simplifying programming computer networks. Before joining Penn, I received my B.E. degree in computer science from Tsinghua University in 2010. During my undergraduate study, I also worked with Dr. Wei Chen on the problem of influence maximization in social networks.

Selected Projects

  • is a scenario-based programming tool for SDN Policies. NetEgg allows network operators to program network policies by describing example behaviors in representative scenarios. Given the scenarios, NetEgg automatically synthesizes a program implementing the policy. As the part of synthesis, NetEgg infers state to be maintained, and also rules to update the state and to process network events. NetEgg also automates the process of inferring flowtable rule updates from the policy and installing flowtable rules to switches.

Manuscripts

Publications

Selected Talks

NetEgg
ExCAPE Annual Meeting, Philadelphia, PA, May 2017
CoNEXT, Heidelberg, Germany, Dec 2015
HotNets, Los Angeles, CA, Oct 2014

NetQRE
SIGCOMM, Los Angeles, CA, Aug 2017
ExCAPE Annual Meeting, Philadelphia, PA, May 2016


Last update on Feb. 14, 2018