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
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.
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, 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),
- 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),
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),
- 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.
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 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
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