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
YALEU/DCS/TR1554 [.pdf] PRShare: A Framework for Privacy-Preserving, Interorganizational Data Sharing
Lihi Idan
Joan Feigenbaum
September 2020
YALEU/DCS/TR1555 Refinement-Based Game Semantics for Certified Components
Jérémie Koenig