Daniel Huang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2011–2024
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AAAI | ExpeL: LLM Agents Are Experiential Learners. | Andrew Zhao, Daniel Huang, Quentin Xu, Matthieu Lin, Yong-Jin Liu, Gao Huang |
| 2019 | ICLR | GamePad: A Learning Environment for Theorem Proving. | Daniel Huang, Prafulla Dhariwal, Dawn Song, Ilya Sutskever |
| 2017 | PLDI | Compiling Markov chain Monte Carlo algorithms for probabilistic modeling. | Daniel Huang, Jean-Baptiste Tristan, Greg Morrisett |
| 2016 | APNOMS | Interference-aware video streaming over crowded unlicensed spectrum. | Ching-Ling Fan, Daniel Huang, Pin-Chun Wang, Cheng-Hsin Hsu |
| 2016 | ESOP | An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages. | Daniel Huang, Greg Morrisett |
| 2015 | APNOMS | Towards a detailed OpenFlow emulator. | Yi-Jun Cheng, Daniel Huang, Cheng-Lin Lee, Mu-Che Lee, Bo-Wei Chuang, Meng-Chen Tsai, Xin Huang, Cheng-Hsin Hsu |
| 2013 | CPP | Formalizing the SAFECode Type System. | Daniel Huang, Greg Morrisett |
| 2013 | KDD | Detecting insider threats in a real corporate database of computer usage activity. | Ted E. Senator, Henry G. Goldberg, Alex Memory, William T. Young, Brad Rees, Robert Pierce, Daniel Huang, Matthew Reardon, David A. Bader, Edmond Chow, Irfan A. Essa, Joshua Jones, Vinay Bettadapura, Duen Horng Chau, Oded Green, Oguz Kaya, Anita Zakrzewska, Erica Briscoe, Rudolph L. Mappus IV, Robert McColl, Lora Weiss, Thomas G. Dietterich, Alan Fern, Weng-Keen Wong, Shubhomoy Das, Andrew Emmott, Jed Irvine, Jay Yoon Lee, Danai Koutra, Christos Faloutsos, Daniel D. Corkill, Lisa Friedland, Amanda Gentzel, David D. Jensen |
| 2011 | ICCV | Segmentation fusion for connectomics. | Amelio Vzquez Reina, Michael Gelbart, Daniel Huang, Jeff Lichtman, Eric L. Miller, Hanspeter Pfister |