dc.contributor.author | Bhattacharya, Ramarko | |
dc.contributor.author | Lindstrom, Jonathan | |
dc.contributor.author | Taka, Ahmad | |
dc.contributor.author | Nisser, Martin | |
dc.contributor.author | Mueller, Stefanie | |
dc.contributor.author | Nakagaki, Ken | |
dc.date.accessioned | 2024-03-01T15:57:25Z | |
dc.date.available | 2024-03-01T15:57:25Z | |
dc.date.issued | 2024-02-11 | |
dc.identifier.isbn | 979-8-4007-0402-4 | |
dc.identifier.uri | https://hdl.handle.net/1721.1/153626 | |
dc.description.abstract | Modern vector processors support a wide variety of instructions for fixed-point digital signal processing. These instructions support a proliferation of rounding, saturating, and type conversion modes, and are often fused combinations of more primitive operations. While these are common idioms in fixed-point signal processing, it is difficult to use these operations in portable code. It is challenging for programmers to write down portable integer arithmetic in a C-like language that corresponds exactly to one of these instructions, and even more challenging for compilers to recognize when these instructions can be used. Our system, Pitchfork, defines a portable fixed-point intermediate representation, FPIR, that captures common idioms in fixed-point code. FPIR can be used directly by programmers experienced with fixed-point, or Pitchfork can automatically lift from integer operations into FPIR using a term-rewriting system (TRS) composed of verified manual and automatically-synthesized rules. Pitchfork then lowers from FPIR into target-specific fixed-point instructions using a set of target-specific TRSs. We show that this approach improves runtime performance of portably-written fixed-point signal processing code in Halide, across a range of benchmarks, by geomean 1.31x on x86 with AVX2, 1.82x on ARM Neon, and 2.44x on Hexagon HVX compared to a standard LLVM-based compiler flow, while maintaining or improving existing compile times. | en_US |
dc.publisher | ACM|Eighteenth International Conference on Tangible, Embedded, and Embodied Interaction | en_US |
dc.relation.isversionof | https://doi.org/10.1145/3623509.3633365 | en_US |
dc.rights | Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use. | en_US |
dc.source | Association for Computing Machinery | en_US |
dc.title | FabRobotics: Fusing 3D Printing with Mobile Robots to Advance Fabrication, Robotics, and Interaction | en_US |
dc.type | Article | en_US |
dc.identifier.citation | Bhattacharya, Ramarko, Lindstrom, Jonathan, Taka, Ahmad, Nisser, Martin, Mueller, Stefanie et al. 2024. "FabRobotics: Fusing 3D Printing with Mobile Robots to Advance Fabrication, Robotics, and Interaction." | |
dc.identifier.mitlicense | PUBLISHER_POLICY | |
dc.eprint.version | Final published version | en_US |
dc.type.uri | http://purl.org/eprint/type/ConferencePaper | en_US |
eprint.status | http://purl.org/eprint/status/NonPeerReviewed | en_US |
dc.date.updated | 2024-03-01T08:46:11Z | |
dc.language.rfc3066 | en | |
dc.rights.holder | The author(s) | |
dspace.date.submission | 2024-03-01T08:46:12Z | |
mit.license | PUBLISHER_POLICY | |
mit.metadata.status | Authority Work and Publication Information Needed | en_US |