Walid Taha

	2011
49		Walid Taha, Verónica Gaspes, Rex Page: Accurate Programming: Thinking about programs in terms of properties DSL 2011: 236-260
	2010
48		Edwin Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha: Mint: Java multi-stage programming using weak separability. PLDI 2010: 400-411
47		Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary: Synthesizable High Level Hardware Descriptions. New Generation Comput. 28(4): 339-369 (2010)
	2009
46		Tianzhou Chen, Dimitrios N. Serpanos, Walid Taha: International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009. IEEE 2009
45		Jeremy G. Siek, Ronald Garcia, Walid Taha: Exploring the Design Space of Higher-Order Casts. ESOP 2009: 17-31
44		Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek: In Pursuit of Real Answers. ICESS 2009: 115-122
43		Angela Yun Zhu, Jun Inoue, Marisa Linnea Peralta, Walid Taha, Marcia K. O'Malley, Dane Powell: Implementing Haptic Feedback Environments from High-Level Descriptions. ICESS 2009: 482-489
42		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		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		Jeremy G. Siek, Walid Taha: Gradual Typing for Objects. ECOOP 2007: 2-27
39		Roumen Kaiabachev, Walid Taha, Angela Yun Zhu: E-FRP with priorities. EMSOFT 2007: 221-230
38		Walid Taha: A Gentle Introduction to Multi-stage Programming, Part II. GTTSE 2007: 260-290
37		Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha: Concoqtion: indexed types now! PEPM 2007: 112-121
36		Stephan Ellner, Walid Taha: The semantics of graphical languages. PEPM 2007: 122-133
35		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		Jeremy G. Siek, Walid Taha: A Semantic Analysis of C++ Templates. ECOOP 2006: 304-327
33		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		Christian Lengauer, Walid Taha: Preface. Sci. Comput. Program. 62(1): 1-2 (2006)
	2005
31		Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha: Implicitly Heterogeneous Multi-stage Programming. GPCE 2005: 275-292
	2004
30		Oleg Kiselyov, Kedar N. Swadi, Walid Taha: A methodology for generating verified combinatorial circuits. EMSOFT 2004: 249-258
29		Cristiano Calcagno, Eugenio Moggi, Walid Taha: ML-Like Inference for Classifiers. ESOP 2004: 79-93
28		Walid Taha: Resource-Aware Programming. ICESS 2004: 38-43
27		Oleg Kiselyov, Walid Taha: Relating FFTW and Split-Radix. ICESS 2004: 488-493
26		Miguel Guerrero, Edward Pizzi, Robert Rosenbaum, Kedar N. Swadi, Walid Taha: Implementing DSLs in metaOCaml. OOPSLA Companion 2004: 41-42
	2003
25		Walid Taha: A Gentle Introduction to Multi-stage Programming. Domain-Specific Program Generation 2003: 30-50
24		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		Walid Taha, Stephan Ellner, Hongwei Xi: Generating Heap-Bounded Programs in a Functional Setting. EMSOFT 2003: 340-355
22		Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy: Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection. GPCE 2003: 57-76
21		Walid Taha, Patricia Johann: Staged Notational Definitions. GPCE 2003: 97-116
20		Walid Taha, Michael Florentin Nielsen: Environment classifiers. POPL 2003: 26-37
19		Walid Taha: Semantics, Applications, and Implementation of Program Generation. J. Funct. Program. 13(3): 453-454 (2003)
18		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		Emir Pasalic, Walid Taha, Tim Sheard: Tagless staged interpreters for typed languages. ICFP 2002: 218-229
15		Zhanyong Wan, Walid Taha, Paul Hudak: Event-Driven FRP. PADL 2002: 155-172
14		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		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		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		Cristiano Calcagno, Eugenio Moggi, Walid Taha: Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming. ICALP 2000: 25-36
6		Walid Taha: A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract). PEPM 2000: 34-43
5		Walid Taha, Tim Sheard: MetaML and multi-stage programming with explicit annotations. Theor. Comput. Sci. 248(1-2): 211-242 (2000)
	1999
4		Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard: An Idealized MetaML: Simpler, and More Expressive. ESOP 1999: 193-207
	1998
3		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		Walid Taha, Tim Sheard: Multi-Stage Programming with Explicit Annotations. PEPM 1997: 203-217

Coauthor Index

1	Tamer Abdelatif	[48]
2	Don S. Batory	[17]
3	Zine-El-Abidine Benaissa	[3] [4]
4	Cristiano Calcagno	[7] [22] [29]
5	Robert Cartwright	[44]
6	Tianzhou Chen	[46]
7	Charles Consel	[17]
8	Krzysztof Czarnecki	[24]
9	Jason Eckhardt	[31] [35]
10	Stephan Ellner	[23] [36]
11	Seth Fogarty	[37]
12	Steven E. Ganz	[10]
13	Ronald Garcia	[45]
14	Verónica Gaspes	[49]
15	Jennifer Gillenwater	[41] [47]
16	Jim Grundy	[41] [42] [47]
17	Miguel Guerrero	[26]
18	Liwen Huang	[22]
19	Paul Hudak	[11] [12] [15]
20	John Hughes	[9]
21	Jun Inoue	[43] [48]
22	Patricia Johann	[21]
23	Roumen Kaiabachev	[31] [35] [39]
24	Oleg Kiselyov	[27] [30] [33]
25	Christian Lengauer	[32]
26	Xavier Leroy	[22]
27	Henning Makholm	[9]
28	Gregory Malecha (J. Gregory Malecha)	[41] [42] [47]
29	Matthieu Martel	[44]
30	Eugenio Moggi	[4] [7] [29]
31	Michael Florentin Nielsen	[20]
32	John T. O'Donnell	[24]
33	John O'Leary	[41] [42] [47]
34	Marcia K. O'Malley	[43]
35	Karol Ostrovsky	[14]
36	Rex Page	[49]
37	Emir Pasalic	[16] [31] [33] [35] [37]
38	Marisa Linnea Peralta	[43]
39	Edward Pizzi	[26]
40	Dane Powell	[43]
41	K. V. S. Prasad	[14]
42	Mathias Ricken	[48]
43	Robert Rosenbaum	[26]
44	Amr Sabry	[10]
45	Cherif Salama	[41] [42] [47]
46	Dimitrios N. Serpanos	[46]
47	Tim Sheard	[1] [2] [3] [4] [5] [16]
48	Jeremy G. Siek	[34] [37] [40] [44] [45]
49	Jörg Striegnitz	[24]
50	Kedar N. Swadi	[26] [30] [31] [33] [35]
51	Zhanyong Wan	[11] [12] [15]
52	Edwin Westbrook	[48]
53	Hongwei Xi	[23]
54	Yilong Yao	[48]
55	Angela Yun Zhu	[39] [41] [43] [44] [47]

Colors in the list of coauthors

Last update Sun Feb 12 22:50:56 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page