| 2008 |
|---|
| 40 | EE | Jennifer Gillenwater,
Gregory Malecha,
Cherif Salama,
Angela Yun Zhu,
Walid Taha,
Jim Grundy,
John O'Leary:
Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability.
PEPM 2008: 41-50 |
| 2007 |
|---|
| 39 | EE | Jeremy Siek,
Walid Taha:
Gradual Typing for Objects.
ECOOP 2007: 2-27 |
| 38 | EE | Roumen Kaiabachev,
Walid Taha,
Angela Zhu:
E-FRP with priorities.
EMSOFT 2007: 221-230 |
| 37 | EE | Walid Taha:
A Gentle Introduction to Multi-stage Programming, Part II.
GTTSE 2007: 260-290 |
| 36 | EE | Seth Fogarty,
Emir Pasalic,
Jeremy Siek,
Walid Taha:
Concoqtion: indexed types now!
PEPM 2007: 112-121 |
| 35 | EE | Stephan Ellner,
Walid Taha:
The semantics of graphical languages.
PEPM 2007: 122-133 |
| 2006 |
|---|
| 34 | EE | Jeremy Siek,
Walid Taha:
A Semantic Analysis of C++ Templates.
ECOOP 2006: 304-327 |
| 33 | EE | Kedar N. Swadi,
Walid Taha,
Oleg Kiselyov,
Emir Pasalic:
A monadic approach for avoiding code duplication when staging memoized functions.
PEPM 2006: 160-169 |
| 32 | EE | Christian Lengauer,
Walid Taha:
Preface.
Sci. Comput. Program. 62(1): 1-2 (2006) |
| 2005 |
|---|
| 31 | EE | Jason Eckhardt,
Roumen Kaiabachev,
Emir Pasalic,
Kedar N. Swadi,
Walid Taha:
Implicitly Heterogeneous Multi-stage Programming.
GPCE 2005: 275-292 |
| 2004 |
|---|
| 30 | EE | Oleg Kiselyov,
Kedar N. Swadi,
Walid Taha:
A methodology for generating verified combinatorial circuits.
EMSOFT 2004: 249-258 |
| 29 | EE | Cristiano Calcagno,
Eugenio Moggi,
Walid Taha:
ML-Like Inference for Classifiers.
ESOP 2004: 79-93 |
| 28 | EE | Walid Taha:
Resource-Aware Programming.
ICESS 2004: 38-43 |
| 27 | EE | Oleg Kiselyov,
Walid Taha:
Relating FFTW and Split-Radix.
ICESS 2004: 488-493 |
| 26 | EE | Miguel Guerrero,
Edward Pizzi,
Robert Rosenbaum,
Kedar N. Swadi,
Walid Taha:
Implementing DSLs in metaOCaml.
OOPSLA Companion 2004: 41-42 |
| 2003 |
|---|
| 25 | EE | Walid Taha:
A Gentle Introduction to Multi-stage Programming.
Domain-Specific Program Generation 2003: 30-50 |
| 24 | EE | Krzysztof Czarnecki,
John T. O'Donnell,
Jörg Striegnitz,
Walid Taha:
DSL Implementation in MetaOCaml, Template Haskell, and C++.
Domain-Specific Program Generation 2003: 51-72 |
| 23 | EE | Walid Taha,
Stephan Ellner,
Hongwei Xi:
Generating Heap-Bounded Programs in a Functional Setting.
EMSOFT 2003: 340-355 |
| 22 | EE | Cristiano Calcagno,
Walid Taha,
Liwen Huang,
Xavier Leroy:
Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection.
GPCE 2003: 57-76 |
| 21 | EE | Walid Taha,
Patricia Johann:
Staged Notational Definitions.
GPCE 2003: 97-116 |
| 20 | EE | Walid Taha,
Michael Florentin Nielsen:
Environment classifiers.
POPL 2003: 26-37 |
| 19 | EE | Walid Taha:
Semantics, Applications, and Implementation of Program Generation.
J. Funct. Program. 13(3): 453-454 (2003) |
| 18 | EE | Walid Taha:
"Essentials of Programming Languages" (2nd ed) by Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes, MIT Press, ISBN 0-262-06217-8, 2001.
J. Funct. Program. 13(4): 829-831 (2003) |
| 2002 |
|---|
| 17 | | Don S. Batory,
Charles Consel,
Walid Taha:
Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings
Springer 2002 |
| 16 | EE | Emir Pasalic,
Walid Taha,
Tim Sheard:
Tagless staged interpreters for typed languages.
ICFP 2002: 218-229 |
| 15 | EE | Zhanyong Wan,
Walid Taha,
Paul Hudak:
Event-Driven FRP.
PADL 2002: 155-172 |
| 14 | EE | Karol Ostrovsky,
K. V. S. Prasad,
Walid Taha:
Towards a primitive higher order calculus of broadcasting systems.
PPDP 2002: 2-13 |
| 2001 |
|---|
| 13 | | Walid Taha:
Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings
Springer 2001 |
| 12 | EE | Walid Taha,
Paul Hudak,
Zhanyong Wan:
Directions in Functional Programming for Real(-Time) Applications.
EMSOFT 2001: 185-203 |
| 11 | | Zhanyong Wan,
Walid Taha,
Paul Hudak:
Real-Time FRP.
ICFP 2001: 146-156 |
| 10 | | Steven E. Ganz,
Amr Sabry,
Walid Taha:
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML.
ICFP 2001: 74-85 |
| 9 | EE | Walid Taha,
Henning Makholm,
John Hughes:
Tag Elimination and Jones-Optimality.
PADO 2001: 257-275 |
| 2000 |
|---|
| 8 | | Walid Taha:
Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings
Springer 2000 |
| 7 | EE | Cristiano Calcagno,
Eugenio Moggi,
Walid Taha:
Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming.
ICALP 2000: 25-36 |
| 6 | EE | Walid Taha:
A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trival (Extended Abstract).
PEPM 2000: 34-43 |
| 5 | EE | Walid Taha,
Tim Sheard:
MetaML and multi-stage programming with explicit annotations.
Theor. Comput. Sci. 248(1-2): 211-242 (2000) |
| 1999 |
|---|
| 4 | EE | Eugenio Moggi,
Walid Taha,
Zine-El-Abidine Benaissa,
Tim Sheard:
An Idealized MetaML: Simpler, and More Expressive.
ESOP 1999: 193-207 |
| 1998 |
|---|
| 3 | EE | Walid Taha,
Zine-El-Abidine Benaissa,
Tim Sheard:
Multi-Stage Programming: Axiomatization and Type Safety.
ICALP 1998: 918-929 |
| 1997 |
|---|
| 2 | | Walid Taha,
Tim Sheard:
Multi-Stage Programming.
ICFP 1997: 321 |
| 1 | EE | Walid Taha,
Tim Sheard:
Multi-Stage Programming with Explicit Annotations.
PEPM 1997: 203-217 |
