Walid Taha

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

Coauthor Index

1	Don S. Batory	[17]
2	Zine-El-Abidine Benaissa	[3] [4]
3	Cristiano Calcagno	[7] [22] [29]
4	Charles Consel	[17]
5	Krzysztof Czarnecki	[24]
6	Jason Eckhardt	[31] [35]
7	Stephan Ellner	[23] [36]
8	Seth Fogarty	[37]
9	Steven E. Ganz	[10]
10	Ronald Garcia	[43]
11	Jennifer Gillenwater	[41]
12	Jim Grundy	[41] [42]
13	Miguel Guerrero	[26]
14	Liwen Huang	[22]
15	Paul Hudak	[11] [12] [15]
16	John Hughes	[9]
17	Patricia Johann	[21]
18	Roumen Kaiabachev	[31] [35] [39]
19	Oleg Kiselyov	[27] [30] [33]
20	Christian Lengauer	[32]
21	Xavier Leroy	[22]
22	Henning Makholm	[9]
23	Gregory Malecha	[41] [42]
24	Eugenio Moggi	[4] [7] [29]
25	Michael Florentin Nielsen	[20]
26	John T. O'Donnell	[24]
27	John O'Leary	[41] [42]
28	Karol Ostrovsky	[14]
29	Emir Pasalic	[16] [31] [33] [35] [37]
30	Edward Pizzi	[26]
31	K. V. S. Prasad	[14]
32	Robert Rosenbaum	[26]
33	Amr Sabry	[10]
34	Cherif Salama	[41] [42]
35	Tim Sheard	[1] [2] [3] [4] [5] [16]
36	Jeremy G. Siek	[34] [37] [40] [43]
37	Jörg Striegnitz	[24]
38	Kedar N. Swadi	[26] [30] [31] [33] [35]
39	Zhanyong Wan	[11] [12] [15]
40	Hongwei Xi	[23]
41	Angela Zhu	[39]
42	Angela Yun Zhu	[41]

Colors in the list of coauthors