USENIX | The Advanced Computing Systems Association

{NetSMC}: A Custom Symbolic Model Checker for Stateful Network Verification

Yuan Y, Moon S-J, Uppal S, Jia L, Sekar V. 2020. {NetSMC}: A Custom Symbolic Model Checker for Stateful Network Verification. 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :181--200.

{TinySDR}: {Low-Power} {SDR} Platform for {Over-the-Air} Programmable {IoT} Testbeds

Hessar M, Najafi A, Iyer V, Gollakota S. 2020. {TinySDR}: {Low-Power} {SDR} Platform for {Over-the-Air} Programmable {IoT} Testbeds . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :1031--1046.

SREcon26 Americas

SREcon26 Americas

March 24–26, 2026
Seattle, WA, USA

Read more about SREcon26 Americas

NSDI '23

NSDI '23

April 17–19, 2023
Boston, MA, USA

Read more about NSDI '23

Vault '20

Vault '20

February 24–25, 2020
Santa Clara, CA, USA

Co-located with FAST '20

Read more about Vault '20

FAST '22

FAST '22, February 22–24, 2022, Santa Clara, CA, USA

FAST '22

20th USENIX Conference on File and Storage Technologies
February 22–24, 2022
Santa Clara, CA, USA

Read more about FAST '22

Enigma 2023

Enigma 2021, February 1–3, 2021

Enigma 2023

January 24–26, 2023
Santa Clara, CA, USA

Read more about Enigma 2023

Tiramisu: Fast Multilayer Network Verification

Abhashkumar A, Gember-Jacobson A, Akella A. 2020. Tiramisu: Fast Multilayer Network Verification . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :201-219.

Read more about Tiramisu: Fast Multilayer Network Verification
DBLP
Log in to post comments
Google Scholar
BibTeX

{CarMap}: Fast 3D Feature Map Updates for Automobiles

Ahmad F, Qiu H, Eells R, Bai F, Govindan R. 2020. {CarMap}: Fast 3D Feature Map Updates for Automobiles . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :1063--1081.

Read more about {CarMap}: Fast 3D Feature Map Updates for Automobiles
DBLP
Log in to post comments
Google Scholar
BibTeX

{RFocus}: Beamforming Using Thousands of Passive Antennas

Arun V, Balakrishnan H. 2020. {RFocus}: Beamforming Using Thousands of Passive Antennas . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :1047--1061.

Read more about {RFocus}: Beamforming Using Thousands of Passive Antennas
DBLP
Log in to post comments
Google Scholar
BibTeX

Pages