Timothy Alberdingk Thijm

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Temporal Evolution

Quasi Invariant

Sufficient Conditions

Temporal Databases

Top Venues

Proc. ACM Program. Lang.

Publications

James Larisch, Timothy Alberdingk Thijm, Suleman Ahmad, Peter Wu, Tom Arnfeld, Marwan Fayed
Topaz: Declarative and Verifiable Authoritative DNS at CDN-Scale. SIGCOMM (2024)
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Kirigami, the Verifiable Art of Network Cutting. IEEE/ACM Trans. Netw. 32 (3) (2024)
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Modular Control Plane Verification via Temporal Invariants. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Modular Control Plane Verification via Temporal Invariants. CoRR (2022)
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Kirigami, the Verifiable Art of Network Cutting. ICNP (2022)