| 2015 | ICFP | Real-time interactive music in Haskell. | Paul Hudak, Donya Quick, Mark Santolucito, Daniel Winograd-Cort |
| 2014 | ICFP | Tiled polymorphic temporal media. | Paul Hudak, David Janin |
| 2014 | ICFP | Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough. | Daniel Winograd-Cort, Paul Hudak |
| 2013 | HASKELL | Mio: a high-performance multicore io manager for GHC. | Andreas Voellmy, Junchang Wang, Paul Hudak, Kazuhiko Yamamoto |
| 2013 | ICFP | Grammar-based automated music composition in Haskell. | Donya Quick, Paul Hudak |
| 2013 | SIGCOMM | Maple: simplifying SDN programming using algorithmic policies. | Andreas Voellmy, Junchang Wang, Yang Richard Yang, Bryan Ford, Paul Hudak |
| 2012 | HASKELL | Wormholes: introducing effects to FRP. | Daniel Winograd-Cort, Paul Hudak |
| 2012 | PADL | Virtualizing Real-World Objects in FRP. | Daniel Winograd-Cort, Hai Liu, Paul Hudak |
| 2011 | PADL | Nettle: Taking the Sting Out of Programming Network Routers. | Andreas Voellmy, Paul Hudak |
| 2010 | PADL | An Ode to Arrows. | Hai Liu, Paul Hudak |
| 2010 | POPL | Compress-and-conquer for optimal multicore computing. | Zhijing G. Mou, Hai Liu, Paul Hudak |
| 2009 | ICFP | Causal commutative arrows and their optimization. | Hai Liu, Eric Cheng, Paul Hudak |
| 2007 | PADL | HPorter: Using Arrows to Compose Parallel Processes. | Liwen Huang, Paul Hudak, John Peterson |
| 2004 | PADL | An Algebraic Theory of Polymorphic Temporal Media. | Paul Hudak |
| 2003 | PADL | Functional Hybrid Modeling. | Henrik Nilsson, John Peterson, Paul Hudak |
| 2002 | PADL | Event-Driven FRP. | Zhanyong Wan, Walid Taha, Paul Hudak |
| 2001 | EMSOFT | Directions in Functional Programming for Real(-Time) Applications. | Walid Taha, Paul Hudak, Zhanyong Wan |
| 2001 | ICFP | Real-Time FRP. | Zhanyong Wan, Walid Taha, Paul Hudak |
| 2001 | PADL | FVision: A Declarative Language for Visual Tracking. | John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager |
| 2000 | PLDI | Functional reactive programming from first principles. | Zhanyong Wan, Paul Hudak |
| 1999 | ESOP | Functional Reactive Programming (Abstract). | Paul Hudak |
| 1999 | ICRA | A Language for Declarative Robotic Programming. | John Peterson, Gregory D. Hager, Paul Hudak |
| 1999 | ICSE | Prototyping Real-Time Vision Systems: An Experiment in DSL Design. | Alastair Reid, John Peterson, Gregory D. Hager, Paul Hudak |
| 1999 | PADL | Lambda in Motion: Controlling Robots with Haskell. | John Peterson, Paul Hudak, Conal Elliott |
| 1999 | PEPM | Shifting Expression Procedures into Reverse. | Mark Tullsen, Paul Hudak |
| 1998 | ICSR | Modular domain specific languages and tools. | Paul Hudak |
| 1997 | ICFP | Functional Reactive Animation. | Conal Elliott, Paul Hudak |
| 1997 | POPL | Rolling Your Own MADT - A Connection Between Linear Types and Monads. | Chih-Ping Chen, Paul Hudak |
| 1996 | ESOP | Modular Denotational Semantics for Compiler Construction. | Sheng Liang, Paul Hudak |
| 1995 | POPL | Monad Transformers and Modular Interpreters. | Sheng Liang, Paul Hudak, Mark P. Jones |
| 1993 | POPL | Call by Name, Assignment, and the Lambda Calculus. | Martin Odersky, Dan Rabin, Paul Hudak |
| 1993 | SAS | Reflections on Program Optimization. | Paul Hudak |
| 1991 | PLDI | Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors. | Amir Kishon, Paul Hudak, Charles Consel |
| 1991 | POPL | Incremental Compilation via Partial Evaluation. | R. S. Sundaresh, Paul Hudak |
| 1990 | LICS | Single-Threaded Polymorphic Lambda Calculus | Juan C. Guzmn, Paul Hudak |
| 1990 | PLDI | Compilation of Haskell Array Comprehensions for Scientific Computing. | Steven Anderson, Paul Hudak |
| 1989 | POPL | Realistic Compilation by Program Transformation. | Richard Kelsey, Paul Hudak |
| 1988 | POPL | A Collecting Interpretation of Expressions (Without Powerdomains). | Paul Hudak, Jonathan Young |
| 1987 | MFPS | Path Semantics. | Adrienne G. Bloss, Paul Hudak |
| 1986 | PLDI | Orbit: an optimizing compiler for scheme (with retrospective) | David A. Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams |
| 1986 | PODC | Memory Coherence in Shared Virtual Memory Systems. | Kai Li, Paul Hudak |
| 1986 | POPL | Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems. | Paul Hudak, Lauren Smith |
| 1986 | POPL | Higher-Order Strictness Analysis in Untyped Lambda Calculus. | Paul Hudak, Jonathan Young |
| 1985 | ICPP | Efficient Distributed Evaluation of Functional Programs Using Serial Combinators. | Paul Hudak, Benjamin Goldberg |
| 1985 | POPL | The Aggregate Update Problem in Functional Programming Systems. | Paul Hudak, Adrienne G. Bloss |
| 1984 | POPL | A Combinator-Based Compiler for a Functional Language. | Paul Hudak, David A. Kranz |
| 1983 | PODC | Distributed Task and Memory Management. | Paul Hudak |