Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment. ICESS'15, pdf.
Picard Method for Enclosing ODEs with Uncertain Initial Values. CCA'14, pdf.
Function Interval Arithmetic. ICMS'14, pdf.
Conformance Testing of Cyber-Physical Systems: A Comparative Study. AVOCS'14, pdf.
Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract). ICESS'14, pdf.
DSLs Should be Online Applications. ICEE'14, pdf.
Increasing Verilog’s Generative Power. DUHDE'14, pdf.
A Case Study on Design-Time Verification of Automatic Emergency Breaking. FISITA'14, pdf.
Modeling Basic Aspects of Cyber-Physical Systems, Part II.  DSLRob'13, pdf.
Some Challenges for Model-Based Simulation.  AVICPS'13 pdf.
Experiences with A First Course on Cyber-Physical Systems.  WESE'13 pdf.
o Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point.  CPSNA'13 pdf.
o A First Course on Cyber Physical Systems.  CPS-Ed'13, pdf.
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.
Mint: Java Multi-stage Programming Using Weak Separability.  PLDI'10.  pdf. 
o Globally Parallel, Locally Sequential.  POOSC'10.  pdf.
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.

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

The online bibliographies CCSB and DBLP provide useful tools.