Welcome to SNG

SNG (System and Networking Group) is from School of Informatics at XMU (Xiamen University), led by Prof. Qiao Xiang.

The team at SNG focus on the following research areas:

  • Network Verification
  • Network Programming
  • Interpretable Machine Learning
  • Congestion Control

We have openings for Master students and PhD students with research interests in the areas above. You are welcome to contact Prof. Qiao Xiang.

News

2022

09-28

厦门大学系统与网络课题组的一项研究成果被HotNets'22录用,提出一种分布式网络设备自验证框架

厦门大学系统与网络课题组的一项研究成果被网络领域内最有影响力的研讨会ACM SIGCOMM HotNets 2022录用。第21届 “ACM网络热点专题研讨会”(HotNets’22 Twenty-First ACM Workshop on Hot Topics in Networks)将于2022年11月14-15日在美国德克萨斯州奥斯汀召开。

2022

09-10

SIGCOMM 2022 阅读评述(十一)

第36届 SIGCOMM 于2022年8月22日-8月26日在荷兰阿姆斯特丹召开。本次会议共收到279篇投稿,接收55篇论文,录取率为19.71%。 SNG的同学们按照会议日程对论文内容进行了分期评述,本期介绍session11的论文。

2022

09-09

SIGCOMM 2022 阅读评述(十)

第36届 SIGCOMM 于2022年8月22日-8月26日在荷兰阿姆斯特丹召开。本次会议共收到279篇投稿,接收55篇论文,录取率为19.71%。 SNG的同学们按照会议日程对论文内容进行了分期评述,本期介绍session8的论文。

2022

09-09

SIGCOMM 2022 阅读评述(九)

第36届 SIGCOMM 于2022年8月22日-8月26日在荷兰阿姆斯特丹召开。本次会议共收到279篇投稿,接收55篇论文,录取率为19.71%。 SNG的同学们按照会议日程对论文内容进行了分期评述,本期介绍session2的论文。

2022

09-07

SIGCOMM 2022 阅读评述(八)

第36届 SIGCOMM 于2022年8月22日-8月26日在荷兰阿姆斯特丹召开。本次会议共收到279篇投稿,接收55篇论文,录取率为19.71%。 SNG的同学们按照会议日程对论文内容进行了分期评述,本期介绍session10的论文。

2022

09-07

SIGCOMM 2022 阅读评述(七)

第36届 SIGCOMM 于2022年8月22日-8月26日在荷兰阿姆斯特丹召开。本次会议共收到279篇投稿,接收55篇论文,录取率为19.71%。 SNG的同学们按照会议日程对论文内容进行了分期评述,本期介绍session9的论文。

2022

09-06

SIGCOMM 2022 阅读评述(六)

第36届 SIGCOMM 于2022年8月22日-8月26日在荷兰阿姆斯特丹召开。本次会议共收到279篇投稿,接收55篇论文,录取率为19.71%。 SNG的同学们按照会议日程对论文内容进行了分期评述,本期介绍session7的论文。

2022

09-06

SIGCOMM 2022 阅读评述(五)

第36届 SIGCOMM 于2022年8月22日-8月26日在荷兰阿姆斯特丹召开。本次会议共收到279篇投稿,接收55篇论文,录取率为19.71%。 SNG的同学们按照会议日程对论文内容进行了分期评述,本期介绍session6的论文。

2022

09-05

SIGCOMM 2022 阅读评述(四)

第36届 SIGCOMM 于2022年8月22日-8月26日在荷兰阿姆斯特丹召开。本次会议共收到279篇投稿,接收55篇论文,录取率为19.71%。 SNG的同学们按照会议日程对论文内容进行了分期评述,本期介绍session4的论文。

2022

09-05

SIGCOMM 2022 阅读评述(三)

第36届 SIGCOMM 于2022年8月22日-8月26日在荷兰阿姆斯特丹召开。本次会议共收到279篇投稿,接收55篇论文,录取率为19.71%。 SNG的同学们按照会议日程对论文内容进行了分期评述,本期介绍session5的论文。

Paper

P4-DPLL: accelerating SAT solving using switching ASICs

Jinghui Jiang, Zhenpei Huang, Qiao Xiang, Lu Tang, Jiwu Shu
https://dl.acm.org/doi/10.1145/3528082.3544835

Toward low-latency end-to-end communication in 5G using interdomain edge peering

Yuxin Wang, Qiao Xiang, Jiwu Shu, Geng Li, Linghe Kong
https://dl.acm.org/doi/abs/10.1145/3538401.3546600

Switch as a Verifier: Toward Scalable Data Plane Checking via Distributed, On-Device Verification

Qiao Xiang, Ridi Wen, Chenyang Huang, Yuxin Wang, Franck Le
https://arxiv.org/abs/2205.07808