2020 Technical Reports

YALEU/DCS/TR1551 [.pdf] On the discretization of Laplace’s equation with Neumann boundary conditions on polygonal domains
Jeremy Hoskins
Manas Rachh
January 8, 2020

YALEU/DCS/TR1552 [.pdf] Carbide: Highly Reliable Networks Through Real-Time Multiple Control Plane Composition
Shenshen Chen
Geng Li
Kerim Gokarslan
Bin Li
Qiao Xiang
Haitao Yu
Franck Le
Richard Yang
Ying Zhang
February 7, 2020

YALEU/DCS/TR1553 Compositional Atomic Specifications for Distributed System Verification
Wolf Honore
Jieung Kim
Ji-Yong Shin
Zhong Shao