Yifei Yuan

According to our database, Yifei Yuan authored at least 15 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Relational Network Verification.

Xieyang Xu, Yifei Yuan, Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker, Ennan Zhai

Proceedings of the ACM SIGCOMM 2024 Conference, 2024

A General and Efficient Approach to Verifying Traffic Load Properties under Arbitrary k Failures.

Ruihan Li, Yifei Yuan, Fangdan Ye, Mengqi Liu, Ruizhen Yang, Yang Yu, Tianchen Guo, Qing Ma, Xianlong Zeng, Chenren Xu, Dennis Cai, Ennan Zhai

Proceedings of the ACM SIGCOMM 2024 Conference, 2024

Reasoning about Network Traffic Load Property at Production Scale.

Ruihan Li, Fangdan Ye, Yifei Yuan, Ruizhen Yang, Bingchuan Tian, Tianchen Guo, Hao Wu, Xiaobo Zhu, Zhongyu Guan, Qing Ma, Xianlong Zeng, Chenren Xu, Dennis Cai, Ennan Zhai

Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

2018

NetEgg: A Scenario-Based Programming Toolkit for SDN Policies.

Yifei Yuan, Dong Lin, Siri Anil, Harsh Verma, Anirudh Chelluri, Rajeev Alur, Boon Thau Loo

IEEE/ACM Trans. Netw., 2018

2017

Quantitative Network Monitoring with NetQRE.

Yifei Yuan, Dong Lin, Ankit Mishra, Sajal Marwaha, Rajeev Alur, Boon Thau Loo

Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

2015

Scenario-based programming for SDN policies.

Yifei Yuan, Dong Lin, Rajeev Alur, Boon Thau Loo

Proceedings of the 11th ACM Conference on Emerging Networking Experiments and Technologies, 2015

2014

Generating consistent updates for software-defined network configurations.

Yifei Yuan, Franjo Ivancic, Cristian Lumezanu, Shuyuan Zhang, Aarti Gupta

Proceedings of the third workshop on Hot topics in software defined networking, 2014

NetEgg: Programming Network Policies by Examples.

Yifei Yuan, Rajeev Alur, Boon Thau Loo

Proceedings of the 13th ACM Workshop on Hot Topics in Networks, 2014

An Adaptable Rule Placement for Software-Defined Networks.

Shuyuan Zhang, Franjo Ivancic, Cristian Lumezanu, Yifei Yuan, Aarti Gupta, Sharad Malik

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

2013

Regular Functions and Cost Register Automata.

Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

On the Complexity of Shortest Path Problems on Discounted Cost Graphs.

Rajeev Alur, Sampath Kannan, Kevin Tian, Yifei Yuan

Proceedings of the Language and Automata Theory and Applications, 2013

On the feasibility of automation for bandwidth allocation problems in data centers.

Yifei Yuan, Anduo Wang, Rajeev Alur, Boon Thau Loo

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2011

Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems

Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan

CoRR, 2011

Influence Maximization in Social Networks When Negative Opinions May Emerge and Propagate.

Wei Chen, Alex Collins, Rachel Cummings, Te Ke, Zhenming Liu, David Rincón, Xiaorui Sun, Yajun Wang, Wei Wei, Yifei Yuan

Proceedings of the Eleventh SIAM International Conference on Data Mining, 2011

2010

Scalable Influence Maximization in Social Networks under the Linear Threshold Model.

Wei Chen, Yifei Yuan, Li Zhang

Proceedings of the ICDM 2010, 2010