Rulan Yang

Orcid: 0009-0005-1930-106X

According to our database1, Rulan Yang authored at least 5 papers between 2023 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation.
Proceedings of the 23rd USENIX Symposium on Networked Systems Design and Implementation, 2026

2025
Digital Presentation and Interactive Learning for Intangible Cultural Heritage Preservation Using Artificial Intelligence.
IEEE Access, 2025

2024
Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation.
CoRR, 2024

Network Can Help Check Itself: Accelerating SMT-based Network Configuration Verification Using Network Domain Knowledge.
Proceedings of the IEEE INFOCOM 2024, 2024

2023
Diagnosing Distributed Routing Configurations Using Sequential Program Analysis.
Proceedings of the 7th Asia-Pacific Workshop on Networking, 2023


  Loading...