Personal home page: http://www.effective-modeling.org/p/walid-taha.html
Journal publications registered in DiVA
Walid Taha, Cherif Salama, Gregory Malecha, Jim Grundy, John O'Leary (2011). Static Consistency Checking for Verilog Wire Interconnects.
Fulong Chen, Rajat Goyal, Edwin Westbrook, Walid Taha (2011). Implicitly Heterogeneous Multi-Stage Programming for FPGAs. Journal of Computational Information Systems. 6(14), pp. 4915-4922
Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O’Leary (2010). Synthesizable High Level Hardware Descriptions. New generation computing. 28(4), pp. 339-369
Walid Taha, Tim Sheard (2000). MetaML and multi-stage programming with explicit annotations. Theoretical Computer Science. 248(1-2), pp. 211-242
Conference publications registered in DiVA
Dominykas Barisas, Adam Duracz, Walid Taha (2014). DSLs Should be Online Applications. 2014 Joint International Conference on Engineering Education & International Conference on Information Technology, 2-6 June 2014, Riga, Latvia.
Yingfu Zeng, Chad Rose, Paul Brauner, Walid Taha, Jawad Masood, Roland Philippsen, Marcia O’Malley, Robert Cartwright (2013). Modeling Basic Aspects of Cyber-Physical Systems, Part II. 4th International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob-13).
Walid Taha, Robert Cartwright, Roland Philippsen, Yingfu Zeng (2013). A First Course on Cyber Physical Systems. 2013 Workshop on Embedded and Cyber-Physical Systems Education (WESE), Montreal, Canada, October 3, 2013.
Michal Konecny, Walid Taha, Jan Duracz, Adam Duracz, Aaron Ames (2013). Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point. The 1st IEEE International Conference on Cyber-Physical Systems, Networks, and Applications, Taipei, Taiwan, August 19-20, 2013.
Julien Bruneau, Charles Consel, Marcia O’Malley, Walid Taha, Wail Masry Hannourah (2012). Virtual Testing for Smart Buildings. IE'12 International Conference on Intelligent Environments 8th International Conference on Intelligent Environments, IE 2012, Guanajuato, Mexico, June 26-28.
Jun Inoue, Walid Taha (2012). Reasoning About Multi-Stage Programs. 21st European Symposium on Programming, ESOP 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn 24 March-1 April.
Walid Taha, Roland Philippsen (2012). Modeling Basic Aspects of Cyber-Physical Systems. 3rd International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR-2012), November 5-8, Tsukuba, Japan.
Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Veronica Gaspes, Aaron Ames, Alexandre Chapoutot (2012). A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). The Second International Workshop on Cyber-Physical Networking Systems (CPNS 2012) Macau, China, June 20, 2012. In conjunction with 32nd IEEE International Conference on Distributed Computing Systems Workshops, ICDCSW 2012.
Chaitanya Belwal, Albert M.K. Cheng, Walid Taha (2011). Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration. ICESS'11 International Conference on Embedded Software and Systems 10th IEEE Int. Conf. on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, 8th IEEE Int. Conf. on Embedded Software and Systems, ICESS 2011, 6th Int. Conf. on Frontier of Computer Science and Technology, FCST 2011, Changsha, China, 16-18 November.
Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O’Leary (2011). Static Consistency Checking for Verilog Wire Interconnects : Using Dependent Types to Check the Sanity of Verilog Descriptions. PEPM '09 Partial Evaluation and Program Manipulation (co-located with POPL 2009) Savannah, GA, USA, January 19-20, 2009.
Tony Larsson, Walid Taha, Karl-Erik Årzen (2011). Dependable Automotive Systems based on Model Certified Components. Automotive CPS Workshop, Troy, Michigan, USA, June 2011.
Walid Taha, Veronica Gaspes, Rex Page (2011). Accurate Programming : Thinking about programs in terms of properties. International Conference on Domain-Specific Languages (DSL 2011), Bordeaux, France, 6-8 September 2011.
Walid Taha, Paul Brauner, Robert Cartwright, Veronica Gaspes, Aaron Ames, Alexandre Chapoutot (2011). A Core Language for Executable Models of Cyber Physical Systems : work in progress report. Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems, ICCPS'11 WIP, Chicago, IL, USA, April 12 - 14, 2011.
Fulong Chen, Walid Taha, Lei Deng (2010). Multi-Stage Programming for High-Level Description of Circuit Families. 3rd International Congress on Image and Signal Processing (CISP), 16-18 October 2010, Yantai, China.
Julien Bruneau, Charles Consel, Marcia O'Malley, Walid Taha, Wail Masry Hannourah (2010). Preliminary Results in Virtual Testing for Smart Building. MOBIQUITOUS 2010, 7th International ICST Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, Sydney, Australia, 6-9 December, 2010.
Paul Brauner, Walid Taha (2010). Globally Parallel, Locally Sequential : A Preliminary Proposal for Acumen Objects. POOSC'10. Workshop on Parallel Object Oriented Scientific Computing 9th Workshop on Parallel/High-Performance Object-Oriented Scientific Computing, POOSC'10, at the ACM Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH, Reno/Tahoe, USA, 17-22 October.
Edwin Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha (2010). Mint : Java Multi-stage Programming Using Weak Separability. ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, 5-10 June 2010.
Yun Zhu, Edwin Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif Salama, Marisa Peralta, Travis Martin, Walid Taha, Marcia O’Malley, Robert Cartwright, Aaron Ames, Raktim Bhattacharya (2010). Mathematical Equations as Executable Models of Mechanical Systems. 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2010, Stockholm, Sweden, 13-15 April 2010.
Angela Yun Zhu, Jun Inoue, Marisa Linnea Peralta, Walid Taha, Marcia O’Malley, Dane Powell (2009). Implementing Haptic Feedback Environments from High-level Descriptions. 6th International Conference on Embedded Software and Systems, Hangzhou, PEOPLES R CHINA, MAY 25-27, 2009.
Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek (2009). In Pursuit of Real Answers. ICESS'09, 6th International Conference on Embedded Software and Systems, Hangzhou, China, May 25-27.
Cherif Salama, Gregory Malecha, Walid Taha, John O'Leary, Jim Grundy (2009). Static Consistency Checking for Verilog Wire Interconnects : Using dependent types to check the sanity of verilog descriptions. PEPM '09 Partial Evaluation and Program Manipulation (co-located with POPL 2009) Savannah, GA, USA. January 19 - 20, 2009.
Walid Taha (2008). A Gentle Introduction to Multi-stage Programming, Part II. International Summer School on Generative and Transformational Techniques in Software Engineering II, GTTSE 2007, Braga, 2-7 July.
Walid Taha (2008). Domain-Speciﬁc Languages. ICCES'08. International Conference on Computer Engineering & Systems, Cairo, Egypt, 25-27 November.
Chaitanya Belwal, Albert M.K. Cheng, Walid Taha, Angela Zhu (2008). Timing Analysis of the Priority based FRP System. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP Session, St. Louis, MO, USA, April 22-24.
Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary (2008). Synthesizable high level hardware descriptions : using statically typed two-level languages to guarantee verilog synthesizability. 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, California, USA, January 7-8, 2008.
Seth Fogarty, Emir Pasalic, Jeremy Siek, Walid Taha (2007). Concoqtion : Indexed Types Now!. PEPM'07. 2007 ACM SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, Nice, France, January 15-16.
Kedar Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic (2006). A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions. PEPM'06. International Symposium on Partial Evaluation and Semantics Based Program Manipulation, Charleston, South Carolina, USA, January 9–10.
Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar Swadi, Walid Taha (2005). Implicitly Heterogeneous Multi-Stage Programming. 4th International Conference on Generative Programming and Component Engineering (GPCE), Utrecht Univ, Tallinn, ESTONIA, SEP 29-OCT 01, 2005.
Oleg Kiselyov, Kedar N. Swadi, Walid Taha (2004). A Methodology for Generating Veriﬁed Combinatorial Circuits. EMSOFT'04. International Conference on Embedded Software and Systems..
Krzysztof Czarnecki, John T. O’Donnell, Jörg Striegnitz, Walid Taha (2004). DSL Implementation in MetaOCaml, Template Haskell, and C++. International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003.
Walid Taha (2004). Resource-Aware Programming - Invited paper. First International Conference on Embedded Software and Systems, ICESS 2004, Hangzhou, 9-10 December, 2004.
Walid Taha, Scott Crosby, Kedar Swadi Kedar Swadi (2004). A New Approach to Data Mining for Software Design. CSITeA'04. International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications.
Walid Taha, Stephan Ellner, Hongwei Xi (2003). Generating Heap-bounded Programs in a Functional Setting. EMSOFT'03. International Conference on Embedded Software and Systems..
Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy (2003). Implementing Multi-stage Languages Using ASTs, Gensym, and Reﬂection. GPCE'03 International Conference on Generative Programming and Component Engineering..
Karol Ostrovsky, K. V. S. Prasad, Walid Taha (2002). Towards a Primitive Higher Order Calculus of Broadcasting Systems. PPDP'02. Symposium on Symposium on Principles and Practice of Declarative Programming.
Walid Taha, Paul Hudak, Zhanyong Wan (2001). Directions in Functional Programming for Real(-Time) Applications. First international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001.
Steven Ganz, Amr Sabry, Walid Taha (2001). Macros as Multi-Stage Computations : Type-Safe, Generative, Binding Macros in MacroML. ICFP'01. International Conference on Functional Programming.
Walid Taha, Henning Makholm (2000). Tag Elimination - or - Type Specialisation is a Type-Indexed Effect. DTP'00. APPSEM Workshop on Subtyping & Dependent Types in Programming.
Walid Taha (2000). A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. : Or, the Theory of MetaML is Non-trivial. PEPM'00. International Symposium on Partial Evaluation and Semantics Based Program Manipulation..
Christiano Calcagno, Eugenio Moggi, Walid Taha (2000). Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming. ICALP'00. International Colloquium on Automata, Languages, and Programming.
Walid Taha, Zine El-Abidine Benaissa, Sheard Tim (1998). Multi-Stage Programming : Axiomatization and Type-Safety. ICALP'98. International Colloquium on Automata, Languages, and Programming.
Philiip Wadler, Walid Taha, David MacQueen (1998). How to add laziness to a strict language without even being odd. SML'98, The SML workshop.