2009 |
43 | EE | Jeremy G. Siek,
Ronald Garcia,
Walid Taha:
Exploring the Design Space of Higher-Order Casts.
ESOP 2009: 17-31 |
42 | EE | Cherif Salama,
Gregory Malecha,
Walid Taha,
Jim Grundy,
John O'Leary:
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions.
PEPM 2009: 121-130 |
2008 |
41 | 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 |
40 | EE | Jeremy G. Siek,
Walid Taha:
Gradual Typing for Objects.
ECOOP 2007: 2-27 |
39 | EE | Roumen Kaiabachev,
Walid Taha,
Angela Zhu:
E-FRP with priorities.
EMSOFT 2007: 221-230 |
38 | EE | Walid Taha:
A Gentle Introduction to Multi-stage Programming, Part II.
GTTSE 2007: 260-290 |
37 | EE | Seth Fogarty,
Emir Pasalic,
Jeremy G. Siek,
Walid Taha:
Concoqtion: indexed types now!
PEPM 2007: 112-121 |
36 | EE | Stephan Ellner,
Walid Taha:
The semantics of graphical languages.
PEPM 2007: 122-133 |
35 | EE | Jason Eckhardt,
Roumen Kaiabachev,
Emir Pasalic,
Kedar N. Swadi,
Walid Taha:
Implicitly Heterogeneous Multi-Stage Programming.
New Generation Comput. 25(3): 305-336 (2007) |
2006 |
34 | EE | Jeremy G. 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 |