Paul Hudak

Publication Activity (10 Years)

Years Active: 1982-2015
Publications (10 Years): 0

Top Topics

Programming Language

Temporal Structure

Music Composition

Top Venues

Publications

Paul Hudak, Donya Quick, Mark Santolucito, Daniel Winograd-Cort
Real-time interactive music in Haskell. FARM@ICFP (2015)
Mark Santolucito, Donya Quick, Paul Hudak
Media Modules: Intermedia Systems in a Pure Functional Paradigm. ICMC (2015)
Paul Hudak, David Janin
Tiled polymorphic temporal media. FARM@ICFP (2014)
Daniel Winograd-Cort, Paul Hudak
Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough. ICFP (2014)
Andreas Voellmy, Junchang Wang, Paul Hudak, Kazuhiko Yamamoto
Mio: a high-performance multicore io manager for GHC. Haskell (2013)
Andreas Voellmy, Junchang Wang, Yang Richard Yang, Bryan Ford, Paul Hudak
Maple: simplifying SDN programming using algorithmic policies. SIGCOMM (2013)
Donya Quick, Paul Hudak
Grammar-based automated music composition in Haskell. FARM@ICFP (2013)
Donya Quick, Paul Hudak
A Temporal Generative Graph Grammar for harmonic and Metrical Structure. ICMC (2013)
Daniel Winograd-Cort, Hai Liu, Paul Hudak
Virtualizing Real-World Objects in FRP. PADL (2012)
Daniel Winograd-Cort, Paul Hudak
Wormholes: introducing effects to FRP. Haskell (2012)
Donya Quick, Paul Hudak
Computing with Chord Spaces. ICMC (2012)
Hai Liu, Eric Cheng, Paul Hudak
Causal commutative arrows. J. Funct. Program. 21 (4-5) (2011)
Andreas Voellmy, Paul Hudak
Nettle: Taking the Sting Out of Programming Network Routers. PADL (2011)
Zhijing G. Mou, Hai Liu, Paul Hudak
Compress-and-conquer for optimal multicore computing. DAMP (2010)
Hai Liu, Paul Hudak
An Ode to Arrows. PADL (2010)
Hai Liu, Eric Cheng, Paul Hudak
Causal commutative arrows and their optimization. ICFP (2009)
Andreas Voellmy, Paul Hudak
Nettle: A Language for Configuring Routing Networks. DSL (2009)
Henrik Nilsson, John Peterson, Paul Hudak
Functional Hybrid Modeling from an Object-Oriented Perspective. EOOLT (2007)
Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler
A history of Haskell: being lazy with class. HOPL (2007)
Liwen Huang, Paul Hudak, John Peterson
HPorter: Using Arrows to Compose Parallel Processes. PADL (2007)
Hai Liu, Paul Hudak
Plugging a Space Leak with an Arrow. Electron. Notes Theor. Comput. Sci. 193 (2007)
Paul Hudak
An Algebraic Theory of Polymorphic Temporal Media. PADL (2004)
Rajiv Mirani, Paul Hudak
First-class monadic schedules. ACM Trans. Program. Lang. Syst. 26 (4) (2004)
Paul Hudak, Greg Morrisett
Editorial. J. Funct. Program. 14 (4) (2004)
Henrik Nilsson, John Peterson, Paul Hudak
Functional Hybrid Modeling. PADL (2003)
Zhanyong Wan, Walid Taha, Paul Hudak
Event-Driven FRP. PADL (2002)
Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson
Arrows, Robots, and Functional Reactive Programming. Advanced Functional Programming (2002)
John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager
FVision: A Declarative Language for Visual Tracking. PADL (2001)
Walid Taha, Paul Hudak, Zhanyong Wan
Directions in Functional Programming for Real(-Time) Applications. EMSOFT (2001)
Zhanyong Wan, Walid Taha, Paul Hudak
Real-Time FRP. ICFP (2001)
Zhanyong Wan, Paul Hudak
Functional reactive programming from first principles. PLDI (2000)
Paul Hudak
Principles of functional reactive programming. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
John Peterson, Paul Hudak, Conal Elliott
Lambda in Motion: Controlling Robots with Haskell. PADL (1999)
Mark Tullsen, Paul Hudak
Shifting Expression Procedures into Reverse. PEPM (1999)
Alastair Reid, John Peterson, Gregory D. Hager, Paul Hudak
Prototyping Real-Time Vision Systems: An Experiment in DSL Design. ICSE (1999)
John Peterson, Gregory D. Hager, Paul Hudak
A Language for Declarative Robotic Programming. ICRA (1999)
Paul Hudak
Functional Reactive Programming (Abstract). ESOP (1999)
Paul Hudak
Modular domain specific languages and tools. ICSR (1998)
Chih-Ping Chen, Paul Hudak
Rolling Your Own MADT - A Connection Between Linear Types and Monads. POPL (1997)
Paul Hudak
Keynote Address - The Promise of Domain-Specific Languages. DSL (1997)
Conal Elliott, Paul Hudak
Functional Reactive Animation. ICFP (1997)
Sebastian Shaumyan, Paul Hudak
Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language. LACL (1997)
Sheng Liang, Paul Hudak
Modular Denotational Semantics for Compiler Construction. ESOP (1996)
Paul Hudak
Building Domain-Specific Embedded Languages. ACM Comput. Surv. 28 (4es) (1996)
Paul Hudak
Haskore Music Tutorial. Advanced Functional Programming (1996)
Paul Hudak, Tom Makucevich, Syam Gadde, Bo Whong
Haskore Music Notation - An Algebra of Music. J. Funct. Program. 6 (3) (1996)
Paul Hudak, Jonathan Berger
A Model Performance, Interaction and Improvisation. ICMC (1995)
Rajiv Mirani, Paul Hudak
First-Class Schedules and Virtual Maps. FPCA (1995)
Sheng Liang, Paul Hudak, Mark P. Jones
Monad Transformers and Modular Interpreters. POPL (1995)
Mark P. Jones, Paul Hudak, Sebastian Shaumyan
Using Types to Parse Natural Language. Functional Programming (1995)
Amir Kishon, Paul Hudak
Semantics Directed Program Execution Monitoring. J. Funct. Program. 5 (4) (1995)
Martin Odersky, Dan Rabin, Paul Hudak
Call by Name, Assignment, and the Lambda Calculus. POPL (1993)
Paul Hudak
Reflections on Program Optimization. WSA (1993)
Joseph H. Fasel, Paul Hudak, Simon L. Peyton Jones, Philip Wadler
SIGPLAN Notices Special Issue on the Functional Programming Language Haskell. ACM SIGPLAN Notices 27 (5) (1992)
Paul Hudak, Simon L. Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph H. Fasel, María M. Guzmán, Kevin Hammond, John Hughes, Thomas Johnsson, Richard B. Kieburtz, Rishiyur S. Nikhil, Will Partain, John Peterson
Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. ACM SIGPLAN Notices 27 (5) (1992)
Paul Hudak, Joseph H. Fasel
A Gentle Introduction to Haskell. ACM SIGPLAN Notices 27 (5) (1992)
Kung Chen, Paul Hudak, Martin Odersky
Parametric Type Classes. LISP and Functional Programming (1992)
R. S. Sundaresh, Paul Hudak
Incremental Compilation via Partial Evaluation. POPL (1991)
Paul Hudak, Jonathan Young
Collecting Interpretations of Expressions. ACM Trans. Program. Lang. Syst. 13 (2) (1991)
Amir Kishon, Paul Hudak, Charles Consel
Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors. PLDI (1991)
Juan C. Guzmán, Paul Hudak
Single-Threaded Polymorphic Lambda Calculus LICS (1990)
Steven Anderson, Paul Hudak
Compilation of Haskell Array Comprehensions for Scientific Computing. PLDI (1990)
Richard Kelsey, Paul Hudak
Realistic Compilation by Program Transformation. POPL (1989)
Adrienne G. Bloss, Paul Hudak, Jonathan Young
An Optimising Compiler for a Modern Functional Language. Comput. J. 32 (2) (1989)
Kai Li, Paul Hudak
Memory Coherence in Shared Virtual Memory Systems. ACM Trans. Comput. Syst. 7 (4) (1989)
Paul Hudak
Conception, Evolution, and Application of Functional Programming Languages. ACM Comput. Surv. 21 (3) (1989)
Paul Hudak, Eric Mohr
Graphinators and the Duality of SIMD and MIMD. LISP and Functional Programming (1988)
Zhijing G. Mou, Paul Hudak
An algebraic model for divide-and-conquer and its parallelism. J. Supercomput. 2 (3) (1988)
Paul Hudak
Exploring Parafunctional Programming: Separating the What from the How. IEEE Softw. 5 (1) (1988)
Paul Hudak, Jonathan Young
A Collecting Interpretation of Expressions (Without Powerdomains). POPL (1988)
Benjamin Goldberg, Paul Hudak
Implementing functional programs on a hypercube multiprocessor. C³P (1988)
Adrienne G. Bloss, Paul Hudak, Jonathan Young
Code Optimizations for Lazy Evaluation. LISP Symb. Comput. 1 (2) (1988)
Adrienne G. Bloss, Paul Hudak
Path Semantics. MFPS (1987)
Paul Hudak
Para-Functional Languages for Parallel and Distributed Computing. COMPCON (1987)
Paul Hudak, Steven Anderson
Pomset interpretations of parallel functional programs. FPCA (1987)
Paul Hudak
A Semantic Model of Reference Counting and its Abstraction (Detailed Summary). LISP and Functional Programming (1986)
Paul Hudak
Arrays, non-determinism, side-effects, and parallelism: A functional perspective. Graph Reduction (1986)
Paul Hudak, Jonathan Young
Higher-Order Strictness Analysis in Untyped Lambda Calculus. POPL (1986)
Adrienne G. Bloss, Paul Hudak
Variations on Strictness Analysis. LISP and Functional Programming (1986)
David A. Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin
ORBIT: an optimizing compiler for scheme. SIGPLAN Symposium on Compiler Construction (1986)
Paul Hudak
Para-Functional Programming. Computer 19 (8) (1986)
Paul Hudak, Lauren Smith
Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems. POPL (1986)
David A. Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams
Orbit: an optimizing compiler for scheme (with retrospective) Best of PLDI (1986)
Kai Li, Paul Hudak
Memory Coherence in Shared Virtual Memory Systems. PODC (1986)
Paul Hudak
Denotational semantics of a para-functional programming language. Int. J. Parallel Program. 15 (2) (1986)
Benjamin Goldberg, Paul Hudak
Alfalfa: Distributed graph reduction on a hypercube multiprocessor. Graph Reduction (1986)
Kai Li, Paul Hudak
A New List Compaction Method. Softw. Pract. Exp. 16 (2) (1986)
Paul Hudak, Benjamin Goldberg
Distributed Execution of Functional Programs Using Serial Combinators. IEEE Trans. Computers 34 (10) (1985)
Paul Hudak, Adrienne G. Bloss
The Aggregate Update Problem in Functional Programming Systems. POPL (1985)
Paul Hudak, Benjamin Goldberg
Efficient Distributed Evaluation of Functional Programs Using Serial Combinators. ICPP (1985)
Paul Hudak, Benjamin Goldberg
Serial Combinators: "Optimal" Grains of Parallelism. FPCA (1985)
Paul Hudak, Benjamin Goldberg
Experiments in Diffused Combinator Reduction. LISP and Functional Programming (1984)
Paul Hudak, David A. Kranz
A Combinator-Based Compiler for a Functional Language. POPL (1984)
Paul Hudak
Distributed Task and Memory Management. PODC (1983)
Paul Hudak, Robert M. Keller
Garbage Collection and Task Deletion in Distributed Applicative Processing Systems. Symposium on LISP and Functional Programming (1982)