Search results for "meta-programming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Wenbin Lu, Baodi Shan, Eric Raut, Jie Meng, Mauricio Araya-Polo, Johannes Doerfert, Abid Muslim Malik, Barbara M. Chapman	Towards Efficient Remote OpenMP Offloading.	IWOMP	2022	DBLP DOI BibTeX RDF
11	Julian Brandner, Florian Mayer 0001, Michael Philippsen	Reducing OpenMP to FPGA Round-Trip Times with Predictive Modelling.	IWOMP	2022	DBLP DOI BibTeX RDF
11	Harald Servat, Giacomo Rossi, Alejandro Duran, Ravi Narayanaswamy	On the Migration of OpenACC-Based Applications into OpenMP 5+.	IWOMP	2022	DBLP DOI BibTeX RDF
11	Giorgis Georgakoudis, Thomas R. W. Scogland, Chunhua Liao, Bronis R. de Supinski	Extending OpenMP to Support Automated Function Specialization Across Translation Units.	IWOMP	2022	DBLP DOI BibTeX RDF
11	Shilei Tian, Joseph Huber, John R. Tramm, Barbara M. Chapman, Johannes Doerfert	Just-in-Time Compilation and Link-Time Optimization for OpenMP Target Offloading.	IWOMP	2022	DBLP DOI BibTeX RDF
11	Vladimir Indic, John M. Mellor-Crummey	Improving Tool Support for Nested Parallel Regions with Introspection Consistency.	IWOMP	2022	DBLP DOI BibTeX RDF
11	Juan Salamanca 0001, Alexandro Baldassin	Using Off-the-Shelf Hardware Transactional Memory to Implement Speculative While in OpenMP.	IWOMP	2022	DBLP DOI BibTeX RDF
11	Anton Rydahl, Mathias Gammelmark, Sven Karlsson	Feasibility Studies in Multi-GPU Target Offloading.	IWOMP	2022	DBLP DOI BibTeX RDF
11	Delaram Talaashrafi, Marc Moreno Maza, Johannes Doerfert	Towards Automatic OpenMP-Aware Utilization of Fast GPU Memory.	IWOMP	2022	DBLP DOI BibTeX RDF
11	Jan Ciesko, Stephen L. Olivier	Characterizing the Performance of Task Reductions in OpenMP 5.X Implementations.	IWOMP	2022	DBLP DOI BibTeX RDF
11	Manuel Ferat, Romain Pereira, Adrien Roussel, Patrick Carribault, Luiz Angelo Steffenel, Thierry Gautier	Enhancing MPI+OpenMP Task Based Applications for Heterogeneous Architectures with GPU Support.	IWOMP	2022	DBLP DOI BibTeX RDF
11	Jessica Vandebon, José Gabriel de Figueiredo Coutinho, Wayne Luk, Eriko Nurvitadhi	Enhancing High-Level Synthesis Using a Meta-Programming Approach.	IEEE Trans. Computers	2021	DBLP DOI BibTeX RDF
11	Baltasar Trancón y Widemann, Markus Lepper 0001	LLJava live at the loop: a case for heteroiconic staged meta-programming.	MPLR	2021	DBLP DOI BibTeX RDF
11	François Bry	In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming.	Theory Pract. Log. Program.	2020	DBLP DOI BibTeX RDF
11	Jessica Vandebon, José Gabriel F. Coutinho, Wayne Luk, Eriko Nurvitadhi, Tim Todman	Artisan: a Meta-Programming Approach For Codifying Optimisation Strategies.	FCCM	2020	DBLP DOI BibTeX RDF
11	Arya Mazaheri, Tim Beringer, Matthew W. Moskewicz, Felix Wolf 0001, Ali Jannesari	Accelerating winograd convolutions using symbolic computation and meta-programming.	EuroSys	2020	DBLP DOI BibTeX RDF
11	Guannan Wei 0001, Yuxuan Chen, Tiark Rompf	Staged abstract interpreters: fast and modular whole-program analysis via meta-programming.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
11	Nada Amin, William E. Byrd, Tiark Rompf	Lightweight Functional Logic Meta-Programming.	APLAS	2019	DBLP DOI BibTeX RDF
11	Ireneusz Gawlik, Szymon Piotr Palka, Tomasz Pedzimaz, Bartosz Ziólko	Meta-Programming and Policy-Based Design as a Technique of Architecting Modular and Efficient DSP Algorithm Implementations.	Comput. Informatics	2018	DBLP DOI BibTeX RDF
11	Oleg Kiselyov, Tiark Rompf, Jennifer Neville, Yukiyoshi Kameyama	Meta-Programming for Statistical Machine Learning (NII Shonan Meeting 2018-7).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
11	François Bry	In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming.	CoRR	2018	DBLP BibTeX RDF
11	Gajo Petrovic, Hamido Fujita	SpringBoard: game-agnostic tool for scenario editing with meta-programming support.	Appl. Intell.	2018	DBLP DOI BibTeX RDF
11	L. Thomas van Binsbergen	Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper).	GPCE	2018	DBLP DOI BibTeX RDF
11	Adilla Susungi, Norman A. Rink, Albert Cohen 0001, Jerónimo Castrillón, Claude Tadonki	Meta-programming for cross-domain tensor optimizations.	GPCE	2018	DBLP DOI BibTeX RDF
11	Abhishek Anand, Simon Boulier, Cyril Cohen, Matthieu Sozeau, Nicolas Tabareau	Towards Certified Meta-Programming with Typed Template-Coq.	ITP	2018	DBLP DOI BibTeX RDF
11	David A. Richie, James A. Ross, Jamie K. Infantolino	A Distributed Shared Memory Model and C++ Templated Meta-Programming Interface for the Epiphany RISC Array Processor.	CoRR	2017	DBLP BibTeX RDF
11	Martin Berger 0001, Laurence Tratt, Christian Urban	Modelling Homogeneous Generative Meta-Programming.	ECOOP	2017	DBLP DOI BibTeX RDF
11	David A. Richie, James A. Ross, Jamie K. Infantolino	A Distributed Shared Memory Model and C++ Templated Meta-Programming Interface for the Epiphany RISC Array Processor.	ICCS	2017	DBLP DOI BibTeX RDF
11	Matthew S. Brown	Typed Self-Applicable Meta-Programming.		2017	RDF
11	Martin Berger 0001, Laurence Tratt, Christian Urban	Modelling homogeneous generative meta-programming.	CoRR	2016	DBLP BibTeX RDF
11	Miguel Ceriani, Alejandro A. Vaisman	An RDF Vocabulary for Meta-Programming with SPARQL Algebra.	AMW	2016	DBLP BibTeX RDF
11	Martin Berger 0001, Laurence Tratt	Program Logics for Homogeneous Generative Run-Time Meta-Programming.	Log. Methods Comput. Sci.	2015	DBLP DOI BibTeX RDF
11	Michael Lopez, Gabriel Dos Reis	Meta-programming with well-typed code analysis.	SAC	2015	DBLP DOI BibTeX RDF
11	Andrew Richards	Update on the SYCL for OpenCL open standard to enable C++ meta programming on top of OpenCL.	IWOCL	2015	DBLP DOI BibTeX RDF
11	Michael Vollmer 0003, Bo Joel Svensson, Eric Holk, Ryan R. Newton	Meta-programming and auto-tuning in the search for high performance GPU code.	FHPC@ICFP	2015	DBLP DOI BibTeX RDF
11	William J. Bowman, Swaha Miller, Vincent St-Amour, R. Kent Dybvig	Profile-guided meta-programming.	PLDI	2015	DBLP DOI BibTeX RDF
11	Vytautas Stuikys, Renata Burbaite, Kristina Bespalova	The LO Sequencing Problem and Its Solution Using Meta-Programming-Based Approach.	ICIST	2015	DBLP DOI BibTeX RDF
11	Coen De Roover, Reinout Stevens	Building development tools interactively using the EKEKO meta-programming library.	CSMR-WCRE	2014	DBLP DOI BibTeX RDF
11	Maximilien Naveau, Justin Carpentier, S. Barthelemy, Olivier Stasse, Philippe Souères	METAPOD - Template META-programming applied to dynamics: CoP-CoM trajectories filtering.	Humanoids	2014	DBLP DOI BibTeX RDF
11	Vytautas Stuikys, Renata Burbaite, Robertas Damasevicius	Teaching of Computer Science Topics Using Meta-Programming-Based GLOs and LEGO Robots.	Informatics Educ.	2013	DBLP DOI BibTeX RDF
11	Murdoch James Gabbay, Aleksandar Nanevski	Denotation of contextual modal type theory (CMTT): Syntax and meta-programming.	J. Appl. Log.	2013	DBLP DOI BibTeX RDF
11	Dominique Devriese, Frank Piessens	Typed syntactic meta-programming.	ICFP	2013	DBLP DOI BibTeX RDF
11	Laure Philips, Dries Harnie, Kevin Pinte, Wolfgang De Meuter	Event Loop Coordination Using Meta-programming.	COORDINATION	2013	DBLP DOI BibTeX RDF
11	Marco Nehmeier	Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard.	Computing	2012	DBLP DOI BibTeX RDF
11	Pascal Costanza	A Little History of Meta-Programming and Reflection.	ELS	2012	DBLP BibTeX RDF
11	Tomi Janhunen, Vesa Luukkala	Meta Programming with Answer Sets for Smart Spaces.	RR	2012	DBLP DOI BibTeX RDF
11	Jeroen van den Bos, Mark Hills 0001, Paul Klint, Tijs van der Storm, Jurgen J. Vinju	Rascal: From Algebraic Specification to Meta-Programming	AMMSE	2011	DBLP DOI BibTeX RDF
11	Alexander Arlt, Jan Hendrik Schönherr, Jan Richling	Meta-programming Many-Core Systems.	MARC Symposium	2011	DBLP BibTeX RDF
11	Alexander Warg, Adam Lackorzynski	Rounding pointers: type safe capabilities with C++ meta programming.	PLOS@SOSP	2011	DBLP DOI BibTeX RDF
11	Coen De Roover	A logic meta-programming foundation for example-driven pattern detection in object-oriented programs.	ICSM	2011	DBLP DOI BibTeX RDF
11	Thomas Gazagnaire, Anil Madhavapeddy	Dynamics for ML using Meta-Programming.	WGT@ETAPS	2010	DBLP DOI BibTeX RDF
11	Seng W. Loke	Towards Real-Time Context Awareness for Mobile Users: A Declarative Meta-Programming Approach.	Supporting Real Time Decision-Making	2010	DBLP DOI BibTeX RDF
11	Martin Berger 0001, Laurence Tratt	Program Logics for Homogeneous Meta-programming.	LPAR (Dakar)	2010	DBLP DOI BibTeX RDF
11	Marcel Ritter, Bidur Bohara, Werner Benger	A Framework for Computing Integral Geometries in VISH using Template Meta Programming.	High-End Visualization Workshop	2010	DBLP BibTeX RDF
11	Martin Wheatman, Kecheng Liu	Case Study: A Semiotic Approach to Meta-Programming in Operational Research.	ICISO	2010	DBLP BibTeX RDF
11	Aaron Stump	Directly reflective meta-programming.	High. Order Symb. Comput.	2009	DBLP DOI BibTeX RDF
11	Paul Klint, Tijs van der Storm, Jurgen J. Vinju	EASY Meta-programming with Rascal.	GTTSE	2009	DBLP DOI BibTeX RDF
11	Verónica Uquillas Gómez, Andy Kellens, Kris Gybels, Theo D'Hondt	Experiments with pro-active declarative meta-programming.	IWST	2009	DBLP DOI BibTeX RDF
11	Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits	A Meta-Programming Technique for Debugging Answer-Set Programs.	AAAI	2008	DBLP BibTeX RDF
11	David Dodds	Second Order Meta-Programming - Situatedness, Awareness, Knowledge.	IC-AI	2007	DBLP BibTeX RDF
11	Kath Mickan	A meta-programming framework for software evolution		2006	RDF
11	Ian Lynagh	Soft types for template meta-programming.		2006	RDF
11	Dave A. Thomas	Refactoring as Meta Programming.	J. Object Technol.	2005	DBLP DOI BibTeX RDF
11	Chiyan Chen, Hongwei Xi	Meta-programming through typeful code representation.	J. Funct. Program.	2005	DBLP DOI BibTeX RDF
11	Gregory Neverov, Paul Roe	Towards a Fully-reflective Meta-programming Language.	ACSC	2005	DBLP BibTeX RDF
11	David Dodds	Components of Meta-Programming, Computer Analogies and Metaphors.	PLC	2005	DBLP BibTeX RDF
11	Tim Sheard, Emir Pasalic	Meta-programming With Built-in Type Equality.	LFM@IJCAR	2004	DBLP DOI BibTeX RDF
11	Aaron Stump	Imperative LF Meta-Programming.	LFM@IJCAR	2004	DBLP DOI BibTeX RDF
11	Emir Pasalic, Nathan Linger	Meta-programming with Typed Object-Language Representations.	GPCE	2004	DBLP DOI BibTeX RDF
11	Baltasar Trancón y Widemann, Markus Lepper 0001, Jacob Wieland	Automatic Construction of XML-Based Tools Seen as Meta-Programming.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF
11	Antonio Cisternino	Multi-stage and meta-programming support in strongly typed execution engines.		2003	RDF
11	Tim Sheard, Simon L. Peyton Jones	Template meta-programming for Haskell.	ACM SIGPLAN Notices	2002	DBLP DOI BibTeX RDF
11	John P. Gallagher	Whatever Happened to Meta-Programming?	APPIA-GULP-PRODE	2002	DBLP BibTeX RDF
11	Joseph K. Cross, Douglas C. Schmidt	Meta-Programming Techniques for Distributed Real-time and Embedded Systems.	WORDS	2002	DBLP DOI BibTeX RDF	Quality Connector, System Mode, Quality of Service, Middleware, CORBA
11	Tim Sheard, Simon Peyton Jones	Template meta-programming for Haskell.	Haskell	2002	DBLP DOI BibTeX RDF
11	Gian-Luigi Ferrari 0002, Eugenio Moggi, Rosario Pugliese	Higher-Order Types and Meta-Programming for Global Computing.	TOSCA	2001	DBLP DOI BibTeX RDF
11	Nanbor Wang, Kirthika Parameswaran, Douglas C. Schmidt, Ossama Othman	Evaluating meta-programming mechanisms for ORB middleware.	IEEE Commun. Mag.	2001	DBLP DOI BibTeX RDF
11	Nanbor Wang, Kirthika Parameswaran, Douglas C. Schmidt, Ossama Othman	The Design and Performance of Meta-Programming Mechanisms for Object Request Broker Middleware.	COOTS	2001	DBLP BibTeX RDF
11	Christoph Beierle, Reinhold Kloos, Gregor Meyer	A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming.	Verification of Logic Programs@ICLP	1999	DBLP DOI BibTeX RDF
11	Uwe Aßmann, Andreas Ludwig	Introducing Connections Into Classes With Static Meta-Programming.	COORDINATION	1999	DBLP DOI BibTeX RDF
11	Uwe Aßmann	Meta-programming composers in second-generation component systems.	Systems Implementation 2000	1998	DBLP BibTeX RDF
11	Antony Francis Bowers	Effective meta-programming in declarative languages.		1998	RDF
11	Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap	Meta-Programming in CLP(R).	J. Log. Program.	1997	DBLP DOI BibTeX RDF
11	Ajith P. Madurapperuma, W. A. Gray, Nick J. Fiddian	Customisable Visual Query Interface to a Heterogeneous Database Environment: A Meta-Programming Based Approach (Abstract).	BNCOD	1997	DBLP DOI BibTeX RDF
11	Harald Rueß	Formal meta-programming in the calculus of constructions.		1995	RDF
11	Iliano Cervesato, Gianfranco Rossi	A WAM Implementation for the Logic Meta Programming Language 'Log.	GULP	1993	DBLP BibTeX RDF
11	Taisuke Sato	Meta-Programming through a Truth Predicate.	JICSLP	1992	DBLP BibTeX RDF
11	Bern Martens, Danny De Schreye	A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming.	JICSLP	1992	DBLP BibTeX RDF
11	Norbert Kehrer, Gustaf Neumann	Business Event Oriented Information Systems Based on Meta Programming.	ECAI	1992	DBLP BibTeX RDF
11	Danny De Schreye, Bern Martens	A sensible least Herbrand semantics for untyped Vanilla meta-programming and its extension to a limited form of amalgamation.	CNKBS	1992	DBLP BibTeX RDF
11	Paul Singleton	Applications of meta-programming to the construction of software products from generic configurations.		1992	RDF
11	Anthony S. K. Cheng, Peter J. Robinson 0001, John Staples	Higher Level Meta Programming in Qu-Prolog 3: 0.	ICLP	1991	DBLP BibTeX RDF
11	Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap	On Meta-Programming in CLR(R).	NACLP	1989	DBLP BibTeX RDF
11	John W. Lloyd	Meta-Programming for Knowledge Base Systems (Extended Abstract).	Wissensbasierte Systeme	1989	DBLP DOI BibTeX RDF
11	John W. Lloyd	Directions for Meta-Programming.	FGCS	1988	DBLP BibTeX RDF
11	Dines Bjørner	The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments.	VDM Europe	1987	DBLP DOI BibTeX RDF
11	Akikazu Takeuchi, Koichi Furukawa	Partial Evaluation of Prolog Programs and its Application to Meta Programming.	IFIP Congress	1986	DBLP BibTeX RDF
11	Lukas Renggli, Stéphane Ducasse, Adrian Kuhn	Magritte - A Meta-driven Approach to Empower Developers and End Users.	MoDELS	2007	DBLP DOI BibTeX RDF	Business Application Development, Meta-Modeling, Meta-Data, Adaptive Object Model
11	Guizhen Yang, Michael Kifer, Chang Zhao	Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web.	OTM	2003	DBLP DOI BibTeX RDF
9	Stan Jarzabek	Genericity - a "Missing in Action" Key to Software Simplification and Reuse.	APSEC	2006	DBLP DOI BibTeX RDF