Search results for "program optimization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Spyridon Triantafyllis, Matthew J. Bridges, Easwaran Raman, Guilherme Ottoni, David I. August	A framework for unrestricted whole-program optimization.	PLDI	2006	DBLP DOI BibTeX RDF	interprocedural optimization, procedure unification, region encapsulation, region formation, whole-program analysis, whole-program optimization, specialization, interprocedural analysis, inlining, path-sensitive analysis, superblock, region-based compilation
3	Thomas Kistler, Michael Franz	Continuous program optimization: A case study.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	continuous program optimization, dynamic reoptimization, Dynamic code generation
3	Pasquale Armenise	A Structured Approach to Program Optimization.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	optimization process, software development paradigm, software engineers, software engineering, program optimization, software lifecycle
2	Makoto Tanji, Hitoshi Iba	Program optimization by random tree sampling.	GECCO	2009	DBLP DOI BibTeX RDF	fragment preservation, program sampling, genetic programming, recombination operator
2	Shane Ryoo, Christopher I. Rodrigues, Sam S. Stone, Sara S. Baghsorkhi, Sain-Zee Ueng, John A. Stratton, Wen-mei W. Hwu	Program optimization space pruning for a multithreaded gpu.	CGO	2008	DBLP DOI BibTeX RDF	optimization, parallel computing, gpgpu
2	Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi	Program Optimizations and Transformations in Calculation Form.	GTTSE	2005	DBLP DOI BibTeX RDF	Program Transformation, Functional Programming, Program Optimization, Meta Programming, Program Calculation
2	Thomas Eiter, Michael Fink	Uniform Equivalence of Logic Programs under the Stable Model Semantics.	ICLP	2003	DBLP DOI BibTeX RDF	uniform equivalence, strong equivalence, computational complexity, program optimization, stable models, answer set semantics
2	Uwe Aßmann	Graph rewrite systems for program optimization.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	specification, program transformation, program analysis, visual programming, program optimization, compiler generators, stratification, very high-level languages, graph rewrite systems
2	Michael Voss, Rudolf Eigenmann	A framework for remote dynamic program optimization.	Dynamo	2000	DBLP DOI BibTeX RDF
2	Jens Knoop, Oliver Rüthing	Optimization Under the Perspective of Soundness, Completeness, and Reusability.	Correct System Design	1999	DBLP DOI BibTeX RDF	Programming paradigms (imperative, explicitly parallel, object-oriented), safety and coincidence theorems, optimizer generators, optimality, completeness, data-flow analysis, reusability, soundness, program optimization, code motion, admissibility
2	Jens Knoop	From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach.	TACAS	1999	DBLP DOI BibTeX RDF	data-flow analysis (DFA), DFA-frameworks, DFA-generators, coincidence theorems, intraprocedural, conditional DFA, parallel, object-oriented, abstract interpretation, Program optimization, interprocedural
2	Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap	Optimizing Compilation of CLP(R).	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	source-to-source program transformation, compilation, program analysis, constraint logic programming, program optimization
2	Alexander Aiken, John H. Williams, Edward L. Wimmers	Safe: A Semantic Technique for Transforming Programs in the Presence of Errors.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	program transformation, exceptions, program optimization, equational reasoning
2	Wesley K. Kaplow, William Maniatty, Boleslaw K. Szymanski	Impact of memory hierarchy on program partitioning and scheduling.	HICSS	1995	DBLP DOI BibTeX RDF	parallel program scheduling, nonlinear cache-miss rates, loop nest execution simulation, architecturally parameterized cache simulator, loop range, cache-miss ratio, loop interchange, iteration-space blocking, program runtime estimation, IBM 9076 SP1, SuperSPARC, scheduling, parallel programming, optimisation, memory hierarchy, processor scheduling, software performance evaluation, memory architecture, cache storage, program optimization, cache performance, program control structures, program partitioning, Intel i860
2	Shlomit S. Pinter, Ron Y. Pinter	Program Optimization and Parallelization Using Idioms.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	array data flow analysis, computational idioms, intermediate program representation, parallelism, reduction, dependence analysis, graph rewriting, parallel prefix, scan operations
2	John Sanguinetti	Program Optimization for a Pipelined Machine: A Case Study.	SIGMETRICS	1984	DBLP DOI BibTeX RDF
1	Rosario Cammarota, Arun Kejariwal, Debora Donato, Alexandru Nicolau, Alexander V. Veidenbaum	Selective search of inlining vectors for program optimization.	Conf. Computing Frontiers	2012	DBLP DOI BibTeX RDF
1	Mohamed A. El-Zawawy	Program Optimization Based Pointer Analysis and Live Stack-Heap Analysis	CoRR	2011	DBLP BibTeX RDF
1	Murat Bolat, Kirk Kelsey, Xiaoming Li, Guang R. Gao	Source Code Partitioning in Program Optimization.	ICPADS	2011	DBLP DOI BibTeX RDF
1	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
1	Michael D. Linderman, Matthew Ho, David L. Dill, Teresa H. Y. Meng, Garry P. Nolan	Towards program optimization through automated analysis of numerical precision.	CGO	2010	DBLP DOI BibTeX RDF	fixed-point numbers, static error analysis, floating-point numbers, numerical precision
1	Andrew Kerr, Gregory F. Diamos, Sudhakar Yalamanchili	Modeling GPU-CPU workloads and systems.	GPGPU	2010	DBLP DOI BibTeX RDF	Ocelot, PTX, Rodinia, parboil, GPGPU, CUDA, OpenCL
1	María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi	A fold/unfold transformation framework for rewrite theories extended to CCT.	PEPM	2010	DBLP DOI BibTeX RDF	code carrying theory, fold/unfold transformation, rewriting logic
1	Kirk Kelsey, Tongxin Bai, Chen Ding, Chengliang Zhang	Fast Track: A Software System for Speculative Program Optimization.	CGO	2009	DBLP DOI BibTeX RDF
1	Guibin Wang, Xuejun Yang, Ying Zhang, Tao Tang, Xudong Fang	Program Optimization of Stencil Based Application on the GPU-Accelerated System.	ISPA	2009	DBLP DOI BibTeX RDF	mgrid, GPGPU, CUDA, heterogeneous system, stencil
1	Guibin Wang, Tao Tang, Xudong Fang, Xiaoguang Ren	Program Optimization of Array-Intensive SPEC2k Benchmarks on Multithreaded GPU Using CUDA and Brook+.	ICPADS	2009	DBLP DOI BibTeX RDF
1	Albert Sidelnik, I-Jui Sung, Wanmin Wu, María Jesús Garzarán, Wen-mei W. Hwu, Klara Nahrstedt, David A. Padua, Sanjay J. Patel	Optimization of tele-immersion codes.	GPGPU	2009	DBLP DOI BibTeX RDF	tele-immersion codes, program optimization
1	Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller	A language and framework for invariant-driven transformations.	GPCE	2009	DBLP DOI BibTeX RDF	runtime invariant checking, program transformation, invariants, program optimization, incremental maintenance
1	Hai Liu, Eric Cheng, Paul Hudak	Causal commutative arrows and their optimization.	ICFP	2009	DBLP DOI BibTeX RDF	functional programming, stream processing, program optimization, functional reactive programming, arrows, dataflow language
1	Andrew Moss, Dan Page	Program interpolation.	PEPM	2009	DBLP DOI BibTeX RDF	dynamic feedback, program interpolation, program optimization
1	Natarajan Shankar	Automated deduction for verification.	ACM Comput. Surv.	2009	DBLP DOI BibTeX RDF
1	Sara Kalvala, Richard Warburton, David Lacey	Program transformations using temporal logic side conditions.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	temporal logic, program transformation, rewriting, Optimizing compilers
1	Yutao Zhong, Xipeng Shen, Chen Ding	Program locality analysis using reuse distance.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	stack distance, training-based analysis, reuse distance, Program locality
1	Joon-Young Paik, Eun-Sun Cho, Tae-Sun Chung	Performance Improvement for Flash Memories Using Loop Optimization.	CSE	2009	DBLP DOI BibTeX RDF
1	Bernd Fischer 0002, Ando Saabas, Tarmo Uustalu	Program Repair as Sound Optimization of Broken Programs.	TASE	2009	DBLP DOI BibTeX RDF
1	Simone Campanoni, Stefano Crespi-Reghizzi	Traces of Control-Flow Graphs.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
1	Shane Ryoo, Christopher I. Rodrigues, Sam S. Stone, John A. Stratton, Sain-Zee Ueng, Sara S. Baghsorkhi, Wen-mei W. Hwu	Program optimization carving for GPU computing.	J. Parallel Distrib. Comput.	2008	DBLP DOI BibTeX RDF
1	Tom Rothamel, Yanhong A. Liu	Generating incremental implementations of object-set queries.	GPCE	2008	DBLP DOI BibTeX RDF	automatic incrementalization, query constructs, program optimization
1	Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou	Optimizing code through iterative specialization.	SAC	2008	DBLP DOI BibTeX RDF	analysis and transformation, program optimization and specialization, programming languages implementation, compiling techniques
1	Torsten Hoefler, Andrew Lumsdaine	Overlapping Communication and Computation with High Level Communication Routines.	CCGRID	2008	DBLP DOI BibTeX RDF	non-blocking collective communication, MPI, program optimization, Overlap
1	Michael Fink	Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There.	ICLP	2008	DBLP DOI BibTeX RDF	uniform equivalence, knowledge representation, program optimization, answer-set programming
1	Alexander Grigoriev, Joyce van Loon, Marc Uetz	Algorithms for Optimal Price Regulations.	WINE	2008	DBLP DOI BibTeX RDF	Pricing problems, three-level program optimization, social welfare maximization, EU roaming regulation
1	Michael Hanus	Call pattern analysis for functional logic programs.	PPDP	2008	DBLP DOI BibTeX RDF	program analysis, functional logic programming
1	Manuel Arenaz, Pedro Amoedo, Juan Touriño	Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers.	Euro-Par	2008	DBLP DOI BibTeX RDF
1	Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran	Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets.	FoIKS	2008	DBLP DOI BibTeX RDF
1	Grzegorz Chmaj, Krzysztof Walkowiak	Heuristic Algorithm for Optimization of P2P-Based Public-Resource Computing Systems.	ICDCIT	2008	DBLP DOI BibTeX RDF	Public-Resource Computing, optimization, P2P
1	Miroslaw Truszczynski, Stefan Woltran	Relativized Hyperequivalence of Logic Programs for Modular Programming.	ICLP	2008	DBLP DOI BibTeX RDF
1	Loukas Georgiadis	Computing Frequency Dominators and Related Problems.	ISAAC	2008	DBLP DOI BibTeX RDF
1	Mark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo	Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models.	LCPC	2008	DBLP DOI BibTeX RDF
1	Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer	Exploiting conjunctive queries in description logic programs.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 68T35, 68T30
1	Miroslaw Truszczynski, Stefan Woltran	Hyperequivalence of logic programs with respect to supported models.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68Q17, 68T30
1	Thomas Eiter, Michael Fink, Stefan Woltran	Semantical characterizations and complexity of equivalences in answer set programming.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	strong equivalence, uniform equivalence, computational complexity, program optimization, stable models, Answer set semantics
1	Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek	Streamflex: high-throughput stream programming in java.	OOPSLA	2007	DBLP DOI BibTeX RDF	real-time systems, memory management, java virtual machine, stream processing, ownership types
1	Ludo Van Put, Dominique Chanet, Koen De Bosschere	Whole-program linear-constant analysis with applications to link-time optimization.	SCOPES	2007	DBLP DOI BibTeX RDF
1	Sheayun Lee, Jaejin Lee, Chang Yun Park, Sang Lyul Min	Selective code transformation for dual instruction set processors.	ACM Trans. Embedded Comput. Syst.	2007	DBLP DOI BibTeX RDF	Dual instruction set processors, mixed-width instruction set architecture, reduced bid-width instruction set architecture
1	Milena Milenkovic, Aleksandar Milenkovic, Martin Burtscher	Algorithms and Hardware Structures for Unobtrusive Real-Time Compression of Instruction and Data Address Traces.	DCC	2007	DBLP DOI BibTeX RDF
1	Andreas Schösser, Rubino Geiß	Graph Rewriting for Hardware Dependent Program Optimizations.	AGTIVE	2007	DBLP DOI BibTeX RDF
1	Manuel Arenaz, Juan Touriño, Ramon Doallo	Program Behavior Characterization Through Advanced Kernel Recognition.	Euro-Par	2007	DBLP DOI BibTeX RDF
1	Grigori Fursin, Albert Cohen, Michael F. P. O'Boyle, Olivier Temam	Quick and Practical Run-Time Evaluation of Multiple Program Optimizations.	T. HiPEAC	2007	DBLP DOI BibTeX RDF
1	Calin Cascaval, Evelyn Duesterwald, Peter F. Sweeney, Robert W. Wisniewski	Performance and environment monitoring for continuous program optimization.	IBM Journal of Research and Development	2006	DBLP DOI BibTeX RDF
1	Nathaniel McIntosh, Sandya Mannarswamy, Robert Hundt	Whole-program optimization of global variable layout.	PACT	2006	DBLP DOI BibTeX RDF	compiler-directed memory management, global variable layout, data caches
1	Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser	Stratego/XT 0.16: components for transformation systems.	PEPM	2006	DBLP DOI BibTeX RDF	pretty-printers, rewriting strategies, transformation components, compilers, program transformation, program analysis, term rewriting, program optimization, parsers, transformation systems
1	John H. Reppy	Type-sensitive control-flow analysis.	ML	2006	DBLP DOI BibTeX RDF	ML, control-flow analysis
1	Sandya Mannarswamy, Shruti Doval, Hariharan Sandanagobalane, Mahesha Nanjundaiah	TRICK: tracking and reusing compiler's knowledge.	SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	optimization, compiler, reuse, program analysis, tools
1	Yonggang Che, Zhenghua Wang	A Lightweight Iterative Compilation Approach for Optimization Parameter Selection.	IMSCCS	2006	DBLP DOI BibTeX RDF
1	Guang R. Gao, Thomas L. Sterling, Rick L. Stevens, Mark Hereld, Weirong Zhu	Hierarchical multithreading: programming model and system software.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Fumiaki Ohata, Katsuro Inoue	JAAT: Java Alias Analysis Tool for Program Maintenance Activities.	ISORC	2006	DBLP DOI BibTeX RDF
1	Thomas Eiter, Patrick Traxler, Stefan Woltran	An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs.	JELIA	2006	DBLP DOI BibTeX RDF
1	R. Nigel Horspool, David J. Pereira, Bernhard Scholz	Fast Profile-Based Partial Redundancy Elimination.	JMLC	2006	DBLP DOI BibTeX RDF
1	Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu	Incrementalization across object abstraction.	OOPSLA	2005	DBLP DOI BibTeX RDF	design, object-oriented, program transformation, abstraction, program analysis, invariants, program optimization, incrementalization
1	Bjorn De Sutter, Bruno De Bus, Koen De Bosschere	Link-time binary rewriting techniques for program compaction.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	code abstraction, linker, whole-program optimization, compaction, interprocedural analysis, Program representation, binary rewriting
1	Kamen Yotov, Keshav Pingali, Paul Stodghill	Think globally, search locally.	ICS	2005	DBLP DOI BibTeX RDF
1	Donglin Liang, Maikel Pennings, Mary Jean Harrold	Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs.	PASTE	2005	DBLP DOI BibTeX RDF
1	Calin Cascaval, Evelyn Duesterwald, Peter F. Sweeney, Robert W. Wisniewski	Multiple Page Size Modeling and Optimization.	IEEE PACT	2005	DBLP DOI BibTeX RDF
1	Eryk Laskowski, Marek Tudruj, Richard Olejnik, Bernard Toursel	Java Byte Code Scheduling Based on the Most-Often-Used-Paths in Programs with Branches.	ISPDC	2005	DBLP DOI BibTeX RDF
1	Grigori Fursin, Albert Cohen, Michael F. P. O'Boyle, Olivier Temam	A Practical Method for Quickly Evaluating Program Optimizations.	HiPEAC	2005	DBLP DOI BibTeX RDF
1	Xiaoming Li, María Jesús Garzarán	Optimizing Matrix Multiplication with a Classifier Learning System.	LCPC	2005	DBLP DOI BibTeX RDF
1	Cristiano Calcagno	Two-level languages for program optimization.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Santiago Escobar	Thesis: Strategies and analysis techniques in functional program optimization.	AI Commun.	2004	DBLP BibTeX RDF
1	David Parello, Olivier Temam, Albert Cohen, Jean-Marie Verdun	Towards a Systematic, Pragmatic and Architecture-Aware Program Optimization Process for Complex Processors.	SC	2004	DBLP DOI BibTeX RDF
1	Søren Debois	Imperative program optimization by partial evaluation.	PEPM	2004	DBLP DOI BibTeX RDF	loop-invariant code motion, bisimulation, strength reduction, code duplication
1	Zakarya Alzamil	Application of the operational profile in software performance analysis.	WOSP	2004	DBLP DOI BibTeX RDF	redundant computation, software performance analysis, program optimization, operational profile
1	Michael Dupré, Nathalie Drach, Olivier Temam	VHC: Quickly Building an Optimizer for Complex Embedded Architectures.	CGO	2004	DBLP DOI BibTeX RDF
1	Rafael Asenjo, Francisco Corbera, Eladio Gutiérrez, M. A. Navarro, Oscar G. Plata, Emilio L. Zapata	Optimization Techniques for Irregular and Pointer-Based Programs.	PDP	2004	DBLP DOI BibTeX RDF
1	Loukas Georgiadis, Renato Fonseca F. Werneck, Robert Endre Tarjan, Spyridon Triantafyllis, David I. August	Finding Dominators in Practice.	ESA	2004	DBLP DOI BibTeX RDF
1	Timothy J. Rolfe	Program optimization: enforcement of local access and array access via pointers.	SIGCSE Bulletin	2003	DBLP DOI BibTeX RDF
1	Christian Lengauer	Program Optimization in the Domain of High-Performance Parallelism.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
1	Germán Puebla, Manuel V. Hermenegildo	Abstract specialization and its applications.	PEPM	2003	DBLP DOI BibTeX RDF	logic programming, static analysis, abstract interpretation, partial evaluation, program optimization, program specialization, program parallelization
1	Gregory T. Balls, Scott B. Baden, Phillip Colella	SCALLOP: A Highly Scalable Parallel Poisson Solver in Three Dimensions.	SC	2003	DBLP DOI BibTeX RDF	computation-intensive applications, parallel and distributedalgorithms, program optimization and performance programming
1	Gianfranco Bilardi, Keshav Pingali	Algorithms for computing the static single assignment form.	J. ACM	2003	DBLP DOI BibTeX RDF	program transformation, optimizing compilers, program optimization, Control dependence, static single assignment form
1	Vijay Menon, Keshav Pingali, Nikolay Mateev	Fractal symbolic analysis.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	Compilers, program transformation, program optimization, symbolic analysis
1	Yanhong A. Liu, Scott D. Stoller	Dynamic Programming via Static Incrementalization.	Higher-Order and Symbolic Computation	2003	DBLP DOI BibTeX RDF	tabulation, dynamic programming, caching, static analysis, program transformation, dependence analysis, pruning, program optimization, incrementalization, incremental computation, memoization, incremental update
1	Peter M. W. Knijnenburg, Toru Kisuki, Michael F. P. O'Boyle	Combined Selection of Tile Sizes and Unroll Factors Using Iterative Compilation.	The Journal of Supercomputing	2003	DBLP DOI BibTeX RDF	program transformation, instruction level parallelism, program optimization, locality optimization, adaptive compilation
1	Greg Stitt, Roman L. Lysecky, Frank Vahid	Dynamic hardware/software partitioning: a first approach.	DAC	2003	DBLP DOI BibTeX RDF	self-improving chips, FPGA, embedded systems, synthesis, dynamic optimization, system-on-a-chip, platforms, codesign, hardware/software partitioning
1	Ulrik Pagh Schultz, Kim Burgaard, Flemming Gram Christensen, Jørgen Lindskov Knudsen	Compiling java for low-end embedded systems.	LCTES	2003	DBLP DOI BibTeX RDF	Java, embedded systems, compilers, interfaces
1	Sven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor	Multi-dimentsional Incremetal Loops Fusion for Data Locality.	ASAP	2003	DBLP DOI BibTeX RDF
1	Marc Berndl, Laurie J. Hendren	Dynamic Profiling and Trace Cache Generation.	CGO	2003	DBLP DOI BibTeX RDF
1	Won So, Alexander G. Dean	Procedure Cloning and Integration for Converting Parallelism from Coarse to Fine Grain.	Interaction between Compilers and Computer Architectures	2003	DBLP DOI BibTeX RDF
1	Edward B. Duffy, J. Paul Gibson, Brian A. Malloy	Applying the Decorator Pattern for Profiling Object-Oriented Software. (PDF / PS)	IWPC	2003	DBLP DOI BibTeX RDF
1	Cédric Bastoul, Paul Feautrier	Improving Data Locality by Chunking.	CC	2003	DBLP DOI BibTeX RDF