Walid Taha - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2010

Agile and Efficient Domain-Specific Languages using Multi-Stage Programming in Java MintMathias Ricken, Edwin Westbrook, Walid Taha. 2010:

Mint: Java multi-stage programming using weak separabilityEdwin Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha. PLDI 2010: 400-411 [doi]

2009

2008

Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizabilityJennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O Leary. PEPM 2008: 41-50 [doi]

2007

2006

PrefaceChristian Lengauer, Walid Taha. SCP, 62(1):1-2, 2006. [doi]

A Semantic Analysis of C++ TemplatesJeremy G. Siek, Walid Taha. ECOOP 2006: 304-327 [doi]

A monadic approach for avoiding code duplication when staging memoized functionsKedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic. PEPM 2006: 160-169 [doi]

2005

Implicitly Heterogeneous Multi-stage ProgrammingJason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha. GPCE 2005: 275-292 [doi]

2004

2003

Implementing multi-stage languages using ASTs, Gensym, and reflectionCalcagno, Cristiano, Walid Taha, Huang, Liwen, Xavier Leroy. In GPCE '03: Proceedings of the 2nd international conference on Generative programming and component engineering. 2003:

Implementing Multi-stage Languages Using ASTs, Gensym, and ReflectionCristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy. GPCE 2003: 57-76 [doi]

DSL Implementation in MetaOCaml, Template Haskell, and C++Krzysztof Czarnecki, John T. O Donnell, Jörg Striegnitz, Walid Taha. dagstuhl 2004: 51-72 [doi]

Staged Notational DefinitionsWalid Taha, Patricia Johann. GPCE 2003: 97-116 [doi]

Generating Heap-Bounded Programs in a Functional SettingWalid Taha, Stephan Ellner, Hongwei Xi. emsoft 2003: 340-355 [doi]

Semantics, Applications, and Implementation of Program GenerationWalid Taha. JFP, 13(3):453-454, 2003. [doi]

Essentials of Programming Languages (2nd ed) by Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes, MIT Press, ISBN 0-262-06217-8, 2001Walid Taha. JFP, 13(4):829-831, 2003. [doi]

A Gentle Introduction to Multi-stage ProgrammingWalid Taha. dagstuhl 2004: 30-50 [doi]

Environment classifiersWalid Taha, Michael Florentin Nielsen. POPL 2003: 26-37 [doi]

2002

Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, ProceedingsDon S. Batory, Charles Consel, Walid Taha, editors, Volume 2487 of Lecture Notes in Computer Science, Springer, 2002.

Towards a primitive higher order calculus of broadcasting systemsKarol Ostrovsky, K. V. S. Prasad, Walid Taha. ppdp 2002: 2-13 [doi]

Tagless staged interpreters for typed languagesEmir Pasalic, Walid Taha, Tim Sheard. ICFP 2002: 218-229 [doi]

Event-Driven FRPZhanyong Wan, Walid Taha, Paul Hudak. padl 2002: 155-172 [doi]

2001

Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroMLSteven E. Ganz, Amr Sabry, Walid Taha. ICFP 2001: 74-85

Tag Elimination and Jones-OptimalityWalid Taha, Henning Makholm, John Hughes. pado 2001: 257-275 [doi]

Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, ProceedingsWalid Taha, editor, Volume 2196 of Lecture Notes in Computer Science, Springer, 2001.

Directions in Functional Programming for Real(-Time) ApplicationsWalid Taha, Paul Hudak, Zhanyong Wan. emsoft 2001: 185-203 [doi]

Real-Time FRPZhanyong Wan, Walid Taha, Paul Hudak. ICFP 2001: 146-156

2000

Closed Types as a Simple Approach to Safe Imperative Multi-stage ProgrammingCristiano Calcagno, Eugenio Moggi, Walid Taha. icalp 2000: 25-36 [doi]

A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trival (Extended Abstract)Walid Taha. PEPM 2000: 34-43 [doi]

Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, ProceedingsWalid Taha, editor, Volume 1924 of Lecture Notes in Computer Science, Springer, 2000.

MetaML and multi-stage programming with explicit annotationsWalid Taha, Tim Sheard. TCS, 248(1-2):211-242, 2000. [doi]

1999

An Idealized MetaML: Simpler, and More ExpressiveEugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard. ESOP 1999: 193-207 [doi]

1998

Multi-Stage Programming: Axiomatization and Type SafetyWalid Taha, Zine-El-Abidine Benaissa, Tim Sheard. icalp 1998: 918-929 [doi]

1997

Multi-Stage Programming with Explicit AnnotationsWalid Taha, Tim Sheard. PEPM 1997: 203-217 [doi]

Multi-Stage ProgrammingWalid Taha, Tim Sheard. ICFP 1997: 321