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
Sunday, 6 August 20236pm - 8:30pm PDTWest Hall B
Thursday, 10 August 202310:45am - 12:15pm PDTRoom 515 A
Interest Areas
Research & Education
Recordings
Livestreamed
Recorded
Keywords
Modeling
Registration Categories
FC
FCS
V
VS
EFC