Walid Taha

Walid Taha

Walid Taha, Professor, PhD, Eng

Family Name: Taha
Given Name: Walid
Role: Professor
Title: PhD, Eng
Subject: 
Organization: Halmstad University, CERES, EMG Group, Rice University
Email: walid.taha@hh.se
url: http://ceres.hh.se
Phone: +46-35-16-71-22
Cell Phone: 

Personal home page: http://www.effective-modeling.org/p/walid-taha.html

Projects: 

Journal publications registered in DiVA

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

Walid Taha, Cherif Salama, Gregory Malecha, Jim Grundy, John O'Leary (2011). Static Consistency Checking for Verilog Wire Interconnects.

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

Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar Swadi, Walid Taha (2007). Implicitly Heterogeneous Multi-stage Programming. New generation computing. 25(3), pp. 305-336

Christian Lengauer, Walid Taha (2006). Preface. Science of Computer Programming. 62(1), pp. 1-2

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.

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.

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.

Walid Taha, Robert Cartwright (2013). Some Challenges for Model-Based Simulation. The 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop, Vancouver, Canada, December 3, 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, 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.

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, 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.

Walid Taha, Robert Cartwright (2011). The Trouble with Real Numbers. INFORMATIK 2011 - Informatik schafft Communities 41. Jahrestagung der Gesellschaft für Informatik, Berlin, Germany, 4-7 October.

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.

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.

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.

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.

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.

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.

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.

Jeremy Siek, Ronald Garcia, Walid Taha (2009). Exploring the Design Space of Higher-Order Casts. 18th European Symposium on Programming, ESOP 2009; York; 22 March 2009 through 29 March 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.

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.

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-Specific Languages. ICCES'08. International Conference on Computer Engineering & Systems, Cairo, Egypt, 25-27 November.

Jeremy Siek, Walid Taha (2007). Gradual Typing for Functional Languages. 21st European Conference on Object-Oriented Programming, ECOOP 2007, Berlin, Germany, 30 July-3 August.

Roumen Kaiabachev, Walid Taha, Angela Zhu (2007). E-FRP with Priorities. ESWEEK - Embedded Systems Week; EMSOFT’07, September 30–October 3, 2007, Salzburg, Austria.

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.

Jeremy Siek, Walid Taha (2007). Gradual typing for objects. 21st European Conference on Object-Oriented Programming (ECOOP 2007), Tech Univ Berlin, Berlin, GERMANY, JUL 30-AUG 03, 2007.

Stephan Ellner, Walid Taha (2007). The Semantics of Graphical Languages. 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.

Jeremy Siek, Walid Taha (2006). A Semantic Analysis of C++ Templates. 20th European Conference on Object-Oriented Programming (ECOOP 2006), Nantes, FRANCE, APR 03-JUL 07, 2006.

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.

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.

Oleg Kiselyov, Kedar N. Swadi, Walid Taha (2004). A Methodology for Generating Verified Combinatorial Circuits. EMSOFT'04. International Conference on Embedded Software and Systems..

Cristiano Calcagno, Eugenio Moggi, Walid Taha (2004). ML-like Inference for Classifiers. ESOP'04. European Symposium on Programming.

Oleg Kiselyov, Walid Taha (2004). Relating FFTW and Split-Radix. ICESS'04 International Conference on Embedded Software and Systems.

Walid Taha, Patricia Johann (2003). Staged Notational Definitions. GPCE'03 International Conference on Generative Programming and Component Engineering..

Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy (2003). Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection. GPCE'03 International Conference on Generative Programming and Component Engineering..

Walid Taha, Michael Florentin Nielsen (2003). Environment Classifiers. POPL'03. International Conference on Principles of Programming Languages.

Walid Taha, Stephan Ellner, Hongwei Xi (2003). Generating Heap-bounded Programs in a Functional Setting. EMSOFT'03. International Conference on Embedded Software and Systems..

Emir Pasalic, Walid Taha, Tim Sheard (2002). Tagless Staged Interpreters for Typed Languages. ICFP'02. International Conference on Functional Programming.

Zhanyong Wan, Walid Taha, Paul Hudak (2002). Event-Driven FRP. PADL'02. International Symposium on Practical Aspects of Declarative Languages.

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.

Zhanyong Wan, Walid Taha, Paul Hudak (2001). Real-Time FRP. ICFP'01. International Conference on Functional 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, John Hughes (2001). Tag Elimination and Jones-Optimality. PADO-II. Second Symposium on Programs as Data Objects.

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, Henning Makholm (2000). Tag Elimination - or - Type Specialisation is a Type-Indexed Effect. DTP'00. APPSEM Workshop on Subtyping & Dependent Types in Programming.

Eugenio Moggi, Walid Taha, Zine El-Abidine Benaissa, Tim Sheard (1999). Idealized MetaML : Simpler, and More Expressive. ESOP'99. European Symposium on Programming.

Zine El-Abidine Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard (1999). Logical Modalities and Multi-Stage Programming. IMLA'99. Intuitionistic Modal Logics and Applications Workshop.

Walid Taha, Jim Hook (1998). The Anatomy of a Component Generator. PSE'98. International Workshop on Principles of Software Evolution.

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.

Walid Taha, Tim Sheard (1997). Multi-Stage Programming with Explicit Annotations. PEPM'97. International Symposium on Partial Evaluation and Semantics Based Program Manipulation..