Tools and techniques for machine-assisted meta-theory. - Andrew Adams (1997)

Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS. - Andrew Adams; Martin Dunstan; Hanne Gottliebsen; Tom W. Kelsey; Ursula Martin; Sam Owre (TPHOLs, 2001)

Review: CyberEthics: Morality and Law in Cyberspace. - Andrew Adams (Int. J. Law Inf. Technol., 2005)

High performance imaging using large camera arrays. - Bennett Wilburn; Neel Joshi; Vaibhav Vaish; Eino-Ville Talvala; Emilio R. Antúnez; Adam Barth; Andrew Adams; Mark Horowitz; Marc Levoy (ACM Trans. Graph., 2005)

Protocol Independent Multicast - Dense Mode (PIM-DM): Protocol Specification (Revised). - Andrew Adams; Jonathan Nicholas; William Siadak (RFC, 2005)

Light field microscopy. - Marc Levoy; Ren Ng; Andrew Adams; Matthew Footer; Mark Horowitz (ACM Trans. Graph., 2006)

General Linear Cameras with Finite Aperture. - Andrew Adams; Marc Levoy (Rendering Techniques, 2007)

Veiling glare in high dynamic range imaging. - Eino-Ville Talvala; Andrew Adams; Mark Horowitz; Marc Levoy (ACM Trans. Graph., 2007)

Viewfinder Alignment. - Andrew Adams; Natasha Gelfand; Kari Pulli (Comput. Graph. Forum, 2008)

Gaussian KD-trees for fast high-dimensional filtering. - Andrew Adams; Natasha Gelfand; Jennifer Dolson; Marc Levoy (ACM Trans. Graph., 2009)

Multi-exposure imaging on mobile devices. - Natasha Gelfand; Andrew Adams; Sung Hee Park; Kari Pulli (ACM Multimedia, 2010)

Multi-exposure imaging on mobile devices (demo). - Natasha Gelfand; Andrew Adams; Sung Hee Park; Kari Pulli (ACM Multimedia, 2010)

Fast High-Dimensional Filtering Using the Permutohedral Lattice. - Andrew Adams; Jongmin Baek; Myers Abraham Davis (Comput. Graph. Forum, 2010)

The FCam API for programmable cameras. - Sung Hee Park; Andrew Adams; Eino-Ville Talvala (ACM Multimedia, 2011)

An LC bandpass ΔΣ ADC with 70dB SNDR over 20MHz bandwidth using CMOS DACs. - Jeffrey Harrison; Michal Nesselroth; Robert Mamuad; Arya Behzad; Andrew Adams; Steve Avery (ISSCC, 2012)

The Frankencamera: an experimental platform for computational photography. - Andrew Adams; David E. Jacobs; Jennifer Dolson; Marius Tico; Kari Pulli; Eino-Ville Talvala; Boris Ajdin; Daniel A. Vaquero; Hendrik P. A. Lensch; Mark Horowitz; Sung Hee Park; Natasha Gelfand; et al. (Commun. ACM, 2012)

Decoupling algorithms from schedules for easy optimization of image processing pipelines. - Jonathan Ragan-Kelley; Andrew Adams; Sylvain Paris; Marc Levoy; Saman P. Amarasinghe; Frédo Durand (ACM Trans. Graph., 2012)

Sculpting by numbers. - Alec R. Rivers; Andrew Adams; Frédo Durand (ACM Trans. Graph., 2012)

Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines. - Jonathan Ragan-Kelley; Connelly Barnes; Andrew Adams; Sylvain Paris; Frédo Durand; Saman P. Amarasinghe (PLDI, 2013)

Lattice-Based High-Dimensional Gaussian Filtering and the Permutohedral Lattice. - Jongmin Baek; Andrew Adams; Jennifer Dolson (J. Math. Imaging Vis., 2013)

A simple digital architecture for a harmonic-cancelling sine-wave synthesizer. - Pasindu Aluthwala; Neil Weste; Andrew Adams; Torsten Lehmann; Sri Parameswaran (ISCAS, 2014)

Fast bilateral-space stereo for synthetic defocus. - Jonathan T. Barron; Andrew Adams; Yichang Shih; Carlos Hernández (CVPR, 2015)

Design of a digital harmonic-cancelling sine-wave synthesizer with 100 MHz output frequency, 43.5 dB SFDR, and 2.26 mW power. - Pasindu Aluthwala; Neil Weste; Andrew Adams; Torsten Lehmann; Sri Parameswaran (ISCAS, 2015)

An introduction to halide. - Jonathan Ragan-Kelley; Andrew Adams; Dillon Sharlet (SIGGRAPH Courses, 2015)

A 10/20/30/40 MHz feed-forward FIR DAC continuous-time ΔΣ ADC with robust blocker performance for radio receivers. - Sebastian Loeda; Jeffrey Harrison; Franck Pourchet; Andrew Adams (VLSIC, 2015)

The effect of amplitude resolution and mismatch on a digital-to-analog converter used for digital harmonic-cancelling sine-wave synthesis. - Pasindu Aluthwala; Neil Weste; Andrew Adams; Torsten Lehmann; Sri Parameswaran (ISCAS, 2016)

A 10/20/30/40 MHz Feedforward FIR DAC Continuous-Time ΔΣ ADC With Robust Blocker Performance for Radio Receivers. - Sebastian Loeda; Jeffrey Harrison; Franck Pourchet; Andrew Adams (IEEE J. Solid State Circuits, 2016)

Automatically scheduling halide image processing pipelines. - Ravi Teja Mullapudi; Andrew Adams; Dillon Sharlet; Jonathan Ragan-Kelley; Kayvon Fatahalian (ACM Trans. Graph., 2016)

Bilateral guided upsampling. - Jiawen Chen 001; Andrew Adams; Neal Wadhwa; Samuel W. Hasinoff (ACM Trans. Graph., 2016)

Burst photography for high dynamic range and low-light imaging on mobile cameras. - Samuel W. Hasinoff; Dillon Sharlet; Ryan Geiss; Andrew Adams; Jonathan T. Barron; Florian Kainz; Jiawen Chen 001; Marc Levoy (ACM Trans. Graph., 2016)

Parallel associative reductions in halide. - Patricia Suriana; Andrew Adams; Shoaib Kamil 001 (CGO, 2017)

Corrections to "A 10/20/30/40 MHz Feed-Forward FIR DAC Continuous-Time ΔΣ ADC With Robust Blocker Performance for Radio Receivers". - Sebastian Loeda; Jeffrey Harrison; Franck Pourchet; Andrew Adams (IEEE J. Solid State Circuits, 2017)

Partial Dynamic Element Matching Technique for Digital-to-Analog Converters Used for Digital Harmonic-Cancelling Sine-Wave Synthesis. - Pasindu Aluthwala; Neil Weste; Andrew Adams; Torsten Lehmann; Sri Parameswaran (IEEE Trans. Circuits Syst. I Regul. Pap., 2017)

Halide: decoupling algorithms from schedules for high-performance image processing. - Jonathan Ragan-Kelley; Andrew Adams; Dillon Sharlet; Connelly Barnes; Sylvain Paris; Marc Levoy; Saman P. Amarasinghe; Frédo Durand (Commun. ACM, 2018)

Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions. - Nicolas Vasilache; Oleksandr Zinenko; Theodoros Theodoridis; Priya Goyal; Zachary DeVito; William S. Moses; Sven Verdoolaege; Andrew Adams; Albert Cohen 001 (CoRR, 2018)

Differentiable programming for image processing and deep learning in halide. - Tzu-Mao Li; Michaël Gharbi; Andrew Adams; Frédo Durand; Jonathan Ragan-Kelley (ACM Trans. Graph., 2018)

Learning to optimize halide with tree search and random programs. - Andrew Adams; Karima Ma; Luke Anderson 001; Riyadh Baghdadi; Tzu-Mao Li; Michaël Gharbi; Benoit Steiner; Steven Johnson; Kayvon Fatahalian; Frédo Durand; Jonathan Ragan-Kelley (ACM Trans. Graph., 2019)

Learning to Schedule Halide Pipelines for the GPU. - Luke Anderson 001; Andrew Adams; Karima Ma; Tzu-Mao Li; Jonathan Ragan-Kelley (CoRR, 2020)

Verifying and improving Halide's term rewriting system with program synthesis. - Julie L. Newcomb; Andrew Adams; Steven Johnson; Rastislav Bodík; Shoaib Kamil 001 (Proc. ACM Program. Lang., 2020)

The Next 700 Accelerated Layers: From Mathematical Expressions of Network Computation Graphs to Accelerated GPU Kernels, Automatically. - Nicolas Vasilache; Oleksandr Zinenko; Theodoros Theodoridis; Priya Goyal; Zachary DeVito; William S. Moses; Sven Verdoolaege; Andrew Adams; Albert Cohen 001 (ACM Trans. Archit. Code Optim., 2020)

Efficient automatic scheduling of imaging and vision pipelines for the GPU. - Luke Anderson 001; Andrew Adams; Karima Ma; Tzu-Mao Li; Tian Jin; Jonathan Ragan-Kelley (Proc. ACM Program. Lang., 2021)

Fast median filters using separable sorting networks. - Andrew Adams (ACM Trans. Graph., 2021)

Vector instruction selection for digital signal processors using program synthesis. - Maaz Bin Safeer Ahmad; Alexander J. Root; Andrew Adams; Shoaib Kamil 001; Alvin Cheung (ASPLOS, 2022)

Better Fixed-Point Filtering with Averaging Trees. - Andrew Adams; Dillon Sharlet (Proc. ACM Comput. Graph. Interact. Tech., 2022)

Searching for Fast Demosaicking Algorithms. - Karima Ma; Michaël Gharbi; Andrew Adams; Shoaib Kamil 001; Tzu-Mao Li; Connelly Barnes; Jonathan Ragan-Kelley (ACM Trans. Graph., 2022)

Aδ: autodiff for discontinuous programs - applied to shaders. - Yuting Yang 004; Connelly Barnes; Andrew Adams; Adam Finkelstein (ACM Trans. Graph., 2022)

Fast Instruction Selection for Fast Digital Signal Processing. - Alexander J. Root; Maaz Bin Safeer Ahmad; Dillon Sharlet; Andrew Adams; Shoaib Kamil 001; Jonathan Ragan-Kelley (ASPLOS (4), 2023)