| 2023 | NSDI | Practical Intent-driven Routing Configuration Synthesis. | Sivaramakrishnan Ramanathan, Ying Zhang, Mohab Gawish, Yogesh Mundada, Zhaodong Wang, Sangki Yun, Eric Lippert, Walid Taha, Minlan Yu, Jelena Mirkovic |
| 2015 | HPCC | 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 |
| 2014 | HPCC | 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 |
| 2012 | ESOP | Reasoning about Multi-stage Programs. | Jun Inoue, Walid Taha |
| 2011 | GI | The trouble with real numbers (Invited paper). | Walid Taha, Robert Cartwright |
| 2011 | TrustCom | Release Offset Bounds for Response Time Analysis of P-FRP Using Exhaustive Enumeration. | Chaitanya Belwal, Albert M. K. Cheng, Walid Taha |
| 2010 | Mobiquitous | Preliminary Results in Virtual Testing for Smart Buildings. | Julien Bruneau, Charles Consel, Marcia K. O'Malley, Walid Taha, Wail Masry Hannourah |
| 2010 | PLDI | Mint: Java multi-stage programming using weak separability. | Edwin M. Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha |
| 2009 | ESOP | Exploring the Design Space of Higher-Order Casts. | Jeremy G. Siek, Ronald Garcia, Walid Taha |
| 2009 | PEPM | 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 |
| 2008 | PEPM | 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 |
| 2007 | ECOOP | Gradual Typing for Objects. | Jeremy G. Siek, Walid Taha |
| 2007 | EMSOFT | E-FRP with priorities. | Roumen Kaiabachev, Walid Taha, Angela Yun Zhu |
| 2007 | PEPM | The semantics of graphical languages. | Stephan Ellner, Walid Taha |
| 2007 | PEPM | Concoqtion: indexed types now! | Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha |
| 2006 | ECOOP | A Semantic Analysis of C++ Templates. | Jeremy G. Siek, Walid Taha |
| 2006 | PEPM | A monadic approach for avoiding code duplication when staging memoized functions. | Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic |
| 2005 | GPCE | Implicitly Heterogeneous Multi-stage Programming. | Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha |
| 2004 | EMSOFT | A methodology for generating verified combinatorial circuits. | Oleg Kiselyov, Kedar N. Swadi, Walid Taha |
| 2004 | ESOP | ML-Like Inference for Classifiers. | Cristiano Calcagno, Eugenio Moggi, Walid Taha |
| 2004 | OOPSLA | Implementing DSLs in metaOCaml. | Miguel Guerrero, Edward Pizzi, Robert Rosenbaum, Kedar N. Swadi, Walid Taha |
| 2003 | EMSOFT | Generating Heap-Bounded Programs in a Functional Setting. | Walid Taha, Stephan Ellner, Hongwei Xi |
| 2003 | GPCE | Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection. | Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy |
| 2003 | GPCE | Staged Notational Definitions. | Walid Taha, Patricia Johann |
| 2003 | POPL | Environment classifiers. | Walid Taha, Michael Florentin Nielsen |
| 2002 | ICFP | Tagless staged interpreters for typed languages. | Emir Pasalic, Walid Taha, Tim Sheard |
| 2002 | PADL | Event-Driven FRP. | Zhanyong Wan, Walid Taha, Paul Hudak |
| 2002 | PPDP | Towards a primitive higher order calculus of broadcasting systems. | Karol Ostrovsky, K. V. S. Prasad, Walid Taha |
| 2001 | EMSOFT | Directions in Functional Programming for Real(-Time) Applications. | Walid Taha, Paul Hudak, Zhanyong Wan |
| 2001 | ICFP | Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML. | Steven E. Ganz, Amr Sabry, Walid Taha |
| 2001 | ICFP | Real-Time FRP. | Zhanyong Wan, Walid Taha, Paul Hudak |
| 2000 | ICALP | Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming. | Cristiano Calcagno, Eugenio Moggi, Walid Taha |
| 2000 | PEPM | A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract). | Walid Taha |
| 1999 | ESOP | An Idealized MetaML: Simpler, and More Expressive. | Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard |
| 1998 | ICALP | Multi-Stage Programming: Axiomatization and Type Safety. | Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard |
| 1997 | ICFP | Multi-Stage Programming. | Walid Taha, Tim Sheard |
| 1997 | PEPM | Multi-Stage Programming with Explicit Annotations. | Walid Taha, Tim Sheard |