Presentation / Installation
Semantics and Scheduling for Machine Knitting Compilers
DescriptionKnitting machines can be programmed to make a wide variety of complex objects. This work extends concepts from knot theory to formalize the semantics of knitout, a DSL for knitting machines, which lets us define topological correctness on knitting program transformations.
Event Type
Technical Paper
TimeThursday, 10 August 202311:18am - 11:29am PDT
LocationRoom 515 A
ACM Digital Library
Technical Papers pdfs
Session Time & Location
Research & Education
Livestreamed
Recorded
Modeling
FC
FCS
V
VS
EFC