Search results for "source-to-source transformation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Changjun Hu, Yewei Shao, Jue Wang, Jianjiang Li	Automatic Transformation for Overlapping Communication and Computation.	NPC	2008	DBLP DOI BibTeX RDF	Parallel compiling, Communication optimization, Control-flow analysis, Source-to-source transformation
2	Ralf Giering, Thomas Kaminski	Automatic Sparsity Detection Implemented as a Source-to-Source Transformation.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
2	Sang Ik Lee, Troy A. Johnson, Rudolf Eigenmann	Cetus - An Extensible Compiler Infrastructure for Source-to-Source Transformation.	LCPC	2003	DBLP DOI BibTeX RDF
2	Ian T. Foster	Automatic Generation of Self-Scheduling Programs.	IEEE Trans. Parallel Distrib. Syst.	1991	DBLP DOI BibTeX RDF	self-scheduling programs, high-level concurrent language, data dependency information, control statements, self-scheduling compiler, application code, control statements, scheduling routines, scheduling, parallel programs, parallel programming, partitioning, automatic programming, high-level language, application programs, application generators, automatic generation, control structures, source-to-source transformation
2	David B. Loveman	Program Improvement by Source to Source Transformation.	POPL	1976	DBLP DOI BibTeX RDF	Program improvement, Optimization, Compilation, Source-to-source transformation, Program manipulation
1	Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt	Precise garbage collection for C.	ISMM	2009	DBLP DOI BibTeX RDF	garbage collection, precise, conservative, c programming language, accurate
1	Yoann Padioleau	Parsing C/C++ Code without Pre-processing.	CC	2009	DBLP DOI BibTeX RDF
1	María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva	An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Éric Renault, Charles Ancelin, Oscar Botero, Willy Jimenez	Executing OpenMP Programs on Distributed Resources using a Source-to-Source Transformation Tool.	ISCA PDCCS	2008	DBLP BibTeX RDF
1	Éric Renault, Charles Ancelin, Willy Jimenez, Oscar Botero	Using Source-to-Source Transformation Tools to Provide Distributed Parallel Applications from OpenMP Source Code.	ISPDC	2008	DBLP DOI BibTeX RDF
1	Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra	The CLOSER: automating resource management in java.	ISMM	2008	DBLP DOI BibTeX RDF	higher-level resource, interest reachability, logical liveness, resource interest graph, resource management
1	Uday Bondhugula, Albert Hartono, J. Ramanujam, P. Sadayappan	A practical automatic polyhedral parallelizer and locality optimizer.	PLDI	2008	DBLP DOI BibTeX RDF	tiling, automatic parallelization, loop transformations, affine transformations, locality optimization, polyhedral model
1	Sharareh Zamanzadeh, Mohammad Mirza-Aghatabar, Mehrdad Najibi, Hossein Pedram, Abolghasem Sadeghi	Reimbursing the Handshake Overhead of Asynchronous Circuits using Compiler Pre-Synthesis Optimizations.	DSD	2008	DBLP DOI BibTeX RDF
1	María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi	An Abstract Generic Framework for Web Site Verification.	SAINT	2008	DBLP DOI BibTeX RDF	Abstrac interpretation, web verification, rewriting
1	Daniel Millot, Alain Muller, Christian Parrot, Frédérique Silber-Chaussumier	STEP: A Distributed OpenMP for Coarse-Grain Parallelism Tool.	IWOMP	2008	DBLP DOI BibTeX RDF
1	Nathan Cooprider, John Regehr	Offline compression for on-chip ram.	PLDI	2007	DBLP DOI BibTeX RDF	sensor networks, static analysis, data compression, embedded software, TinyOS, memory optimization
1	Jay L. T. Cornwall, Olav Beckmann, Paul H. J. Kelly	Automatically translating a general purpose C++ image processing library for GPUs.	IPDPS	2006	DBLP DOI BibTeX RDF
1	David Molnar, Matt Piotrowski, David Schultz, David Wagner	The Program Counter Security Model: Automatic Detection and Removal of Control-Flow Side Channel Attacks.	ICISC	2005	DBLP DOI BibTeX RDF
1	Mark Harman, Lin Hu, Robert M. Hierons, Joachim Wegener, Harmen Sthamer, André Baresel, Marc Roper	Testability Transformation.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	transformation, Evolutionary testing, search-based software engineering, automated test data generation
1	Troy A. Johnson, Sang Ik Lee, Long Fei, Ayon Basumallik, Gautam Upadhyaya, Rudolf Eigenmann, Samuel P. Midkiff	Experiences in Using Cetus for Source-to-Source Transformations.	LCPC	2004	DBLP DOI BibTeX RDF
1	Thom W. Frühwirth, Christian Holzbaur	Source-to-Source Transformation for a Class of Expressive Rules.	APPIA-GULP-PRODE	2003	DBLP BibTeX RDF
1	Thomas Genssler, Volker Kuttruff	Source-to-Source Transformation in the Large.	JMLC	2003	DBLP DOI BibTeX RDF
1	Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Haveraaen, Eelco Visser	Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs.	SCAM	2003	DBLP DOI BibTeX RDF
1	Peter Schachte	Sequence Quantification.	PADL	2003	DBLP DOI BibTeX RDF
1	Thomas Ball, Andreas Podelski, Sriram K. Rajamani	Boolean and Cartesian abstraction for model checking C programs.	STTT	2003	DBLP DOI BibTeX RDF	Software engineering, Model checking, Verification, Program analysis, Abstract interpretation
1	Dana N. Xu, Siau-Cheng Khoo	Compiling real time functional reactive programming.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	partial evaluation, reactive system, tupling
1	Christian H. Bischof, H. Martin Bücker, Bruno Lang, Arno Rasch, Andre Vehreschild	Combining Source Transformation and Operator Overloading Techniques to Compute Derivatives for MATLAB Programs.	SCAM	2002	DBLP DOI BibTeX RDF	operator overloading, MATLAB, high-level language, automatic differentiation, derivatives, source transformation
1	George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer	CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs.	CC	2002	DBLP DOI BibTeX RDF
1	James R. Cordy, Thomas R. Dean, Andrew J. Malton, Kevin A. Schneider	Software Engineering by Source Transformation-Experience with TXL.	SCAM	2001	DBLP DOI BibTeX RDF
1	Elvira Albert, Michael Hanus, Germán Vidal	A Practical Partial Evaluator for a Multi-Paradigm Declarative Language.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Patrick Cousot	Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations.	ICLP	2001	DBLP DOI BibTeX RDF
1	Thomas Ball, Andreas Podelski, Sriram K. Rajamani	Boolean and Cartesian Abstraction for Model Checking C Programs.	TACAS	2001	DBLP DOI BibTeX RDF
1	Gregor Snelting, Frank Tip	Understanding class hierarchies using concept analysis.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	class hierarchy reengineering, concept analysis
1	Iffat H. Kazi, David J. Lilja	JavaSpMT: A Speculative Thread Pipelining Parallelization Model for Java Programs. (PDF / PS)	IPDPS	2000	DBLP DOI BibTeX RDF	run-time dependence checking, shared-memory multprocessors, Java, multithreading, speculative execution, Parallelization model
1	María-del-Mar Gallardo, Pedro Merino	A Framework for Automatic Construction of Abstract Promela Models.	SPIN	1999	DBLP DOI BibTeX RDF
1	Jan Prins, Siddhartha Chatterjee, Martin Simons	Expressing Irregular Computations in Modern Fortran Dialects.	LCR	1998	DBLP DOI BibTeX RDF
1	Bratin Saha, Zhong Shao	Optimal Type Lifting.	Types in Compilation	1998	DBLP DOI BibTeX RDF
1	Michael Sperber, Peter Thiemann	Two for the Price of One: Composing Partial Evaluation and Compilation.	PLDI	1997	DBLP DOI BibTeX RDF
1	Ross Paterson	Transforming Lazy Functions Using Comportment Properties.	PLILP	1997	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, automatic program transformation
1	Sandhya Dwarkadas, Alan L. Cox, Willy Zwaenepoel	An Integrated Compile-Time/Run-Time Software Distributed Shared Memory System.	ASPLOS	1996	DBLP DOI BibTeX RDF	FORTRAN
1	Jens E. Wunderwald	Memoing Evaluation by Source-to-Source Transformation.	LOPSTR	1995	DBLP DOI BibTeX RDF
1	Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen	The essence of compiling with continuations (with retrospective)	Best of PLDI	1993	DBLP DOI BibTeX RDF
1	Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen	The Essence of Compiling with Continuations.	PLDI	1993	DBLP DOI BibTeX RDF
1	Alexander J. Pasik	A Source-to-Source Transformation for Increasing Rule-Based System Parallelism.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF
1	Suresh Jagannathan, Gul Agha	A Reflective Model of Inheritance.	ECOOP	1992	DBLP DOI BibTeX RDF
1	Manfred Meyer, Hans-Günther Hein, Jörg P. Müller	FIDO: Finite Domain Consistency Techniques in Logic Programming.	RCLP	1991	DBLP DOI BibTeX RDF
1	Vernon Rego, Aditya P. Mathur	Exploiting Parallelism Across Program Execution: A Unification Technique and Its Analysis.	IEEE Trans. Parallel Distrib. Syst.	1990	DBLP DOI BibTeX RDF	vector multiprocessors, nonregressive graphs, optimality, parallel programming, parallelism, programming theory, unification, vector processors, sequential programs, source-to-source transformation, program graphs
1	David Callahan, Steve Carr, Ken Kennedy	Improving register allocation for subscripted variables (with retrospective)	Best of PLDI	1990	DBLP DOI BibTeX RDF
1	David Callahan, Steve Carr, Ken Kennedy	Improving Register Allocation for Subscripted Variables.	PLDI	1990	DBLP DOI BibTeX RDF	FORTRAN
1	Arvind K. Bansal, Leon Sterling	On Source-To Source Transformation of Sequentlal Logic Programs to And-Parallelism.	ICPP	1987	DBLP BibTeX RDF
1	Raf Venken	A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query-Optimisation.	ECAI	1984	DBLP BibTeX RDF
1	David B. Loveman	Program Improvement by Source-to-Source Transformation.	J. ACM	1977	DBLP DOI BibTeX RDF	Prolog