Search results for "compilation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
99	Andy Georges, Lieven Eeckhout, Dries Buytaert	Java performance evaluation through rigorous replay compilation.	OOPSLA	2008	DBLP DOI BibTeX RDF	matched-pair comparison, replay compilation, java, performance evaluation, benchmarking, virtual machine
87	Donald Gotterbarn, Timothy D. Hammer	Distributed Compilation Metrics (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	Ada
87	Han Bok Lee, Amer Diwan, J. Eliot B. Moss	Design, implementation, and evaluation of a compilation server.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Compilation server, Java virtual machine
82	Adnan Darwiche	Decomposable negation normal form.	J. ACM	2001	DBLP DOI BibTeX RDF	Boolean functions, satisfiability, propositional logic, model-based diagnosis, knowledge compilation
82	Craig Chambers	Staged compilation.	PEPM	2002	DBLP DOI BibTeX RDF
75	Matt Newsome, Des Watson	Proxy compilation of dynamically loaded Java classes with MoJo.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	AOT, ahead-of-time, dynamic class loading, native compilation, proxy compilation, remote compilation, Java, hotspot, just-in-time, JIT, adaptive compilation
70	S. M. Sandya	Jazzing up JVMs with off-line profile data: does it pay?	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	Java™ virtual machine, off-line profile, on-line profile, selective compilation, feedback
64	L. Almagor, Keith D. Cooper, Alexander Grosul, Timothy J. Harvey, Steven W. Reeves, Devika Subramanian, Linda Torczon, Todd Waterman	Finding effective compilation sequences.	LCTES	2004	DBLP DOI BibTeX RDF	learning models, adaptive compilers
64	Toshio Suganuma, Toshiaki Yasue, Toshio Nakatani	A region-based compilation technique for dynamic compilers.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	on-stack replacement, partial inlining, dynamic compilation, JIT compiler, Region-based compilation
64	Sid Ahmed Ali Touati, Denis Barthou	On the decidability of phase ordering problem in optimizing compilation.	Conf. Computing Frontiers	2006	DBLP DOI BibTeX RDF	input data I, library generation, parameters space exploration, optimizing compilation, phase ordering, iterative compilation
58	K. V. Seshu Kumar	When and what to compile/optimize in a virtual machine?	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	relative estimation for hotness detection, selective compilation, tier compilation, online profiling
58	Ihab F. Ilyas, Jun Rao, Guy M. Lohman, Dengfeng Gao, Eileen Tien Lin	Estimating Compilation Time of a Query Optimizer.	SIGMOD Conference	2003	DBLP DOI BibTeX RDF
58	Jiawei Han 0001	On the Power of Query-Independent Compilation.	ICCI	1991	DBLP DOI BibTeX RDF
58	Kazunori Ogata, Tamiya Onodera, Kiyokuni Kawachiya, Hideaki Komatsu, Toshio Nakatani	Replay compilation: improving debuggability of a just-in-time compiler.	OOPSLA	2006	DBLP DOI BibTeX RDF	problem determination, replay compilation, Java, dynamic optimization, JIT compiler, debuggability, deterministic replay
58	Toshio Suganuma, Toshiaki Yasue, Toshio Nakatani	A region-based compilation technique for a Java just-in-time compiler.	PLDI	2003	DBLP DOI BibTeX RDF	on-stack replacement, partial inlining, dynamic compilers, region-based compilation
54	Xavier Leroy	Introduction.	Types in Compilation	1998	DBLP DOI BibTeX RDF
52	Bram Adams, Wolfgang De Meuter, Herman Tromp, Ahmed E. Hassan	Can we refactor conditional compilation into aspects?	AOSD	2009	DBLP DOI BibTeX RDF	aosd, aspicere, historical analysis, parrot vm, r3v3rs3, conditional compilation
52	Prasad A. Kulkarni, Matthew Arnold, Michael Hind	Dynamic compilation: the benefits of early investing.	VEE	2007	DBLP DOI BibTeX RDF	Java, virtual machines, dynamic compilation
52	Keith D. Cooper, Alexander Grosul, Timothy J. Harvey, Steven W. Reeves, Devika Subramanian, Linda Torczon, Todd Waterman	Exploring the structure of the space of compilation sequences using randomized search algorithms.	J. Supercomput.	2006	DBLP DOI BibTeX RDF	Compilers, Code optimization, Adaptive compilation
52	Hai Lin 0008, Jigui Sun	Knowledge Compilation Using the Extension Rule.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	extension rule, EPCCL theory, knowledge compilation
52	Dawson R. Engler	Interface Compilation: Steps Toward Compiling Program Interfaces as Languages.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Interface compilation, interface checking, interface optimization, compiler optimization, high-level languages, programming methodology
52	Jeffrey Palm, Han Bok Lee, Amer Diwan, J. Eliot B. Moss	When to use a compilation service?	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	distributed compilation, energy efficient compilation, Java
52	Priya Unnikrishnan, Mahmut T. Kandemir, Feihui Li	Reducing dynamic compilation overhead by overlapping compilation and execution.	ASP-DAC	2006	DBLP DOI BibTeX RDF
52	Zoran Budimlic, Ken Kennedy	Almost-whole-program compilation.	Java Grande	2002	DBLP DOI BibTeX RDF	almost-whole-program compilation, object-oriented optimization, whole-program compilation, Java, incremental compilation
48	J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker 0001	Stack-Based Typed Assembly Language.	Types in Compilation	1998	DBLP DOI BibTeX RDF
47	G. Menez, Michel Auguin, Fernand Boéri, C. Carrière	Contribution of Compilation Techniques to the Synthesis of Dedicated VLIW Architectures.	Architectures and Compilation Techniques for Fine and Medium Grain Parallelism	1993	DBLP BibTeX RDF
47	Inki Hong, Miodrag Potkonjak, Ramesh Karri	Power optimization using divide-and-conquer techniques for minimization of the number of operations.	ICCAD	1997	DBLP DOI BibTeX RDF	DSP computations, architectural techniques, divide-and-conquer compilation, portable wireless DSP applications, compilation, power consumption, data flow graphs
46	Yang Liu, Zhaoqing Zhang, Ruliang Qiao, Roy Dz-Ching Ju	A Region-Based Compilation Infrastructure.	Interaction between Compilers and Computer Architectures	2003	DBLP DOI BibTeX RDF	Single-Entry-Multiple-Exit (SEME) Region, Multiple-Entry-Multiple-Exit (MEME) Region and Compiler Optimization, Region, Interval
46	Yuan Lin 0002, Manjunath Kudlur, Scott A. Mahlke, Trevor N. Mudge	Hierarchical coarse-grained stream compilation for software defined radio.	CASES	2007	DBLP DOI BibTeX RDF	MPSoC compilation, dataflow programming model, software defined radio, modulo scheduling
46	Keith D. Cooper, Alexander Grosul, Timothy J. Harvey, Steven W. Reeves, Devika Subramanian, Linda Torczon, Todd Waterman	ACME: adaptive compilation made efficient.	LCTES	2005	DBLP DOI BibTeX RDF	adaptive compilation
46	Sylvie Coste-Marquis, Pierre Marquis	On Stratified Belief Base Compilation.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	reasoning under inconsistency, stratified belief base, computational complexity, knowledge compilation
46	Giovanni Lagorio	Another step towards a smart compilation manager for Java.	SAC	2004	DBLP DOI BibTeX RDF	Java, separate compilation
46	Zhaohui Xie, Jiawei Han 0001	Normalization and Compilation of Deductive and Object-Oriented Databases Programs for Efficient Query Evaluation.	DOOD	1995	DBLP DOI BibTeX RDF	Deductive and object-oriented database, recursive query evaluation, compilation, query optimization
46	Simone Campanoni, Martino Sykora, Giovanni Agosta, Stefano Crespi-Reghizzi	Dynamic Look Ahead Compilation: A Technique to Hide JIT Compilation Latencies in Multicore Environment.	CC	2009	DBLP DOI BibTeX RDF
46	Richard E. Hank, Wen-mei W. Hwu, B. Ramakrishna Rau	Region-based compilation: an introduction and motivation.	MICRO	1995	DBLP DOI BibTeX RDF	ILP compilation, code expansion, compilation time complexity, function inlining, region-based compilation
45	Mohamed Riyadh Baghdadi	Improving tiling, reducing compilation time, and extending the scope of polyhedral compilation. (Amélioration du tuilage, réduction du temps de compilation, et extension de l'utilisabilité de la compilation polyédrique).		2015	RDF
42	Naoki Kobayashi 0001	Type-Based Analysis of Concurrent Programs.	Types in Compilation	1998	DBLP DOI BibTeX RDF
41	Huu-Duc Nguyen, Atsushi Ohori	Compiling ML polymorphism with explicit layout bitmap.	PPDP	2006	DBLP DOI BibTeX RDF	type-directed compilation, garbage collection, memory management, polymorphism
41	Rolf Adams, Walter F. Tichy, Annette Weinert	The Cost of Selective Recompilation and Environment Processing.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	environment processing, selective recompilation, smart recompilation, software evolution, empirical analysis, separate compilation
41	Kyuho Shim, Kesava R. Talupuru, Maciej J. Ciesielski, Seiyang Yang	Simulation Acceleration with HW Re-Compilation Avoidance.	VLSI Design	2008	DBLP DOI BibTeX RDF
41	Anderson Faustino da Silva, Vítor Santos Costa	Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System.	ICLP	2007	DBLP DOI BibTeX RDF
41	Carmen Badea, Alexandru Nicolau, Alexander V. Veidenbaum	A simplified java bytecode compilation system for resource-constrained embedded processors.	CASES	2007	DBLP DOI BibTeX RDF	superoperators, embedded systems, java virtual machine, adaptive optimization, profile-guided optimization
41	Yonggang Che, Zhenghua Wang	A Lightweight Iterative Compilation Approach for Optimization Parameter Selection.	IMSCCS (1)	2006	DBLP DOI BibTeX RDF
41	Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca	Polymorphic bytecode: compositional compilation for Java-like languages.	POPL	2005	DBLP DOI BibTeX RDF	type systems, compositional analysis
41	Davide Ancona, Giovanni Lagorio, Elena Zucca	A Formal Framework for Java Separate Compilation.	ECOOP	2002	DBLP DOI BibTeX RDF
40	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
40	Christian Wimmer, Marcelo Silva Cintra, Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz	Phase detection using trace compilation.	PPPJ	2009	DBLP DOI BibTeX RDF	trace compilation, Java, optimization, data flow, just-in-time compilation, phase detection
40	David Swasey, Tom Murphy VII, Karl Crary, Robert Harper 0001	A separate compilation extension to standard ML.	ML	2006	DBLP DOI BibTeX RDF	types, standard ml, separate compilation, incremental compilation
40	Werner Aßmann	A Short Review of High Speed Compilation.	CC	1988	DBLP DOI BibTeX RDF
40	Celso L. Mendes, Daniel A. Reed	Integrated Compilation and Scalability Analysis for Parallel Systems.	IEEE PACT	1998	DBLP DOI BibTeX RDF	Guided Compilation, Performance Prediction, Scalability Analysis
36	Thomas W. Reps, Mooly Sagiv, Jörg Bauer 0001 (eds.)	Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday	Program Analysis and Compilation	2007	DBLP DOI BibTeX RDF
36	Thomas W. Reps, Mooly Sagiv, Jörg Bauer 0001	An Appreciation of the Work of Reinhard Wilhelm.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
36	Helmut Seidl, Kumar Neeraj Verma	Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
36	Werner Damm, Tobe Toben, Bernd Westphal	On the Expressive Power of Live Sequence Charts.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
36	Flemming Nielson, Hanne Riis Nielson	Types from Control Flow Analysis.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
36	Hanne Riis Nielson, Flemming Nielson	Data Flow Analysis for CCS.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
36	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky	Abstract Interpretation for Worst and Average Case Analysis.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
36	Dieter Maurer	Lazy Execution of Boolean Queries.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
36	Alexey Loginov, Thomas W. Reps, Mooly Sagiv	Refinement-Based Verification for Possibly-Cyclic Lists.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
36	Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer 0002	Infering Ownership Types for Encapsulated Object-Oriented Program Components.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
36	Patrick Cousot, Radhia Cousot	Grammar Analysis and Parsing by Abstract Interpretation.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
36	Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv	Abstract Counterexample-Based Refinement for Powerset Domains.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
36	Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis	Ensuring Properties of Interaction Systems.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
36	Tiziana Margaria, Oliver Rüthing, Bernhard Steffen	ViDoC - Visual Design of Optimizing Compilers.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
36	Yosi Ben-Asher, Danny Meisler	Towards a Source Level Compiler: Source Level Modulo Scheduling.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
36	Christian Ferdinand, Florian Martin 0001, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann	New Developments in WCET Analysis.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
36	Steffen Knapp, Wolfgang J. Paul	Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
36	Dan Grossman, J. Gregory Morrisett	Scalable Certification for Typed Assembly Language.	Types in Compilation	2000	DBLP DOI BibTeX RDF
36	Dominic Duggan	Sharing in Typed Module Assembly Language.	Types in Compilation	2000	DBLP DOI BibTeX RDF
36	Karl Crary	Sound and Complete Elimination of Singleton Kinds.	Types in Compilation	2000	DBLP DOI BibTeX RDF
36	Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells, Jeffrey Considine	Program Representation Size in an Intermediate Language with Intersection and Union Types.	Types in Compilation	2000	DBLP DOI BibTeX RDF
36	David Walker 0001, J. Gregory Morrisett	Alias Types for Recursive Data Structures.	Types in Compilation	2000	DBLP DOI BibTeX RDF
36	Michael W. Hicks, Stephanie Weirich, Karl Crary	Safe and Flexible Dynamic Linking of Native Code.	Types in Compilation	2000	DBLP DOI BibTeX RDF
36	Sophia Drossopoulou	An Abstract Model of Java Dynamic Linking and Loading.	Types in Compilation	2000	DBLP DOI BibTeX RDF
36	Andrew Bernard, Robert Harper 0001, Peter Lee 0001	How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL Compiler.	Types in Compilation	1998	DBLP DOI BibTeX RDF
36	Andrew P. Tolmach	Optimizing ML Using a Hierarchy of Monadic Types.	Types in Compilation	1998	DBLP DOI BibTeX RDF
36	Zhong Shao, Valery Trifonov	Type-Directed Continuation Allocation.	Types in Compilation	1998	DBLP DOI BibTeX RDF
36	Daniela Genius, Martin Trapp 0002, Wolf Zimmermann	An Approach to Improve Locality Using Sandwich Types.	Types in Compilation	1998	DBLP DOI BibTeX RDF
36	Peter Thiemann 0001	Formalizing Resourve Allocation in a Compiler.	Types in Compilation	1998	DBLP DOI BibTeX RDF
36	Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su 0001	A Toolkit for Constructing Type- and Constraint-Based Program Analyses.	Types in Compilation	1998	DBLP DOI BibTeX RDF
36	Vincent Balat, Olivier Danvy	Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation.	Types in Compilation	1998	DBLP DOI BibTeX RDF
36	Haruo Hosoya, Akinori Yonezawa	Garbage Collection via Dynamic Type Inference - A Fomal Treatment.	Types in Compilation	1998	DBLP DOI BibTeX RDF
36	Dominic Duggan	A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages.	Types in Compilation	1998	DBLP DOI BibTeX RDF
36	Bratin Saha, Zhong Shao	Optimal Type Lifting.	Types in Compilation	1998	DBLP DOI BibTeX RDF
36	Andrew K. Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann	Compiling Java to a Typed Lambda-Calculus: A Preliminary Report.	Types in Compilation	1998	DBLP DOI BibTeX RDF
36	Nobuhisa Fujinami	Determination of Dynamic Method Dispatches Using Run-Time Code Generation.	Types in Compilation	1998	DBLP DOI BibTeX RDF
36	Martin Elsman	Polymorphic Equality - No Tags Required.	Types in Compilation	1998	DBLP DOI BibTeX RDF
36	Heinrich Seebauer, Jörg Siemers	Synchronization and Parallelism Control in the BARDE Dataflow Processor.	Architectures and Compilation Techniques for Fine and Medium Grain Parallelism	1993	DBLP BibTeX RDF
36	David A. Berson, Rajiv Gupta 0001, Mary Lou Soffa	URSA: A Unified ReSource Allocator for Registers and Functional Units in VLIW Architectures.	Architectures and Compilation Techniques for Fine and Medium Grain Parallelism	1993	DBLP BibTeX RDF
36	Ali-Reza Adl-Tabatabai, Thomas R. Gross, Guei-Yuan Lueh, James Reinders	Modeling Instruction-Level Parallelism for Software Pipelining.	Architectures and Compilation Techniques for Fine and Medium Grain Parallelism	1993	DBLP BibTeX RDF
36	Shahram Latifi	Parallel Dimension Permutations on Star-Graph.	Architectures and Compilation Techniques for Fine and Medium Grain Parallelism	1993	DBLP BibTeX RDF
36	Ciaran O'Donnell	High Level Compiling for Low Level Machines.	Architectures and Compilation Techniques for Fine and Medium Grain Parallelism	1993	DBLP BibTeX RDF
36	Takayoshi Iitsuka	Flow-sensitive Interprocedural Analysis Method for Parallelization.	Architectures and Compilation Techniques for Fine and Medium Grain Parallelism	1993	DBLP BibTeX RDF
36	Marc Daumas, Paraskevas Evripidou	Results of Parallel Implementations of the Selection Problem Using Sisal.	Architectures and Compilation Techniques for Fine and Medium Grain Parallelism	1993	DBLP BibTeX RDF
36	David E. Culler, Klaus E. Schauser, Thorsten von Eicken	Two Fundamental Limits on Dataflow Multiprocessing.	Architectures and Compilation Techniques for Fine and Medium Grain Parallelism	1993	DBLP BibTeX RDF
36	Soo-Mook Moon, Kemal Ebcioglu, Ashok K. Agrawala	Selective Scheduling Framework for Speculative Operations in VLIW and Superscalar Processors.	Architectures and Compilation Techniques for Fine and Medium Grain Parallelism	1993	DBLP BibTeX RDF
36	Thomas L. Sterling, Michael J. MacDonald	The Realities of Parallel Processing and Dataflow's Role in It: Lessons from the NASA HPCC Program.	Architectures and Compilation Techniques for Fine and Medium Grain Parallelism	1993	DBLP BibTeX RDF
36	A. Zaafrani, Mabo Robert Ito	Efficient Execution of Doacross Loops on Distributed Memory Systems.	Architectures and Compilation Techniques for Fine and Medium Grain Parallelism	1993	DBLP BibTeX RDF
36	Walid A. Najjar, Lucas Roh, A. P. Wim Böhm	The Initial Performance of a Bottom-Up Clustering Algorithm for Dataflow Graphs.	Architectures and Compilation Techniques for Fine and Medium Grain Parallelism	1993	DBLP BibTeX RDF
36	Vicki H. Allan, M. Rajagopalan, Randall M. Lee	Software Pipelining: Petri Net Pacemaker.	Architectures and Compilation Techniques for Fine and Medium Grain Parallelism	1993	DBLP BibTeX RDF