Improving unsupervised visual program inference with code rewriting families

A Ganeshan, RK Jones… - Proceedings of the IEEE …, 2023 - openaccess.thecvf.com
Programs offer compactness and structure that makes them an attractive representation for
visual data. We explore how code rewriting can be used to improve systems for inferring …

Neurosymbolic models for computer graphics

D Ritchie, P Guerrero, RK Jones, NJ Mitra… - Computer graphics …, 2023 - Wiley Online Library
Procedural models (ie symbolic programs that output visual data) are a historically‐popular
method for representing graphics content: vegetation, buildings, textures, etc. They offer …

Impress: Large integer multiplication expression rewriting for fpga hls

E Ustun, I San, J Yin, C Yu… - 2022 IEEE 30th Annual …, 2022 - ieeexplore.ieee.org
Large integer multiplication is becoming a major challenge for FPGA-based acceleration of
many cryptographic applications. Existing techniques for decomposing and optimizing large …

Semantics and Scheduling for Machine Knitting Compilers

J Lin, V Narayanan, Y Ikarashi, J Ragan-Kelley… - ACM Transactions on …, 2023 - dl.acm.org
Machine knitting is a well-established fabrication technique for complex soft objects, and
both companies and researchers have developed tools for generating machine knitting …

KODA: Knit-program Optimization by Dependency Analysis

M Hofmann - Proceedings of the 37th Annual ACM Symposium on …, 2024 - dl.acm.org
Digital knitting machines have the capability to reliably manufacture seamless, textured, and
multi-material garments, but these capabilities are obscured by limiting CAD tools. Recent …

Toward Sub-Gram Helicopters: Designing a Miniaturized Flybar for Passive Stability

K Johnson, V Arroyos, R Villanueva… - 2023 IEEE/RSJ …, 2023 - ieeexplore.ieee.org
Sub-gram flying robots have transformative potential in applications from search and rescue
to precision agriculture to environmental monitoring. However, a key gap in achieving …

FabHacks: Transform Everyday Objects into Home Hacks Leveraging a Solver-aided DSL

Y Mei, B Jones, D Cascaval, J Mankoff… - Proceedings of the 9th …, 2024 - dl.acm.org
Storage, organizing, and decorating are important aspects of home design. Buying
commercial items for many of these tasks, this can be costly, and reuse is more sustainable …

[图书][B] Mass Timber Joinery Design for Digital Fabrication and De-constructability

N Brown - 2023 - search.proquest.com
Interest in sustainable architecture is pushing mass timber to the forefront of the industry, but
with it there are still difficulties in addressing topics such as the connections between …

[图书][B] Optimizing the Design of Robot Environments via Interleaved Optimization and White-Box Motion-Planning

S Niyaz - 2022 - search.proquest.com
Motion planning algorithms lie at the heart of all robotic systems. While each planner
optimizes a different utility function, the robot's environment is consistently the key factor …

[图书][B] Learning-Assisted Techniques for Agile Arithmetic Design on FPGAs

E Ustun - 2022 - search.proquest.com
With the recent trends in technology scaling, specialized hardware accelerators such as field-
programmable gate arrays (FPGAs) are increasingly employed for high performance and …