Search results for "Walid Taha"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jun Inoue, Walid Taha	Reasoning about Multi-stage Programs.	ESOP	2012	DBLP DOI BibTeX RDF
1	Walid Taha, Verónica Gaspes, Rex Page	Accurate Programming: Thinking about programs in terms of properties	DSL	2011	DBLP DOI BibTeX RDF
1	Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary	Synthesizable High Level Hardware Descriptions.	New Generation Comput.	2010	DBLP DOI BibTeX RDF
1	Edwin M. Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha	Mint: Java multi-stage programming using weak separability.	PLDI	2010	DBLP DOI BibTeX RDF	multi-staged languages, java, type systems, multi-stage programming
1	Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary	Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions.	PEPM	2009	DBLP DOI BibTeX RDF	static array bounds checking, verilog elaboration, verilog wire width consistency, dependent types, dead code elimination
1	Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek	In Pursuit of Real Answers.	ICESS	2009	DBLP DOI BibTeX RDF
1	Tianzhou Chen, Dimitrios N. Serpanos, Walid Taha (eds.)	International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009.	ICESS	2009	DBLP BibTeX RDF
1	Angela Yun Zhu, Jun Inoue, Marisa Linnea Peralta, Walid Taha, Marcia K. O'Malley, Dane Powell	Implementing Haptic Feedback Environments from High-Level Descriptions.	ICESS	2009	DBLP DOI BibTeX RDF
1	Jeremy G. Siek, Ronald Garcia, Walid Taha	Exploring the Design Space of Higher-Order Casts.	ESOP	2009	DBLP DOI BibTeX RDF
1	Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary	Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability.	PEPM	2008	DBLP DOI BibTeX RDF	statically typed two-level languages, synthesizability, verilog elaboration, code generation, hardware description languages
1	Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha	Implicitly Heterogeneous Multi-Stage Programming.	New Generation Comput.	2007	DBLP DOI BibTeX RDF	Functional Programming, Multi-Stage Programming
1	Roumen Kaiabachev, Walid Taha, Angela Yun Zhu	E-FRP with priorities.	EMSOFT	2007	DBLP DOI BibTeX RDF	resource-aware programming, event-driven programming
1	Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha	Concoqtion: indexed types now!	PEPM	2007	DBLP DOI BibTeX RDF
1	Stephan Ellner, Walid Taha	The semantics of graphical languages.	PEPM	2007	DBLP DOI BibTeX RDF
1	Walid Taha	A Gentle Introduction to Multi-stage Programming, Part II.	GTTSE	2007	DBLP DOI BibTeX RDF
1	Jeremy G. Siek, Walid Taha	Gradual Typing for Objects.	ECOOP	2007	DBLP DOI BibTeX RDF
1	Christian Lengauer, Walid Taha	Preface.	Sci. Comput. Program.	2006	DBLP DOI BibTeX RDF
1	Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic	A monadic approach for avoiding code duplication when staging memoized functions.	PEPM	2006	DBLP DOI BibTeX RDF	partial evaluation, monads, fixed points, program generation, program specialization, staging, multi-stage programming, code duplication
1	Jeremy G. Siek, Walid Taha	A Semantic Analysis of C++ Templates.	ECOOP	2006	DBLP DOI BibTeX RDF
1	Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha	Implicitly Heterogeneous Multi-stage Programming.	GPCE	2005	DBLP DOI BibTeX RDF
1	Oleg Kiselyov, Kedar N. Swadi, Walid Taha	A methodology for generating verified combinatorial circuits.	EMSOFT	2004	DBLP DOI BibTeX RDF	abstract interpretation, multi-stage programming
1	Miguel Guerrero, Edward Pizzi, Robert Rosenbaum, Kedar N. Swadi, Walid Taha	Implementing DSLs in metaOCaml.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	staged interpreters, program generation, multi-stage programming
1	Oleg Kiselyov, Walid Taha	Relating FFTW and Split-Radix.	ICESS	2004	DBLP DOI BibTeX RDF
1	Walid Taha	Resource-Aware Programming.	ICESS	2004	DBLP DOI BibTeX RDF
1	Cristiano Calcagno, Eugenio Moggi, Walid Taha	ML-Like Inference for Classifiers.	ESOP	2004	DBLP DOI BibTeX RDF
1	Walid Taha	Semantics, Applications, and Implementation of Program Generation.	J. Funct. Program.	2003	DBLP DOI BibTeX RDF
1	Walid Taha	"Essentials of Programming Languages" (2nd ed) by Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes, MIT Press, ISBN 0-262-06217-8, 2001.	J. Funct. Program.	2003	DBLP DOI BibTeX RDF
1	Walid Taha, Stephan Ellner, Hongwei Xi	Generating Heap-Bounded Programs in a Functional Setting.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Walid Taha, Michael Florentin Nielsen	Environment classifiers.	POPL	2003	DBLP DOI BibTeX RDF	type systems, modal logic, type safety, linear temporal logic, multi-stage programming
1	Walid Taha	A Gentle Introduction to Multi-stage Programming.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
1	Krzysztof Czarnecki, John T. O'Donnell, Jörg Striegnitz, Walid Taha	DSL Implementation in MetaOCaml, Template Haskell, and C++.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
1	Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy	Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection.	GPCE	2003	DBLP DOI BibTeX RDF
1	Walid Taha, Patricia Johann	Staged Notational Definitions.	GPCE	2003	DBLP DOI BibTeX RDF
1	Zhanyong Wan, Walid Taha, Paul Hudak	Event-Driven FRP.	PADL	2002	DBLP DOI BibTeX RDF
1	Don S. Batory, Charles Consel, Walid Taha (eds.)	Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings	GPCE	2002	DBLP BibTeX RDF
1	Emir Pasalic, Walid Taha, Tim Sheard	Tagless staged interpreters for typed languages.	ICFP	2002	DBLP DOI BibTeX RDF	calculus of constructions, definitional interpreters, domain-specific languages, multi-stage programming
1	Karol Ostrovsky, K. V. S. Prasad, Walid Taha	Towards a primitive higher order calculus of broadcasting systems.	PPDP	2002	DBLP DOI BibTeX RDF	calculi, semantics, concurrency, broadcasting, programming languages, ethernet
1	Walid Taha, Paul Hudak, Zhanyong Wan	Directions in Functional Programming for Real(-Time) Applications.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Walid Taha (eds.)	Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings	SAIG	2001	DBLP BibTeX RDF
1	Walid Taha, Henning Makholm, John Hughes	Tag Elimination and Jones-Optimality.	PADO	2001	DBLP DOI BibTeX RDF
1	Steven E. Ganz, Amr Sabry, Walid Taha	Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML.	ICFP	2001	DBLP DOI BibTeX RDF	ML
1	Zhanyong Wan, Walid Taha, Paul Hudak	Real-Time FRP.	ICFP	2001	DBLP DOI BibTeX RDF
1	Walid Taha, Tim Sheard	MetaML and multi-stage programming with explicit annotations.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
1	Walid Taha (eds.)	Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings	SAIG	2000	DBLP BibTeX RDF
1	Cristiano Calcagno, Eugenio Moggi, Walid Taha	Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming.	ICALP	2000	DBLP DOI BibTeX RDF
1	Walid Taha	A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract).	PEPM	2000	DBLP DOI BibTeX RDF
1	Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard	An Idealized MetaML: Simpler, and More Expressive.	ESOP	1999	DBLP DOI BibTeX RDF
1	Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard	Multi-Stage Programming: Axiomatization and Type Safety.	ICALP	1998	DBLP DOI BibTeX RDF
1	Walid Taha, Tim Sheard	Multi-Stage Programming with Explicit Annotations.	PEPM	1997	DBLP DOI BibTeX RDF
1	Walid Taha, Tim Sheard	Multi-Stage Programming.	ICFP	1997	DBLP DOI BibTeX RDF	ML

Publications of "Walid Taha" ( http://dblp.L3S.de/Authors/Walid_Taha )