Segmentation fusion for connectomics. - Amelio Vázquez Reina; Michael Gelbart; Daniel Huang 001; Jeff Lichtman; Eric L. Miller 001; Hanspeter Pfister (ICCV, 2011)

Formalizing the SAFECode Type System. - Daniel Huang 001; Greg Morrisett (CPP, 2013)

Augur: a Modeling Language for Data-Parallel Probabilistic Inference. - Jean-Baptiste Tristan; Daniel Huang 001; Joseph Tassarotti; Adam Craig Pocock; Stephen J. Green; Guy L. Steele Jr. (CoRR, 2013)

Augur: Data-Parallel Probabilistic Modeling. - Jean-Baptiste Tristan; Daniel Huang 001; Joseph Tassarotti; Adam Craig Pocock; Stephen J. Green; Guy L. Steele Jr. (NIPS, 2014)

An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages. - Daniel Huang 001; Greg Morrisett (ESOP, 2016)

Compiling Markov chain Monte Carlo algorithms for probabilistic modeling. - Daniel Huang 001; Jean-Baptiste Tristan; Greg Morrisett (PLDI, 2017)

An Application of Computable Distributions to the Semantics of Probabilistic Programs. - Daniel Huang 001; Greg Morrisett; Bas Spitters (CoRR, 2018)

GamePad: A Learning Environment for Theorem Proving. - Daniel Huang 001; Prafulla Dhariwal; Dawn Song; Ilya Sutskever (ICLR (Poster), 2019)

On Learning to Prove. - Daniel Huang 001 (CoRR, 2019)

Application ofComputable Distributions to the Semantics of Probabilistic Programs. - Daniel Huang 001; Greg Morrisett; Bas Spitters (Foundations of Probabilistic Programming, 2020)

Elementary Logic in Linear Space. - Daniel Huang 001 (CoRR, 2020)

Quantum Computing and Visualization: A Disruptive Technological Change Ahead. - E. Wes Bethel; Mercy G. Amankwah; Jan Balewski; Roel Van Beeumen; Daan Camps; Daniel Huang 001; Talita Perciano (IEEE Computer Graphics and Applications, 2023)

PusH: Concurrent Probabilistic Programming with Function Spaces. - Daniel Huang 001; Christian Camaño; Jonathan Tsegaye (CoRR, 2023)

On Training Derivative-Constrained Neural Networks. - KaiChieh Lo; Daniel Huang 001 (CoRR, 2023)

High-Dimensional Gaussian Process Regression with Soft Kernel Interpolation. - Christian Camaño; Daniel Huang 001 (Trans. Mach. Learn. Res., 2025)

From Bits to Qubits: Challenges in Classical-Quantum Integration. - Sudhanshu Pravin Kulkarni; Daniel Huang 001; E. Wes Bethel (CoRR, 2025)

Circuit Partitioning and Full Circuit Execution: A Comparative Study of GPU-Based Quantum Circuit Simulation. - Kartikey Sarode; Daniel Huang 001; E. Wes Bethel (CoRR, 2025)

Scaling Gaussian Process Regression with Full Derivative Observations. - Daniel Huang 001 (CoRR, 2025)