Arseniy Zaostrovnykh

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 6

Top Topics

Software Design

Formal Verification

Top Venues

Comput. Commun. Rev.

Publications

Rishabh R. Iyer, Luis Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli, Katerina J. Argyraki, George Candea
Performance Contracts for Software Network Functions. NSDI (2019)
Arseniy Zaostrovnykh, Solal Pirelli, Rishabh R. Iyer, Matteo Rizzo, Luis Pedrosa, Katerina J. Argyraki, George Candea
Verifying software network functions with no verification expertise. SOSP (2019)
Solal Pirelli, Arseniy Zaostrovnykh, George Candea
A Formally Verified NAT Stack. KBNets@SIGCOMM (2018)
Luis Pedrosa, Rishabh R. Iyer, Arseniy Zaostrovnykh, Jonas Fietz, Katerina J. Argyraki
Automated synthesis of adversarial workloads for network functions. SIGCOMM (2018)
Solal Pirelli, Arseniy Zaostrovnykh, George Candea
A formally verified NAT stack. Comput. Commun. Rev. 48 (5) (2018)
Arseniy Zaostrovnykh, Solal Pirelli, Luis Pedrosa, Katerina J. Argyraki, George Candea
A Formally Verified NAT. SIGCOMM (2017)