Publications

o A First Course on Cyber Physical Systems, CPS-Ed, pdf.
o Modeling Basic Aspects of Cyber-Physical Systems, DSLRob'12, pdf.
o Reasoning about Multi-Stage Programs.  ESOP'12  pdf.
o Virtual Testing for Smart Buildings.  IE'12  pdf.
o A Core Language for Executable Models of Cyber Physical Systems (Preliminary Report).  CPNS'12  pdf.
o Release Offset Bounds for Response Time Analysis of P-FRP.  ICESS'11  pdf.
o Accurate Programming (Tutorial Notes).  DSL, 2011.  pdf.
o The Trouble with Real Numbers (Invited Paper).  WS4C, 2011.  pdf.
o Static Consistency Checking for Verilog Wire Interconnects.  HOSC, 2011.  pdf.
o Implicitly Heterogeneous Multi-Stage Programming for FPGAs.  JCIS, 2011.  pdf.
o A Core Language for Executable Models of Cyber Physical Systems (WIP).  ICCPS'11 WIP.  pdf.
o Synthesizable High-Level Hardware Descriptions.  NGC, 2010.  pdf.
o Mint: Java Multi-stage Programming Using Weak Separability.  PLDI'10.  pdf. 
o Globally Parallel, Locally Sequential.  POOSC'10.  pdf.
o Multi-Stage Programming for High-Level Description of Circuit Families.  CISP'10.  pdf.
o Preliminary Results in Virtual Testing for Smart Buildings (Poster).  MOBIQUITOUS'10.  pdf.
o Mathematical Equations as Executable Models. ICCPS'10.  pdf.  (draft: 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 Time Analysis of the Priority based FRP System.  RTAS'08 WIP Session  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.


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

The online bibliographies CCSB and DBLP provide useful tools.

Subscribe to: Posts (Atom)