o Flipping a First Course on Cyber-Physical Systems, WESE'16, pdf.
o Chattering-Free Simulation for Hybrid Dynamical Systems. EUC'16, pdf.
o Modeling Electromechanical Aspects of Cyber-Physical Systems. JOSER'16, pdf.
o Accurate Rigorous Simulation Should be Possible for Good Designs. SNR'16, pdf.
o Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point. NAHS'16, pdf.
o Acumen: An Open-source Testbed for Cyber-Physical Systems Research. CYCLONE'15, pdf.
o Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment. ICESS'15, pdf.
o Developing a First Course on Cyber-Physical Systems WESE'14, pdf.
o Picard Method for Enclosing ODEs with Uncertain Initial Values. CCA'14, pdf.
o Function Interval Arithmetic. ICMS'14, pdf.
o Conformance Testing of Cyber-Physical Systems: A Comparative Study. AVOCS'14, pdf.
o Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract). ICESS'14, pdf.
o DSLs Should be Online Applications. ICEE'14, pdf.
o Increasing Verilog’s Generative Power. DUHDE'14, pdf.
o A Case Study on Design-Time Verification of Automatic Emergency Breaking. FISITA'14, pdf.
o Modeling Basic Aspects of Cyber-Physical Systems, Part II. DSLRob'13, pdf.
o Some Challenges for Model-Based Simulation. AVICPS'13 pdf.
o 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.
o Modeling Basic Aspects of Cyber-Physical Systems. DSLRob'12, pdf.
o Chattering-Free Simulation for Hybrid Dynamical Systems. EUC'16, pdf.
o Modeling Electromechanical Aspects of Cyber-Physical Systems. JOSER'16, pdf.
o Accurate Rigorous Simulation Should be Possible for Good Designs. SNR'16, pdf.
o Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point. NAHS'16, pdf.
o Acumen: An Open-source Testbed for Cyber-Physical Systems Research. CYCLONE'15, pdf.
o Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment. ICESS'15, pdf.
o Developing a First Course on Cyber-Physical Systems WESE'14, pdf.
o Picard Method for Enclosing ODEs with Uncertain Initial Values. CCA'14, pdf.
o Function Interval Arithmetic. ICMS'14, pdf.
o Conformance Testing of Cyber-Physical Systems: A Comparative Study. AVOCS'14, pdf.
o Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract). ICESS'14, pdf.
o DSLs Should be Online Applications. ICEE'14, pdf.
o Increasing Verilog’s Generative Power. DUHDE'14, pdf.
o A Case Study on Design-Time Verification of Automatic Emergency Breaking. FISITA'14, pdf.
o Modeling Basic Aspects of Cyber-Physical Systems, Part II. DSLRob'13, pdf.
o Some Challenges for Model-Based Simulation. AVICPS'13 pdf.
o 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.
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 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 Globally Parallel, Locally Sequential. POOSC'10. pdf.
o Preliminary Results in Virtual Testing for Smart Buildings (Poster). MOBIQUITOUS'10. 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 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.
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 Towards a Primitive Higher Order Calculus of Broadcasting Systems. PPDP'02. dvi, ps, pdf. (Supercedes ps, pdf and longer version 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)
Other:
o Multi-stage Programming: Its Theory and Applications. PhD dissertation. pdf
