Paul Hudak - RankMe

99 papers A* 19A 9B 3C 13Misc 1Journal 21Unranked 32

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