Multi-Stage Programming. - Walid Taha; Tim Sheard (ICFP, 1997)

Multi-Stage Programming with Explicit Annotations. - Walid Taha; Tim Sheard (PEPM, 1997)

Multi-Stage Programming: Axiomatization and Type Safety. - Walid Taha; Zine-El-Abidine Benaissa; Tim Sheard (ICALP, 1998)

An Idealized MetaML: Simpler, and More Expressive. - Eugenio Moggi; Walid Taha; Zine-El-Abidine Benaissa; Tim Sheard (ESOP, 1999)

Multi-Stage Programming: Its Theory and Applications. - Walid Taha (1999)

Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming. - Cristiano Calcagno; Eugenio Moggi; Walid Taha (ICALP, 2000)

A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract). - Walid Taha (PEPM, 2000)

MetaML and multi-stage programming with explicit annotations. - Walid Taha; Tim Sheard (Theor. Comput. Sci., 2000)

Directions in Functional Programming for Real(-Time) Applications. - Walid Taha; Paul Hudak; Zhanyong Wan (EMSOFT, 2001)

Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML. - Steven E. Ganz; Amr Sabry; Walid Taha (ICFP, 2001)

Real-Time FRP. - Zhanyong Wan; Walid Taha; Paul Hudak (ICFP, 2001)

Tag Elimination and Jones-Optimality. - Walid Taha; Henning Makholm; John Hughes 001 (PADO, 2001)

Tagless staged interpreters for typed languages. - Emir Pasalic; Walid Taha; Tim Sheard (ICFP, 2002)

Event-Driven FRP. - Zhanyong Wan; Walid Taha; Paul Hudak (PADL, 2002)

Towards a primitive higher order calculus of broadcasting systems. - Karol Ostrovsky; K. V. S. Prasad; Walid Taha (PPDP, 2002)

DSL Implementation in MetaOCaml, Template Haskell, and C++. - Krzysztof Czarnecki 001; John T. O'Donnell; Jörg Striegnitz; Walid Taha (Domain-Specific Program Generation, 2003)

A Gentle Introduction to Multi-stage Programming. - Walid Taha (Domain-Specific Program Generation, 2003)

Generating Heap-Bounded Programs in a Functional Setting. - Walid Taha; Stephan Ellner; Hongwei Xi 001 (EMSOFT, 2003)

Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection. - Cristiano Calcagno; Walid Taha; Liwen Huang; Xavier Leroy (GPCE, 2003)

Staged Notational Definitions. - Walid Taha; Patricia Johann (GPCE, 2003)

Environment classifiers. - Walid Taha; Michael Florentin Nielsen (POPL, 2003)

Semantics, Applications, and Implementation of Program Generation. - Walid Taha (J. Funct. Program., 2003)

"Essentials of Programming Languages" (2nd ed) by Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes, MIT Press, ISBN 0-262-06217-8, 2001. - Walid Taha (J. Funct. Program., 2003)

A methodology for generating verified combinatorial circuits. - Oleg Kiselyov; Kedar N. Swadi; Walid Taha (EMSOFT, 2004)

ML-Like Inference for Classifiers. - Cristiano Calcagno; Eugenio Moggi; Walid Taha (ESOP, 2004)

Relating FFTW and Split-Radix. - Oleg Kiselyov; Walid Taha (ICESS, 2004)

Resource-Aware Programming. - Walid Taha (ICESS, 2004)

Implementing DSLs in metaOCaml. - Miguel Guerrero; Edward Pizzi; Robert Rosenbaum; Kedar N. Swadi; Walid Taha (OOPSLA Companion, 2004)

A Semantic Analysis of C++ Templates. - Jeremy G. Siek; Walid Taha (ECOOP, 2006)

A monadic approach for avoiding code duplication when staging memoized functions. - Kedar N. Swadi; Walid Taha; Oleg Kiselyov; Emir Pasalic (PEPM, 2006)

Preface. - Christian Lengauer; Walid Taha (Sci. Comput. Program., 2006)

Gradual Typing for Objects. - Jeremy G. Siek; Walid Taha (ECOOP, 2007)

E-FRP with priorities. - Roumen Kaiabachev; Walid Taha; Angela Yun Zhu (EMSOFT, 2007)

A Gentle Introduction to Multi-stage Programming, Part II. - Walid Taha (GTTSE, 2007)

The semantics of graphical languages. - Stephan Ellner; Walid Taha (PEPM, 2007)

Concoqtion: indexed types now! - Seth Fogarty; Emir Pasalic; Jeremy G. Siek; Walid Taha (PEPM, 2007)

Implicitly Heterogeneous Multi-Stage Programming. - Jason Eckhardt; Roumen Kaiabachev; Emir Pasalic; Kedar N. Swadi; Walid Taha (New Gener. Comput., 2007)

Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. - Jennifer Gillenwater; Gregory Malecha; Cherif R. Salama; Angela Yun Zhu; Walid Taha; Jim Grundy; John O'Leary (PEPM, 2008)

Exploring the Design Space of Higher-Order Casts. - Jeremy G. Siek; Ronald Garcia; Walid Taha (ESOP, 2009)

Implementing Haptic Feedback Environments from High-Level Descriptions. - Angela Yun Zhu; Jun Inoue 001; Marisa Linnea Peralta; Walid Taha; Marcia K. O'Malley; Dane Powell (ICESS, 2009)

In Pursuit of Real Answers. - Angela Yun Zhu; Walid Taha; Robert Cartwright; Matthieu Martel; Jeremy G. Siek (ICESS, 2009)

Mathematical equations as executable models of mechanical systems. - Angela Yun Zhu; Edwin M. Westbrook; Jun Inoue 001; Alexandre Chapoutot; Cherif R. Salama; Marisa Linnea Peralta; Travis Martin; Walid Taha; Marcia K. O'Malley; Robert Cartwright; Aaron D. Ames; Raktim Bhattacharya (ICCPS, 2010)

Preliminary Results in Virtual Testing for Smart Buildings. - Julien Bruneau 001; Charles Consel; Marcia K. O'Malley; Walid Taha; Wail Masry Hannourah (MobiQuitous, 2010)

Mint: Java multi-stage programming using weak separability. - Edwin M. Westbrook; Mathias Ricken; Jun Inoue 001; Yilong Yao; Tamer Abdelatif; Walid Taha (PLDI, 2010)

Synthesizable High Level Hardware Descriptions. - Jennifer Gillenwater; Gregory Malecha; Cherif R. Salama; Angela Yun Zhu; Walid Taha; Jim Grundy; John O'Leary (New Gener. Comput., 2010)

The trouble with real numbers (Invited paper). - Walid Taha; Robert Cartwright (GI-Jahrestagung, 2011)

Release Offset Bounds for Response Time Analysis of P-FRP Using Exhaustive Enumeration. - Chaitanya Belwal; Albert M. K. Cheng; Walid Taha (TrustCom, 2011)

Accurate Programming: Thinking about programs in terms of properties - Walid Taha; Verónica Gaspes; Rex L. Page (DSL, 2011)

Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions. - Cherif R. Salama; Gregory Malecha; Walid Taha; Jim Grundy; John O'Leary (High. Order Symb. Comput., 2011)

A core language for executable models of cyber physical systems: work in progress report. - Walid Taha; Paul Brauner; Robert Cartwright; Verónica Gaspes; Aaron D. Ames; Alexandre Chapoutot (SIGBED Rev., 2011)

A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). - Walid Taha; Paul Brauner; Yingfu Zeng; Robert Cartwright; Verónica Gaspes; Aaron D. Ames; Alexandre Chapoutot (ICDCS Workshops, 2012)

Virtual Testing for Smart Buildings. - Julien Bruneau 001; Charles Consel; Marcia K. O'Malley; Walid Taha; Wail Masry Hannourah (Intelligent Environments, 2012)

Enclosing the behavior of a hybrid system up to and beyond a Zeno point. - Michal Konecný; Walid Taha; Jan Duracz; Adam Duracz; Aaron D. Ames (CPSNA, 2013)

Invited Talk: Enclosing Hybrid Behavior. - Walid Taha (EOOLT, 2013)

Modeling Basic Aspects of Cyber-Physical Systems - Walid Taha; Roland Philippsen (CoRR, 2013)

Developing A First Course on Cyber-Physical Systems. - Walid Taha; Robert Cartwright; Roland Philippsen; Yingfu Zeng (WESE, 2014)

Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract). - Yingfu Zeng; Chad G. Rose; Paul Brauner; Walid Taha; Jawad Masood; Roland Philippsen; Marcia Kilchenman O'Malley; Robert Cartwright (HPCC/CSS/ICESS, 2014)

Function Interval Arithmetic. - Jan Duracz; Amin Farjudian; Michal Konecný; Walid Taha (ICMS, 2014)

Modeling Basic Aspects of Cyber-Physical Systems, Part II. - Yingfu Zeng; Chad G. Rose; Paul Brauner; Walid Taha; Jawad Masood; Roland Philippsen; Marcia K. O'Malley; Robert Cartwright (CoRR, 2014)

Conformance Testing of Cyber-Physical Systems: A Comparative Study. - Morteza Mohaqeqi; Mohammad Reza Mousavi 001; Walid Taha (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment. - Adam Duracz; Henrik Eriksson; Ferenc A. Bartha; Fei Xu; Yingfu Zeng; Walid Taha (HPCC/CSS/ICESS, 2015)

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. - Walid Taha; Adam Duracz; Yingfu Zeng; Kevin Atkinson; Ferenc A. Bartha; Paul Brauner; Jan Duracz; Fei Xu; Robert Cartwright; Michal Konecný; Eugenio Moggi; Jawad Masood; et al. (IoT 360 (1), 2015)

Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14). - Daisuke Ishii; Kohei Suenaga; Walid Taha (NII Shonan Meet. Rep., 2015)

Chattering-Free Simulation for Hybrid Dynamical Systems Semantics and Prototype Implementation. - Ayman Aljarbouh; Yingfu Zeng; Adam Duracz; Benoît Caillaud; Walid Taha (CSE/EUC/DCABES, 2016)

Flipping a first course on cyber-physical systems: an experience report. - Walid Taha; Lars-Göran Hedstrom; Fei Xu; Adam Duracz; Ferenc A. Bartha; Yingfu Zeng; Jennifer David; Gaurav Gunjan (WESE, 2016)

Reasoning about multi-stage programs. - Jun Inoue 001; Walid Taha (J. Funct. Program., 2016)

Developing a first course on cyber-physical systems. - Walid Taha; Yingfu Zeng; Adam Duracz; Fei Xu; Kevin Atkinson; Paul Brauner; Robert Cartwright; Roland Philippsen (SIGBED Rev., 2016)

Compile-Time Extensions to Hybrid ODEs. - Yingfu Zeng; Ferenc A. Bartha; Walid Taha (SNR@ETAPS, 2017)

A Semantic Account of Rigorous Simulation. - Adam Duracz; Eugenio Moggi; Walid Taha; Zhenchao Lin (Principles of Modeling, 2018)

MicroITS: A Scaled-Down ITS Platform. - Judicaël Marchand; Gaël Puissochet; Thomas Lithén; Walid Taha (CyPhy/WESE, 2018)

Safe & robust reachability analysis of hybrid systems. - Eugenio Moggi; Amin Farjudian; Adam Duracz; Walid Taha (Theor. Comput. Sci., 2018)

System Analysis and Robustness. - Eugenio Moggi; Amin Farjudian; Walid Taha (ICTCS, 2019)

Sound Over-Approximation of Probabilities. - Eugenio Moggi; Walid Taha; Johan Thunberg (Acta Cybern., 2020)

Cyber-Physical Systems: A Model-Based Approach - Walid Mohamed Taha; Abd-Elhamid M. Taha; Johan Thunberg (Springer, 2021)

Intelligent Techniques and Hybrid Systems Experiments Using the Acumen Modeling and Simulation Environment. - Sotirios Tzamaras; Stavros P. Adam; Walid Taha (AIAI, 2021)

Practical Intent-driven Routing Configuration Synthesis. - Sivaramakrishnan Ramanathan; Ying Zhang 022; Mohab Gawish; Yogesh Mundada; Zhaodong Wang; Sangki Yun; Eric Lippert; Walid Taha; Minlan Yu; Jelena Mirkovic (NSDI, 2023)

Pre-deployment Analysis of Smart Contracts - A Survey. - Sundas Munir; Walid Taha (CoRR, 2023)

Statically Checking Transaction Ordering Dependency in Ethereum Smart Contracts. - Sundas Munir; Walid Taha (BSCI, 2024)

Static Detection of Missing Validations in Solidity Smart Contracts. - Sundas Munir; Walid Taha; Mirza Sanam Iqbal Baig (CSR, 2024)