Focus on NETWORK

• WiFi-based Human Activity Recognition research in DLUT WiLNA Lab
• Network Verification research in XJTU ANTS Group - NetVerify Lab

Paper

• NDD: A Decision Diagram for Network Verification | NSDI '25 | Outstanding Paper Award

    Network Decision Diagram, also named as NDD [https://github.com/XJTU-NetVerify/NDD] in XJTU-NetVerify lab [https://github.com/XJTU-NetVerify]
    
    A new decision diagram customized for network verification. It is more efficient than BDD when used for network verification, in terms of memory and computation. NDD wraps BDD with another layers of decision diagram, such that each node represents a field of the network, and each edge is labeled with a BDD encoding the values of that field. Due to the locality of fields in networks, NDD can significantly reduce the redundant nodes.
  
    Also refer to:
    
    * jdd - https://github.com/Augists/jdd, a modified version of BDD Java implementation.
    * bdd-undergra-thinking - https://github.com/Augists/bdd-undergra-thinking, where we generated our basic idea of NDD.
    * blog - https://augists.top/NOTES/PAPER/From-Network-Verification-to-NDD.
  </details>
  

• Towards WiFi-based real-time sensing model deployed on low-power devices | MASS '22

    Take a look at my BS thesis - ViFi [https://github.com/Augists/ViFi]
    
    A multi-model human activity detection tool based on our paper [MASS'22] in DLUT WiLNA lab.
  
    Recogize human activity behaviors by WiFi CSI data and video frames. Gain a much better performance than GateFi [IoTJ'23].
  </details>
  

Please refer to XJTU-NetVerify for open source projects from NetVerify Lab

Contributions