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 

I am on the academia job market. CV Research Statement Teaching Statement

About Me

I am a Postdoc researcher in the CyLab at Carnegie Mellon University. My research interests lie in formal methods and networked systems. Currently, 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.


  • Efficient and Correct Test Scheduling for Ensembles of Stateful Network Policies
    Yifei Yuan, Sanjay Chandrasekaran, Limin Jia, and Vyas Sekar.
    To appear in the 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2018

  • Quantitative Network Monitoring with NetQRE
    Yifei Yuan, Dong Lin, Ankit Mishra, Sajal Marwaha, Rajeev Alur, and Boon Thau Loo.
    In ACM SIGCOMM Conference on Data Communication (SIGCOMM), 2017

  • Scenario-based Programming for SDN Policies.
    Yifei Yuan, Dong Lin, Rajeev Alur, and Boon Thau Loo.
    In the 11th Conference on emerging Networking EXperiments and Technologies (CoNEXT), 2015
    Nominated for the best paper award.

  • NetEgg: Programming network policies by examples.
    Yifei Yuan, Rajeev Alur, and Boon Thau Loo.
    In the 13th ACM Workshop on Hot Topics in Networks (HotNets), 2014

  • An Adaptable Rule Placement for Software Defined Networks.
    Shuyuan Zhang, Franjo Ivancic, Cristian Lumezanu, Yifei Yuan, Aarti Gupta, and Sharad Malik.
    In the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (ICDSN), 2014

  • Generating consistent updates for software-defined network configurations.
    Yifei Yuan, Franjo Ivancic, Cristian Lumezanu, Shuyuan Zhang, and Aarti Gupta.
    In ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking (HotSDN), 2014

  • On the feasibility of automation for bandwidth allocation problems in data centers.
    Yifei Yuan, Anduo Wang, Rajeev Alur, and Boon Thau Loo.
    In the 13th International Conference on Formal Methods in Computer-Aided Design (FMCAD), 2013

  • Regular functions and cost register automata.
    Rajeev Alur, Loris D’Antoni, Jyotirmoy V Deshmukh, Mukund Raghothaman, and Yifei Yuan.
    In the 28th Annual Symposium on Logic in Computer Science (LICS), 2013

  • On the complexity of shortest path problems on discounted cost graphs.
    Rajeev Alur, Sampath Kannan, Kevin Tian, and Yifei Yuan.
    In Language and Automata Theory and Applications (LATA), 2013

  • Influence maximization in social networks when negative opinions may emerge and propagate.
    Wei Chen, Alex Collins, Rachel Cummings, Te Ke, Zhenming Liu, David Rincon, Xiaorui Sun, Yajun Wang, Wei Wei, and Yifei Yuan.
    In the 11th SIAM International Conference on Data Mining (SDM), 2011

  • Scalable influence maximization in social networks under the linear threshold model.
    Wei Chen, Yifei Yuan, and Li Zhang.
    In the 10th IEEE International Conference on Data Mining (ICDM), 2010

Selected Talks

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

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

Last updated on Jan. 1, 2018