For decades, Internet protocols have been specified using natural language. Given the ambiguity inherent in such text, it is not surprising that protocol implementations have long exhibited bugs. In this paper, we apply natural language processing (NLP) to effect semi-automated generation of protocol implementations from specification text. Our system, Sage, can uncover ambiguous or under-specified sentences in specifications; once these are clarified by the author of the protocol specification, Sage can generate protocol code automatically.

Network Functions (NFs) perform on-path processing of network traffic. ISPs are deploying NF Virtualization (NFV) with software NFs run on commodity servers. ISPs aim to ensure that NF chains, directed acyclic graphs of NFs, do not violate Service Level Objectives (SLOs) promised by the ISP to its customers. To meet SLOs, NFV systems sometimes leverage on-path hardware (such as programmable switches and smart NICs) to accelerate NF execution.

M.C. Escher created a myriad of amazing planar tessellations, yet only a few three-dimensional ones such as his wooden fish ball and dodecahedral flower. We have developed an interactive program to design and manufacture "Escher Spheres" - sets of tiles that can be assembled into spherical balls. The user chooses from a set of predefined symmetry groups and then deforms the boundaries of the basic domain tile; all corresponding points based on the chosen symmetry class move concurrently, instantly showing the overall result. The interior of the tile can be embellished with a bas-relief. Finally the tile is radially extruded and output as a solid model suitable for free-form fabrication. Categories and Subject Descriptors J.6 [Computer Appl.]: Computer-Aided Engineering General Terms Computer-aided design (CAD) Keywords M.C. Escher, solid modeling, tessellation, spherical symmetry, spherical tiling, tile editor 1.