User contributions

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

• 04:45, 26 June 2014 (diff | hist) . . (+2,471)‎ . . N Publications:Generating Heap-bounded Programs in a Functional Setting ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Stephan Ellner, Hongwei Xi |PID=588276 |Name=Taha, Walid [walta...") (current)
• 04:45, 26 June 2014 (diff | hist) . . (+2,059)‎ . . N Publications:A New Approach to Data Mining for Software Design ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Scott Crosby, Kedar Swadi Kedar Swadi |PID=588271 |Name=Taha, W...") (current)
• 04:45, 26 June 2014 (diff | hist) . . (+3,119)‎ . . N Publications:A First Course on Cyber Physical Systems ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Robert Cartwright, Roland Philippsen, Yingfu Zeng |PID=668838 |...") (current)
• 04:45, 26 June 2014 (diff | hist) . . (+1,708)‎ . . N Publications:The Trouble with Real Numbers ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Robert Cartwright |PID=588239 |Name=Taha, Walid [waltah] (Högs...") (current)
• 04:45, 26 June 2014 (diff | hist) . . (+3,170)‎ . . N Publications:Some Challenges for Model-Based Simulation ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Robert Cartwright |PID=668819 |Name=Taha, Walid [waltah] (Högs...") (current)
• 04:45, 26 June 2014 (diff | hist) . . (+1,227)‎ . . N Publications:Multi-Stage Programming : Axiomatization and Type-Safety ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Zine El-Abidine Benaissa, Sheard Tim |PID=588305 |Name=Taha, Wa...") (current)
• 04:45, 26 June 2014 (diff | hist) . . (+2,173)‎ . . N Publications:Resource-Aware Programming - Invited paper ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha |PID=396130 |Name=Taha, Walid [waltah] (Rice University, Houston...") (current)
• 04:45, 26 June 2014 (diff | hist) . . (+1,124)‎ . . N Publications:Special issue of the Journal of Functional Programming on the Semantics, Applications, and Implementation of Program Generation ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha |PID=396135 |Name=Taha, Walid [waltah] |Title=Special issue of t...") (current)
• 04:45, 26 June 2014 (diff | hist) . . (+2,008)‎ . . N Publications:Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 00 : proceedings ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha |PID=396137 |Name=Taha, Walid [waltah] (Rice University) |Title=...") (current)
• 04:45, 26 June 2014 (diff | hist) . . (+1,919)‎ . . N Publications:Semantics, Applications and Implementation of Program Generation : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha |PID=396138 |Name=Taha, Walid [waltah] (Rice University) |Title=...") (current)
• 04:45, 26 June 2014 (diff | hist) . . (+2,265)‎ . . N Publications:A Gentle Introduction to Multi-stage Programming, Part II ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha |PID=396146 |Name=Taha, Walid [waltah] (Department of Computer S...") (current)
• 04:45, 26 June 2014 (diff | hist) . . (+2,429)‎ . . N Publications:Multi-Stage Programming : Its Theory and Applications ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha |PID=413525 |Name=Taha, Walid [waltah] (Oregon Graduate Institut...") (current)
• 04:45, 26 June 2014 (diff | hist) . . (+1,356)‎ . . N Publications:A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. : Or, the Theory of MetaML is Non-trivial ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha |PID=588299 |Name=Taha, Walid [waltah] (Department of Computing ...") (current)
• 04:45, 26 June 2014 (diff | hist) . . (+1,487)‎ . . N Publications:Domain-Specific Languages ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha |PID=588256 |Name=Taha, Walid [waltah] (Department of Computer S...") (current)
• 04:45, 26 June 2014 (diff | hist) . . (+2,661)‎ . . N Publications:A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Kedar Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic |PID=588269 |Name=Swad...") (current)
• 04:45, 26 June 2014 (diff | hist) . . (+2,940)‎ . . N Publications:A Semantic Analysis of C++ Templates ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Jeremy Siek, Walid Taha |PID=588267 |Name=Siek, Jeremy (Rice University, Ho...") (current)
• 04:45, 26 June 2014 (diff | hist) . . (+2,589)‎ . . N Publications:Gradual typing for objects ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Jeremy Siek, Walid Taha |PID=588261 |Name=Siek, Jeremy (University of Color...") (current)
• 04:45, 26 June 2014 (diff | hist) . . (+2,406)‎ . . N Publications:Gradual Typing for Functional Languages ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Jeremy Siek, Walid Taha |PID=588266 |Name=Siek, Jeremy (University of Color...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+2,795)‎ . . N Publications:Exploring the Design Space of Higher-Order Casts ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Jeremy Siek, Ronald Garcia, Walid Taha |PID=396151 |Name=Siek, Jeremy (Univ...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+3,627)‎ . . N Publications:Static Consistency Checking for Verilog Wire Interconnects : Using dependent types to check the sanity of verilog descriptions ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Cherif Salama, Gregory Malecha, Walid Taha, John O'Leary, Jim Grundy |PID=3...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+3,555)‎ . . N Publications:Static Consistency Checking for Verilog Wire Interconnects : Using Dependent Types to Check the Sanity of Verilog Descriptions ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O’Leary |PID...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+2,911)‎ . . N Publications:Tagless Staged Interpreters for Typed Languages ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Emir Pasalic, Walid Taha, Tim Sheard |PID=588280 |Name=Pasalic, Emir (OGI S...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+2,588)‎ . . N Publications:Towards a Primitive Higher Order Calculus of Broadcasting Systems ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Karol Ostrovsky, K. V. S. Prasad, Walid Taha |PID=588282 |Name=Ostrovsky, K...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+1,384)‎ . . N Publications:Idealized MetaML : Simpler, and More Expressive ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Eugenio Moggi, Walid Taha, Zine El-Abidine Benaissa, Tim Sheard |PID=588303...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+1,443)‎ . . N Publications:Preface ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Christian Lengauer, Walid Taha |PID=396134 |Name=Lengauer, Christian (Unive...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+2,008)‎ . . N Publications:Relating FFTW and Split-Radix ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Oleg Kiselyov, Walid Taha |PID=588272 |Name=Kiselyov, Oleg (Monterey, CA 93...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+2,569)‎ . . N Publications:A Methodology for Generating Verified Combinatorial Circuits ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Oleg Kiselyov, Kedar N. Swadi, Walid Taha |PID=588274 |Name=Kiselyov, Oleg ...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+2,879)‎ . . N Publications:E-FRP with Priorities ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Roumen Kaiabachev, Walid Taha, Angela Zhu |PID=397832 |Name=Kaiabachev, Rou...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+2,839)‎ . . N Publications:Reasoning About Multi-Stage Programs ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Jun Inoue, Walid Taha |PID=488415 |Name=Inoue, Jun [junino] (Rice Universit...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+3,818)‎ . . N Publications:Synthesizable High Level Hardware Descriptions ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+3,675)‎ . . N Publications:Synthesizable high level hardware descriptions : using statically typed two-level languages to guarantee verilog synthesizability ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+2,602)‎ . . N Publications:Macros as Multi-Stage Computations : Type-Safe, Generative, Binding Macros in MacroML ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Steven Ganz, Amr Sabry, Walid Taha |PID=588289 |Name=Ganz, Steven (Computer...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+2,711)‎ . . N Publications:Concoqtion : Indexed Types Now! ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Seth Fogarty, Emir Pasalic, Jeremy Siek, Walid Taha |PID=588262 |Name=Fogar...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+2,492)‎ . . N Publications:The Semantics of Graphical Languages ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Stephan Ellner, Walid Taha |PID=588265 |Name=Ellner, Stephan (Google Inc, M...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+2,967)‎ . . N Publications:Implicitly Heterogeneous Multi-stage Programming ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar Swadi, Walid Taha |P...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+3,174)‎ . . N Publications:Implicitly Heterogeneous Multi-Stage Programming ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar Swadi, Walid Taha |P...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+2,379)‎ . . N Publications:DSL Implementation in MetaOCaml, Template Haskell, and C++ ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Krzysztof Czarnecki, John T. O’Donnell, Jörg Striegnitz, Walid Taha |PID...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+2,457)‎ . . N Publications:Multi-Stage Programming for High-Level Description of Circuit Families ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Fulong Chen, Walid Taha, Lei Deng |PID=396127 |Name=Chen, Fulong (Departmen...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+2,700)‎ . . N Publications:Implicitly Heterogeneous Multi-Stage Programming for FPGAs ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Fulong Chen, Rajat Goyal, Edwin Westbrook, Walid Taha |PID=588214 |Name=Che...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+1,970)‎ . . N Publications:Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy |PID=588278 |Name...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+2,041)‎ . . N Publications:ML-like Inference for Classifiers ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Cristiano Calcagno, Eugenio Moggi, Walid Taha |PID=588275 |Name=Calcagno, C...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+1,385)‎ . . N Publications:Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Christiano Calcagno, Eugenio Moggi, Walid Taha |PID=588297 |Name=Calcagno, ...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+2,743)‎ . . N Publications:Preliminary Results in Virtual Testing for Smart Building ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Julien Bruneau, Charles Consel, Marcia O'Malley, Walid Taha, Wail Masry Han...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+3,701)‎ . . N Publications:Virtual Testing for Smart Buildings ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Julien Bruneau, Charles Consel, Marcia O’Malley, Walid Taha, Wail Masry H...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+2,948)‎ . . N Publications:Globally Parallel, Locally Sequential : A Preliminary Proposal for Acumen Objects ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Paul Brauner, Walid Taha |PID=588247 |Name=Brauner, Paul (Rice University, ...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+1,403)‎ . . N Publications:Logical Modalities and Multi-Stage Programming ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Zine El-Abidine Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard |PID=588300...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+2,454)‎ . . N Publications:Timing Analysis of the Priority based FRP System ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Chaitanya Belwal, Albert M.K. Cheng, Walid Taha, Angela Zhu |PID=588255 |Na...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+3,615)‎ . . N Publications:Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Chaitanya Belwal, Albert M.K. Cheng, Walid Taha |PID=588236 |Name=Belwal, C...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+3,157)‎ . . N Publications:A Serious Computer Game to Assist Tai Chi Training for the Elderly ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Wagner Ourique de Morais, Nicholas Wickström |PID=478478 |Name=Ourique De ...") (current)
• 04:44, 26 June 2014 (diff | hist) . . (+1,677)‎ . . N Publications:Sleep and night activities of care beneficiaries at the "Trygg om Natten" (Safe at Night) Project ‎ (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Wagner Ourique de Morais, Nicholas Wickström |PID=668438 |Name=Ourique de ...") (current)

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)