Wei Sun

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 8

Top Topics

Network Protocols

Congestion Control

Temporal Patterns

Top Venues

ACM Trans. Model. Comput. Simul.

Publications

Minh Vu, Lisong Xu, Sebastian G. Elbaum, Wei Sun, Kevin Qiao
Efficient Protocol Testing Under Temporal Uncertain Event Using Discrete-event Network Simulations. ACM Trans. Model. Comput. Simul. 32 (2) (2022)
Wei Sun, Lisong Xu, Sebastian G. Elbaum, Di Zhao
Model-Agnostic and Efficient Exploration of Numerical Congestion Control State Space of Real-World TCP Implementations. IEEE/ACM Trans. Netw. 29 (5) (2021)
Phuong Ha, Ertong Zhang, Wei Sun, Felix Cui, Lisong Xu
A Novel Timestamping Mechanism for Clouds and Its Application on Available Bandwidth Estimation. ICDCS (2019)
Minh Vu, Lisong Xu, Sebastian G. Elbaum, Wei Sun, Kevin Qia
Efficient systematic testing of network protocols with temporal uncertain events. INFOCOM (2019)
Wei Sun, Lisong Xu, Sebastian G. Elbaum, Di Zhao
Model-Agnostic and Efficient Exploration of Numerical State Space of Real-World TCP Congestion Control Implementations. NSDI (2019)
Wei Sun, Lisong Xu, Sebastian G. Elbaum
Limitations of Emulating Realistic Network Environments for Correctness Testing of Internet Applications. ICC (2018)
Wei Sun, Lisong Xu, Sebastian G. Elbaum
Scalably Testing Congestion Control Algorithms of Real-World TCP Implementations. ICC (2018)
Wei Sun, Lisong Xu, Sebastian G. Elbaum
Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics. ISSTA (2017)
Wei Sun, Lisong Xu, Sebastian G. Elbaum
SPD: Automatically Test Unmodified Network Programs with Symbolic Packet Dynamics. GLOBECOM (2015)