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

CV   Google Scholar   LinkedIn 

About Me

I am a Postdoc researcher in the CyLab at Carnegie Mellon University. My research interest lies in formal methods and compute networks. Currently, I am working with Professor Limin Jia and Professor Vyas Sekar on some 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 some intuitive high-level programming abstractions and tools aimed at simplifying programming computer networks. Before joining Penn, I received my B.S. degree in computer science from Tsinghua University in 2010. During my undergraduate study, I also worked with Dr. Wei Chen on the influence maximization problem 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, including inferring state to be maintained, rules to update the state and process network events. NetEgg also automates the process of inferring flowtable rule updates from the policy and installing flowtable rules to switches.  


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

  • Scenario-based Programming for SDN Policies.
    Yifei Yuan, Dong Lin, Rajeev Alur, Boon Thau Loo.
    In 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, Boon Thau Loo.
    In Thirteenth 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, Sharad Malik.
    In 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, 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 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 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 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 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

ExCAPE Annual Meeting, Philadelphia, PA, May 2016

Last updated on August 3, 2017