Author of the publication

Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines.

, , , , , and . PLDI, page 519-530. ACM, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A 10/20/30/40 MHz feed-forward FIR DAC continuous-time ΔΣ ADC with robust blocker performance for radio receivers., , , and . VLSIC, page 262-. IEEE, (2015)Fast Instruction Selection for Fast Digital Signal Processing., , , , , and . ASPLOS (4), page 125-137. ACM, (2023)Design of a digital harmonic-cancelling sine-wave synthesizer with 100 MHz output frequency, 43.5 dB SFDR, and 2.26 mW power., , , , and . ISCAS, page 3052-3055. IEEE, (2015)General Linear Cameras with Finite Aperture., and . Rendering Techniques, page 121-126. Eurographics Association, (2007)Parallel associative reductions in halide., , and . CGO, page 281-291. ACM, (2017)Tools and techniques for machine-assisted meta-theory.. University of St Andrews, UK, (1997)British Library, EThOS.Learning to Schedule Halide Pipelines for the GPU., , , , and . CoRR, (2020)Multi-exposure imaging on mobile devices., , , and . ACM Multimedia, page 823-826. ACM, (2010)Vector instruction selection for digital signal processors using program synthesis., , , , and . ASPLOS, page 1004-1016. ACM, (2022)Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS., , , , , and . TPHOLs, volume 2152 of Lecture Notes in Computer Science, page 27-42. Springer, (2001)