paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Probabilistic profiling of stateful data planes for adversarial testing

面向对抗测试的有状态数据平面的概率剖析
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 2/10 · 该论文研究可编程数据平面/网络程序的有状态概率剖析与对抗性测试，属于网络系统与DSL测试方向，与用户关注的PL与AI交叉、LLM/Agent、浮点程序分析或贝叶斯程序分析均无直接关联。仅在“程序分析/测试”这一宽泛层面有微弱交集。引用 21 inbox
Qiao Kang, Jiarong Xing, Yiming Qiu, Ang Chen
领域特定语言与建模测试、调试与修复
crossref: 2026-09-12

AI 速览

一句话：提出面向有状态可编程数据平面的概率剖析方法，以支持对抗性测试。

可编程交换机上的数据平面系统正变得越来越复杂，其处理逻辑远超传统的下一跳转发，且通常带有状态。现有的网络程序剖析器主要面向无状态转发程序，无法有效应对有状态数据平面的剖析需求。为此，本文提出面向有状态数据平面的概率剖析（probabilistic profiling）方法，旨在刻画此类程序的运行时行为，并服务于对抗性测试。摘要指出了传统剖析器在有状态数据平面场景下的局限，并给出了概率化剖析这一方向，但未详述具体实现与实验数据。

问题
可编程交换机上的数据平面程序日益复杂且带有状态，而现有网络程序剖析器主要针对无状态转发程序，难以满足有状态数据平面的剖析需求。
方法
提出概率剖析（probabilistic profiling）方法，用于有状态数据平面的行为刻画，并面向对抗性测试场景。
评估
摘要未提供具体评估细节，仅说明评估目标为对抗性测试。
原文摘要（Abstract）

Recently, there is a flurry of projects that develop data plane systems in programmable switches, and these systems perform far more sophisticated processing than simply deciding a packet's next hop (i.e., traditional forwarding). This presents challenges to existing network program profilers, which are developed primarily to handle stateless forwarding programs.

链接与引用

DOI 原文 ·

BibTeX 
@inproceedings{paperbot6111,
  title = {Probabilistic profiling of stateful data planes for adversarial testing},
  author = {Qiao Kang and Jiarong Xing and Yiming Qiu and Ang Chen},
  booktitle = {ASPLOS},
  year = {2021},
  doi = {10.1145/3445814.3446764}
}