2023
Fast Instruction Selection for Fast Digital Signal Processing.
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023
2022
A<i>δ</i>: autodiff for discontinuous programs - applied to shaders.
ACM Trans. Graph., 2022
Searching for Fast Demosaicking Algorithms.
ACM Trans. Graph., 2022
Better Fixed-Point Filtering with Averaging Trees.
Proc. ACM Comput. Graph. Interact. Tech., 2022
Vector instruction selection for digital signal processors using program synthesis.
Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022
2021
Fast median filters using separable sorting networks.
ACM Trans. Graph., 2021
Efficient automatic scheduling of imaging and vision pipelines for the GPU.
Proc. ACM Program. Lang., 2021
2020
The Next 700 Accelerated Layers: From Mathematical Expressions of Network Computation Graphs to Accelerated GPU Kernels, Automatically.
ACM Trans. Archit. Code Optim., 2020
Verifying and improving Halide's term rewriting system with program synthesis.
Proc. ACM Program. Lang., 2020
Learning to Schedule Halide Pipelines for the GPU.
CoRR, 2020
2019
Learning to optimize halide with tree search and random programs.
,
,
,
,
,
,
,
,
,
,
ACM Trans. Graph., 2019
2018
Differentiable programming for image processing and deep learning in halide.
ACM Trans. Graph., 2018
Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions.
CoRR, 2018
Halide: decoupling algorithms from schedules for high-performance image processing.
Commun. ACM, 2018
2017
Partial Dynamic Element Matching Technique for Digital-to-Analog Converters Used for Digital Harmonic-Cancelling Sine-Wave Synthesis.
IEEE Trans. Circuits Syst. I Regul. Pap., 2017
Corrections to "A 10/20/30/40 MHz Feed-Forward FIR DAC Continuous-Time ΔΣ ADC With Robust Blocker Performance for Radio Receivers".
IEEE J. Solid State Circuits, 2017
Parallel associative reductions in halide.
Proceedings of the 2017 International Symposium on Code Generation and Optimization, 2017
2016
Burst photography for high dynamic range and low-light imaging on mobile cameras.
ACM Trans. Graph., 2016
Bilateral guided upsampling.
ACM Trans. Graph., 2016
Automatically scheduling halide image processing pipelines.
ACM Trans. Graph., 2016
A 10/20/30/40 MHz Feedforward FIR DAC Continuous-Time ΔΣ ADC With Robust Blocker Performance for Radio Receivers.
IEEE J. Solid State Circuits, 2016
The effect of amplitude resolution and mismatch on a digital-to-analog converter used for digital harmonic-cancelling sine-wave synthesis.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2016
2015
A 10/20/30/40 MHz feed-forward FIR DAC continuous-time ΔΣ ADC with robust blocker performance for radio receivers.
Proceedings of the Symposium on VLSI Circuits, 2015
An introduction to halide.
Proceedings of the Special Interest Group on Computer Graphics and Interactive Techniques Conference, 2015
Design of a digital harmonic-cancelling sine-wave synthesizer with 100 MHz output frequency, 43.5 dB SFDR, and 2.26 mW power.
Proceedings of the 2015 IEEE International Symposium on Circuits and Systems, 2015
Fast bilateral-space stereo for synthetic defocus.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2015
2014
A simple digital architecture for a harmonic-cancelling sine-wave synthesizer.
Proceedings of the IEEE International Symposium on Circuits and Systemss, 2014
2013
Lattice-Based High-Dimensional Gaussian Filtering and the Permutohedral Lattice.
J. Math. Imaging Vis., 2013
Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
2012
Decoupling algorithms from schedules for easy optimization of image processing pipelines.
ACM Trans. Graph., 2012
The Frankencamera: an experimental platform for computational photography.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Commun. ACM, 2012
An LC bandpass ΔΣ ADC with 70dB SNDR over 20MHz bandwidth using CMOS DACs.
Proceedings of the 2012 IEEE International Solid-State Circuits Conference, 2012
2011
The FCam API for programmable cameras.
Proceedings of the 19th International Conference on Multimedia 2011, Scottsdale, AZ, USA, November 28, 2011
2010
Fast High-Dimensional Filtering Using the Permutohedral Lattice.
Comput. Graph. Forum, 2010
Multi-exposure imaging on mobile devices (demo).
Proceedings of the 18th International Conference on Multimedia 2010, 2010
Multi-exposure imaging on mobile devices.
Proceedings of the 18th International Conference on Multimedia 2010, 2010
2009
Gaussian KD-trees for fast high-dimensional filtering.
ACM Trans. Graph., 2009
2008
Comput. Graph. Forum, 2008
2007
Veiling glare in high dynamic range imaging.
ACM Trans. Graph., 2007
General Linear Cameras with Finite Aperture.
Proceedings of the Eurographics Symposium on Rendering Techniques, Grenoble, France, 2007, 2007
2006
2005
Protocol Independent Multicast - Dense Mode (PIM-DM): Protocol Specification (Revised).
RFC, January, 2005
High performance imaging using large camera arrays.
ACM Trans. Graph., 2005
Review: CyberEthics: Morality and Law in Cyberspace.
Int. J. Law Inf. Technol., 2005
2001
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS.
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001
1997
Tools and techniques for machine-assisted meta-theory.
PhD thesis, 1997