BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
1 × Italy
1 × Portugal
1 × Spain
1 × Switzerland
1 × United Kingdom
2 × Estonia
2 × France
2 × Germany
3 × The Netherlands
8 × USA
Collaborated with:
T.Sheard J.G.Siek E.Pasalic ∅ E.Moggi C.Calcagno J.Inoue Z.Wan P.Hudak Z.Benaissa S.Ellner P.Johann M.F.Nielsen K.N.Swadi C.Salama G.Malecha J.Grundy J.O'Leary R.Garcia K.Ostrovsky K.V.S.Prasad S.E.Ganz A.Sabry S.Fogarty O.Kiselyov L.Huang X.Leroy J.Eckhardt R.Kaiabachev E.M.Westbrook M.Ricken Y.Yao T.Abdelatif J.Gillenwater A.Y.Zhu
Talks about:
stage (14) multi (11) program (8) type (8) languag (4) use (4) ml (4) verilog (3) semant (3) macro (3)

♂ Person: Walid Taha

DBLP DBLP: Taha:Walid

Facilitated 7 volumes:

GTTSE 2011SciCo
LDTA 2009PrCo
SLE 2009PrCo
SLE 2008PrCo
GPCE 2002Ed
SAIG 2001Ed
SAIG 2000Ed

Contributed to:

ESOP 20122012
PLDI 20102010
ESOP 20092009
PEPM 20092009
PEPM 20082008
ECOOP 20072007
GTTSE 20072007
PEPM 20072007
ECOOP 20062006
PEPM 20062006
GPCE 20052005
ESOP 20042004
GPCE 20032003
POPL 20032003
ICFP 20022002
PADL 20022002
PPDP 20022002
ICFP 20012001
ICALP 20002000
PEPM 20002000
ESOP 19991999
ICALP 19981998
ICFP 19971997
PEPM 19971997

Wrote 27 papers:

ESOP-2012-InoueT #multi #reasoning #source code
Reasoning about Multi-stage Programs (JI, WT), pp. 357–376.
PLDI-2010-WestbrookRIYAT #java #multi #named #programming #using
Mint: Java multi-stage programming using weak separability (EMW, MR, JI, YY, TA, WT), pp. 400–411.
ESOP-2009-SiekGT #design #higher-order
Exploring the Design Space of Higher-Order Casts (JGS, RG, WT), pp. 17–31.
PEPM-2009-SalamaMTGO #consistency #dependent type #using
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions (CS, GM, WT, JG, JO), pp. 121–130.
PEPM-2008-GillenwaterMSZTGO #hardware #static typing #using
Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability (JG, GM, CS, AYZ, WT, JG, JO), pp. 41–50.
ECOOP-2007-SiekT #type system
Gradual Typing for Objects (JGS, WT), pp. 2–27.
GTTSE-2007-Taha #multi #programming
A Gentle Introduction to Multi-stage Programming, Part II (WT), pp. 260–290.
PEPM-2007-EllnerT #semantics #visual notation
The semantics of graphical languages (SE, WT), pp. 122–133.
PEPM-2007-FogartyPST #exclamation #named
Concoqtion: indexed types now! (SF, EP, JGS, WT), pp. 112–121.
ECOOP-2006-SiekT #analysis #c++ #semantics
A Semantic Analysis of C++ Templates (JGS, WT), pp. 304–327.
PEPM-2006-SwadiTKP #approach #monad #staging
A monadic approach for avoiding code duplication when staging memoized functions (KNS, WT, OK, EP), pp. 160–169.
GPCE-2005-EckhardtKPST #multi #programming
Implicitly Heterogeneous Multi-stage Programming (JE, RK, EP, KNS, WT), pp. 275–292.
ESOP-2004-CalcagnoMT #classification
ML-Like Inference for Classifiers (CC, EM, WT), pp. 79–93.
GPCE-2003-CalcagnoTHL #abstract syntax tree #implementation #multi #using
Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection (CC, WT, LH, XL), pp. 57–76.
GPCE-2003-TahaJ #staged
Staged Notational Definitions (WT, PJ), pp. 97–116.
POPL-2003-TahaN #classification
Environment classifiers (WT, MFN), pp. 26–37.
ICFP-2002-PasalicTS #staged
Tagless staged interpreters for typed languages (EP, WT, TS), pp. 218–229.
PADL-2002-WanTH
Event-Driven FRP (ZW, WT, PH), pp. 155–172.
PPDP-2002-OstrovskyPT #calculus #higher-order #towards
Towards a primitive higher order calculus of broadcasting systems (KO, KVSP, WT), pp. 2–13.
ICFP-2001-GanzST #generative #metaprogramming #multi #type safety
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML (SEG, AS, WT), pp. 74–85.
ICFP-2001-WanTH #realtime
Real-Time FRP (ZW, WT, PH), pp. 146–156.
ICALP-2000-CalcagnoMT #approach #imperative #multi #programming
Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming (CC, EM, WT), pp. 25–36.
PEPM-2000-Taha #formal method #ml #multi #reduction #semantics
A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (WT), pp. 34–43.
ESOP-1999-MoggiTBS #ml
An Idealized MetaML: Simpler, and More Expressive (EM, WT, ZEAB, TS), pp. 193–207.
ICALP-1998-TahaBS #axiom #multi #programming #type safety
Multi-Stage Programming: Axiomatization and Type Safety (WT, ZEAB, TS), pp. 918–929.
ICFP-1997-TahaS #multi #programming
Multi-Stage Programming (WT, TS), p. 321.
PEPM-1997-TahaS #multi #programming
Multi-Stage Programming with Explicit Annotations (WT, TS), pp. 203–217.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.