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
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.
is a scenario-based programming tool for SDN Policies.
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),
- 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),
- 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),
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),
- 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.
ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking (HotSDN),
- 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
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