o Mathematical Equations as Executable Models. Under review. pdf.


o In pursuit of real answers. ICESS'09. pdf.

o Implementing haptic feedback environments from high-level descriptions. SHOES'09. pdf.

o Exploring the design space of higher-order casts. ESOP'09. pdf.

o Static consistency checking for Verilog wire interconnects. PEPM'09. pdf.

o Synthesizable high level hardware descriptions. PEPM'08. pdf.

o Domain-Specific Languages (Invited Paper). ICCES'08. pdf.

o E-FRP with Priorities. EMSOFT'07. pdf.

o A Gentle Introduction to Multi-stage Programming, Part II. GTTSE'07. pdf.

o Gradual typing for objects. ECOOP'07. pdf.

o Concoqtion: Indexed types now!. PEPM'07. pdf.

oThe semantics of graphical languages. PEPM'07. pdf. (Supercedes April 13, 2005. pdf.)

o Gradual Typing for Functional Languages. Scheme Workshop '06. pdf.

o A Semantic Analysis of C++ Templates . ECOOP'06. pdf.

o A Monadic Approach for Avoiding Code Duplication. PEPM'06. dvi, ps, pdf. (Supercedes April 13, 2005. dvi, ps, pdf.)

o Implicitly Heterogeneous Multi-Stage Programming. GPCE'05. dvi, ps, pdf. NGC'07. pdf. Extended version dvi, ps, pdf.

o A New Approach to Data Mining for Software Design. CSITeA'04. dvi, ps, pdf.

o Resource-Aware Programming (Invited Paper). ICESS'04. dvi, ps, pdf.

o Relating FFTW and Split-Radix. ICESS'04. dvi, ps, pdf.

o A Methodology for Generating Verified Combinatorial Circuits. EMSOFT'04. dvi, ps, pdf.

o DSL Implementation in MetaOCaml, Template Haskell, and C++. DSPG'04. dvi, ps, pdf.

o A Gentle Introduction to Multi-stage Programming. DSPG'04. dvi, ps, pdf.

o ML-like Inference for Classifiers. ESOP'04. dvi, ps, pdf.

o Generating Heap-Bounded Programs in a Functional Setting. EMSOFT'03. dvi, ps, pdf.

o Staged Notational Definitions. GPCE'2003. dvi, ps, pdf.

o Implementing Multi-stage Languages using ASTs, gensym, and reflection. GPCE'03. dvi, ps, pdf.

o Environment Classifiers. POPL'03. dvi, ps, pdf.

o Tagless Staged Interpreters for Typed Languages. ICFP'02. dvi, ps, pdf.

o Towards a Primitive Higher Order Calculus of Broadcasting Systems. PPDP'02. dvi, ps, pdf. (Supercedes ps, pdf and longer version dvi, ps, pdf.)

o Event-driven FRP. PADL'02. dvi, ps, pdf.

o Functional Programming for Real Applications (Invited Paper). ES'01. dvi, ps, pdf.

o Real-Time FRP. ICFP'01. dvi, ps, pdf.

o Macros as Multi-Stage Computations. ICFP'01. dvi, ps, pdf. (Revising Mar 15, 2001 dvi, ps, pdf.)

o Tag Elimination and Jones-Optimality (Preliminary Report).  PADO-II.  dvi, ps, pdf.  (Revising:  Jan 24, 2001 short dvi, ps, pdf, and long dvi, ps, pdf.)

o Tag Elimination - or - Type Specialisation is a Type-Indexed Effect. DTP'00. dvi, ps, pdf. (Revising: Jan 24, 2000 ps, pdf.)

o Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming. ICALP'00. dvi, ps, pdf (Revision of: dvi, ps, pdf

o Sound Reductions for Untyped CBN MetaML. PEPM'00 dvi, ps, pdf TR dvi, ps, pdf.

o Logical Modalities and Multi-Stage Programming, IMLA'99. dvi, ps, pdf.

o Idealized MetaML: Simpler, and More Expressive, ESOP'99. ps, pdf.

o The Anatomy of a Component Generation System, PSE'98. ps, pdf.

o Multi-Stage Programming: Axiomatization and Type-Safety, ICALP'98. ps, pdf.

o How to add laziness to a strict language, SML'98. dvi, ps, pdf

o Multi-Stage Programming with Explicit Annotations, PEPM'97. ps, pdf. TCS'00 ps, pdf.


o Multi-stage Programming:  Its Theory and Applications.  PhD dissertation. pdf


The online bibliographies CCSB, DBLP, ResearchIndex provide useful tools.