Search results for "compilation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Jean Le Palmec	Etude d'un langage intermédiaire pour la compilation d'Algol 60 -Application à un calculateur de type microprogrammé : CAE 510. (Study of an intermediate language for compilation of Algol 60 -Application to a calculator type CAE 510).		1966	RDF
22	Georg Werner	Etude de la syntaxe d' Algol - Application à la compilation. (Study of the syntax of Algol - Application to the compilation).		1964	RDF
22	Jean-Loup Baer	Etude critique et données de compilation du langage Cobol. (Study critical and compilation data of the language COBOL).		1963	RDF
18	Manjiri A. Namjoshi, Prasad A. Kulkarni	Novel online profiling for virtual machines.	VEE	2010	DBLP DOI BibTeX RDF	java, virtual machines, online profiling
18	Allison W. Lee, Mohamed Zaït, Thierry Cruanes, Rafi Ahmed, Yali Zhu	Validating the Oracle SQL engine.	DBTest	2009	DBLP DOI BibTeX RDF	execution plan, test, SQL, validation, query optimization, database systems, Oracle
18	José Luis Ayala, David Atienza, Philip Brisk	Thermal-aware data flow analysis.	DAC	2009	DBLP DOI BibTeX RDF	compiler, thermal management
18	Vincenzo Catania, Maurizio Palesi, Davide Patti	Reducing complexity of multiobjective design space exploration in VLIW-based embedded systems.	ACM Trans. Archit. Code Optim.	2008	DBLP DOI BibTeX RDF	hyperblock formation, genetic algorithms, performances, statistical analysis, power, energy, design space exploration, multiobjective optimization, ILP, VLIW architectures
18	Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen	CHR for Imperative Host Languages.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
18	Juan Chen	A typed intermediate language for compiling multiple inheritance.	POPL	2007	DBLP DOI BibTeX RDF	class and object encoding, multiple inheritance, typed intermediate language
18	Neil V. Murray, Erik Rosenthal	Updating Reduced Implicate Tries.	TABLEAUX	2007	DBLP DOI BibTeX RDF
18	Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon	A Better Semantics for XQuery with Side-Effects.	DBPL	2007	DBLP DOI BibTeX RDF
18	Ian Page	Academia to IPO - A Modern Odyssey.	FPL	2006	DBLP DOI BibTeX RDF
18	Lorenz Huelsbergen	Fast evolution of custom machine representations.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
18	Jon Sneyers	Analysis and Optimization of CHR Programs.	ICLP	2005	DBLP DOI BibTeX RDF
18	Kleanthis Psarris, Konstantinos Kyriakopoulos	An Experimental Evaluation of Data Dependence Analysis Techniques.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	program analysis, compiler optimization, Parallelizing compilers, data dependence, automatic parallelization
18	David Lesaint, George Papamargaritis	Aspects and Constraints for Implementing Configurable Product-Line Architectures.	WICSA	2004	DBLP DOI BibTeX RDF
18	Yosi Ben-Asher, Daniel Citron, Gadi Haber	Overlapping Memory Operations with Circuit Evaluation in Reconfigurable Computing.	IPDPS	2004	DBLP DOI BibTeX RDF
18	Feihui Li, Mahmut T. Kandemir	Improving Performance of Java Applications Using a Coprocessor.	IPDPS	2004	DBLP DOI BibTeX RDF
18	Laurent Arditi, Gérard Berry, Michael Kishinevsky	Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs.	FMCAD	2004	DBLP DOI BibTeX RDF
18	Erik Johansson, Konstantinos Sagonas	Linear Scan Register Allocation in a High-Performance Erlang Compiler.	PADL	2002	DBLP DOI BibTeX RDF
18	Dana N. Xu, Siau-Cheng Khoo	Compiling real time functional reactive programming.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	partial evaluation, reactive system, tupling
18	Kameswari V. Garigipati, Cindy Norris	Evaluating the use of profiling by a region-based register allocator.	SAC	2002	DBLP DOI BibTeX RDF	region-based register allocation, profiling
18	Stephen M. Blackburn, Kathryn S. McKinley	In or out?: putting write barriers in their place.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	copying collection, generational collection, Java, write barriers
18	Matthai Philipose, Craig Chambers, Susan J. Eggers	Towards automatic construction of staged compilers.	POPL	2002	DBLP DOI BibTeX RDF
18	João M. P. Cardoso, Markus Weinhardt	XPP-VC: A C Compiler with Temporal Partitioning for the PACT-XPP Architecture.	FPL	2002	DBLP DOI BibTeX RDF
18	Chris Lattner, Shashank Shekhar, Anand Shukla, Vikram S. Adve	Addressing Fundamental Bottlenecks in Link-Time and Dynamic Optimization.	IPDPS	2002	DBLP DOI BibTeX RDF
18	Vitaly V. Mikheev, Nikita V. Lipsky, D. Gurchenkov, P. Pavlov, Vladimir V. Sukharev, A. Markov, Sergey V. Kuksenko, Stanislav A. Fedoseev, D. Leskov, A. Yeryomin	Overview of excelsior JET, a high performance alternative to java virtual machines.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	ahead-of-time optimizations, scalable run-time system, java, performance
18	Michael Ward, Neil C. Audsley	Language Issues of Compiling Ada to Hardware.	Ada-Europe	2002	DBLP DOI BibTeX RDF
18	Clemens Grelck	Optimizations on Array Skeletons in a Shared Memory Environment.	IFL	2001	DBLP DOI BibTeX RDF
18	Raphaël Marvie, Philippe Merle, Jean-Marc Geib, Sylvain Leblanc	Type-Safe Trading Proxies Using TORBA.	ISADS	2001	DBLP DOI BibTeX RDF
18	Egon Börger, Wolfram Schulte	A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Java, compiler, Semantics, exception handling, Java Virtual Machine, correctness, abstract state machines
18	Martin Hofmann 0001	A Type System for Bounded Space and Functional In-Place Update--Extended Abstract.	ESOP	2000	DBLP DOI BibTeX RDF
18	Michael Voss, Rudolf Eigenmann	ADAPT: Automated De-Coupled Adaptive Program Transformation.	ICPP	2000	DBLP DOI BibTeX RDF
18	Brian Grant, Matthai Philipose, Markus Mock, Craig Chambers, Susan J. Eggers	An evaluation of staged run-time optimizations in DyC (with retrospective)	Best of PLDI	1999	DBLP DOI BibTeX RDF
18	Brian Grant, Matthai Philipose, Markus Mock, Craig Chambers, Susan J. Eggers	An Evaluation of Staged Run-Time Optimizations in DyC.	PLDI	1999	DBLP DOI BibTeX RDF
18	Rémi Douence, Pascal Fradet	A Systematic Study of Functional Language Implementations.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	compilers, program transformation, functional programming, combinators, abstract machines
18	Matthew Flatt, Matthias Felleisen	Units: Cool Modules for HOT Languages.	PLDI	1998	DBLP DOI BibTeX RDF	ML, SCHEME
18	David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic	An ML-Like Module System for the Synchronous Language SIGNAL.	Euro-Par	1997	DBLP DOI BibTeX RDF
18	Massimiliano Poletto, Dawson R. Engler, M. Frans Kaashoek	tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation.	PLDI	1997	DBLP DOI BibTeX RDF	C
18	T. Troy Pearse, Paul W. Oman	Experiences Developing and Maintaining Software in a Multi-Platform Environment.	ICSM	1997	DBLP DOI BibTeX RDF	multi-platform maintenance, multi-platform development, software measurement, software portability, software complexity
18	Simon L. Peyton Jones	Compiling Haskell by Program Transformation: A Report from the Trenches.	ESOP	1996	DBLP DOI BibTeX RDF
18	Zhong Shao, Andrew W. Appel	A Type-Based Compiler for Standard ML.	PLDI	1995	DBLP DOI BibTeX RDF	Standard ML
18	Ian T. Foster, Stephen Taylor	A Compiler Approach to Scalable Concurrent-Program Design.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	program composition, monotonicity, programming abstractions, source-to-source transformations
18	Jeffrey Dean, Craig Chambers	Towards Better Inlining Decisions Using Inlining Trials.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	Self
18	Terry Gaasterland, Jorge Lobo 0001	Using Semantic Information for Processing Negation and Disjunction in Logic Programs.	ISMIS	1993	DBLP DOI BibTeX RDF
18	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
18	Urs Hölzle, Craig Chambers, David M. Ungar	Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches.	ECOOP	1991	DBLP DOI BibTeX RDF
18	Maurício Breternitz Jr., John Paul Shen	Architecture Synthesis of High-Performance Application-Specific Processors.	DAC	1990	DBLP DOI BibTeX RDF
18	Cheong Youn, Lawrence J. Henschen, Jiawei Han 0001	Classification of Recursive Formulas in Deductive Databases.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
18	Oded Shmueli, Shalom Tsur, Carlo Zaniolo	Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL).	PODS	1988	DBLP DOI BibTeX RDF
18	Kurt Keutzer, Wayne H. Wolf	Anatomy of a Hardware Compiler.	PLDI	1988	DBLP DOI BibTeX RDF
18	Gary Lindstrom, Lal George, Dowming Yeh	Generating Efficient Code from Strictness Annotations.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF
18	David B. Loveman	Program Improvement by Source-to-Source Transformation.	J. ACM	1977	DBLP DOI BibTeX RDF	Prolog
17	Yongjoo Kim, Jongeun Lee, Aviral Shrivastava, Yunheung Paek	Operation and data mapping for CGRAs with multi-bank memory.	LCTES	2010	DBLP DOI BibTeX RDF	bank conflict, multi-bank memory, compilation, arbiter, coarse-grained reconfigurable architecture
17	Christian Wimmer, Michael Franz	Linear scan register allocation on SSA form.	CGO	2010	DBLP DOI BibTeX RDF	SSA form deconstruction, lifetime analysis, linear scan, Java, register allocation, just-in-time compilation, SSA form
17	Stefan Monnier, David Haguenauer	Singleton types here, singleton types there, singleton types everywhere.	PLPV	2010	DBLP DOI BibTeX RDF	dependent types, certified compilation, singleton types
17	David Zook, Emir Pasalic, Beata Sarna-Starosta	Typed Datalog.	PADL	2009	DBLP DOI BibTeX RDF	Meta-compilation, Type System, Datalog, Deductive Databases
17	Andreas Gal, Brendan Eich, Mike Shaver, David Anderson, David Mandelin, Mohammad R. Haghighat, Blake Kaplan, Graydon Hoare, Boris Zbarsky, Jason Orendorff, Jesse Ruderman, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Mason Chang, Michael Franz	Trace-based just-in-time type specialization for dynamic languages.	PLDI	2009	DBLP DOI BibTeX RDF	trace-based compilation, dynamically typed languages
17	Matthew A. Hammer, Umut A. Acar, Yan Chen 0001	CEAL: a C-based language for self-adjusting computation.	PLDI	2009	DBLP DOI BibTeX RDF	control and data flow, tail calls, trampolines, performance, compilation, dominators, self-adjusting computation
17	Fancong Zeng	Pattern-driven deadlock avoidance.	PADTAD	2009	DBLP DOI BibTeX RDF	Java, deadlock, exception, just-in-time (JIT) compilation
17	Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi	A parallel dynamic compiler for CIL bytecode.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	virtual execution system, parallel virtual machine, dynamic compilation
17	Andreas Gampe, Jeffery von Ronne, David Niedzielski, Kleanthis Psarris	Speculative improvements to verifiable bounds check elimination.	PPPJ	2008	DBLP DOI BibTeX RDF	SafeTSA, array bounds check elimination, verifiable annotations, Java, optimization, just-in-time compilation
17	Seong-Won Lee, Soo-Mook Moon, Seong-Moo Kim	Enhanced hot spot detection heuristics for embedded java just-in-time compilers.	LCTES	2008	DBLP DOI BibTeX RDF	hot spot detection, j2me cdc, java just-in-time compilation, sun's hotspot heuristic, java virtual machine
17	Sanjay V. Rajopadhye, Gautam Gupta, Lakshminarayanan Renganarayanan	A domain specific interconnect for reconfigurable computing.	LCTES	2008	DBLP DOI BibTeX RDF	coarse grain reconfiguration, fpga, silicon compilation
17	Wen Fu, Rongcai Zhao, Jianmin Pang, Jingbo Zhang	Recovering Variable-Argument Functions from Binary Executables.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	variable-argument function, reverse compilation, calling convention, instruction pattern, IA-64
17	Christian Wimmer, Hanspeter Mössenböck	Automatic array inlining in java virtual machines.	CGO	2008	DBLP DOI BibTeX RDF	array inlining, object inlining, java, optimization, performance, garbage collection, just-in-time compilation
17	Duane Merrill, Kim M. Hazelwood	Trace fragment selection within method-based JVMs.	VEE	2008	DBLP DOI BibTeX RDF	region selection, JVM, traces, JIT compilation
17	Andrew Kennedy	Compiling with continuations, continued.	ICFP	2007	DBLP DOI BibTeX RDF	continuations, monads, optimizing compilation, continuation passing style, functional programming languages
17	Greg Stitt, Frank Vahid	Thread warping: a framework for dynamic synthesis of thread accelerators.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	dynamic synthesis, thread warping, warp processing, FPGA, synthesis, multi-core, threads, just-in-time compilation
17	Nieraj Singh, Celina Gibbs, Yvonne Coady	C-CLR: a tool for navigating highly configurable system software.	ACP4IS	2007	DBLP DOI BibTeX RDF	preprocessor directives, aspect-oriented programming, modularization, tools, structured programming, system configuration, conditional compilation
17	Christian Wimmer, Hanspeter Mössenböck	Automatic feedback-directed object inlining in the java hotspotTM virtual machine.	VEE	2007	DBLP DOI BibTeX RDF	object colocation, object inlining, java, optimization, performance, cache, garbage collection, just-in-time compilation
17	Kyungwoo Lee, Xing Fang, Samuel P. Midkiff	Practical escape analyses: how good are they?	VEE	2007	DBLP DOI BibTeX RDF	analysis precision, Java, dynamic compilation, escape analysis
17	Qiang Wu, Margaret Martonosi, Douglas W. Clark, Vijay Janapa Reddi, Dan Connors, Youfeng Wu, Jin Lee, David M. Brooks	Dynamic-Compiler-Driven Control for Microprocessor Energy and Performance.	IEEE Micro	2006	DBLP DOI BibTeX RDF	microprocessor, energy savings, Dynamic-compilation
17	Prasad A. Kulkarni, Wankang Zhao, Stephen Hines, David B. Whalley, Xin Yuan 0001, Robert van Engelen, Kyle A. Gallivan, Jason Hiser, Jack W. Davidson, Baosheng Cai, Mark W. Bailey, Hwashin Moon, Kyunghwan Cho, Yunheung Paek	VISTA: VPO interactive system for tuning applications.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	User-directed code improvement, interactive compilation, genetic algorithms, phase ordering
17	François Pottier, Nadji Gauthier	Polymorphic typed defunctionalization and concretization.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Type-preserving compilation, Polymorphic records, Dictionary records, Polymorphism, Type classes, Defunctionalization, Closure conversion, Concretization
17	Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers	MultiJava: Design rationale, compiler implementation, and applications.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	MultiJava language, Open classes, augmenting method problem, binary method problem, extensible classes, extensible external methods, external methods, method families, open objects, single dispatch, static typechecking, modularity, inheritance, subtyping, encapsulation, generic functions, Java language, separate compilation, object-oriented programming languages, multimethods, multiple dispatch, expression problem
17	Ben L. Titzer	Virgil: objects on the head of a pin.	OOPSLA	2006	DBLP DOI BibTeX RDF	data-sensitive optimization, heap compression, multi-stage computation, standalone programs, whole-program compilation, sensor networks, embedded systems, static analysis, microcontrollers, systems software, dead code elimination
17	Margaret Gaitatzes Kostoulas, Morris Matsa, Noah Mendelsohn, Eric Perkins, Abraham Heifets, Martha Mercaldi	XML screamer: an integrated approach to high performance XML parsing, validation and deserialization.	WWW	2006	DBLP DOI BibTeX RDF	JAX-RPC, schema compilation, XML, performance, validation, parsing, XML schema, SAX
17	Gabriel Dos Reis, Bjarne Stroustrup	Specifying C++ concepts.	POPL	2006	DBLP DOI BibTeX RDF	C++ concepts, type systems, generic programming, separate compilation, C++ templates
17	Yudith Cardinale, Eduardo Blanco 0001, Jesús De Oliveira	JaDiMa: Java Applications Distributed Management on Grid Platforms.	HPCC	2006	DBLP DOI BibTeX RDF	High Performance Java Applications, Grid Platforms, Distributed Library Management, Compilation and Execution, Collaborative Environments
17	José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo	Towards Description and Optimization of Abstract Machines in an Extension of Prolog.	LOPSTR	2006	DBLP DOI BibTeX RDF	Optimization, Compilation, Prolog, Program Transformation, Abstract Machines
17	David Tarditi, Sidd Puri, Jose Oglesby	Accelerator: using data parallelism to program GPUs for general-purpose uses.	ASPLOS	2006	DBLP DOI BibTeX RDF	graphics processing units, data parallelism, just-in time compilation
17	Jason Cong, Yiping Fan, Guoling Han, Ashok Jagannathan, Glenn Reinman, Zhiru Zhang	Instruction set extension with shadow registers for configurable processors.	FPGA	2005	DBLP DOI BibTeX RDF	shadow register, compilation, ASIP, configurable processor
17	Mourad Debbabi, Azzam Mourad, Nadia Tawbi	Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors.	SAC	2005	DBLP DOI BibTeX RDF	J2ME/CLDC, selective dynamic compilation, Java, embedded systems, ARM, KVM
17	Chi-Keung Luk, Robert S. Cohn, Robert Muth, Harish Patil, Artur Klauser, P. Geoffrey Lowney, Steven Wallace, Vijay Janapa Reddi, Kim M. Hazelwood	Pin: building customized program analysis tools with dynamic instrumentation.	PLDI	2005	DBLP DOI BibTeX RDF	program analysis tools, instrumentation, dynamic compilation
17	Grégoire Hamon	A denotational semantics for stateflow.	EMSOFT	2005	DBLP DOI BibTeX RDF	compilation, continuations, denotational semantics, Stateflow
17	Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck	Type-based verification of assembly language for compiler debugging.	TLDI	2005	DBLP DOI BibTeX RDF	abstract interpretation, dependent types, bytecode verification, certified compilation, assembly code
17	Levon Stepanian, Angela Demke Brown, Allan Kielstra, Gita Koblents, Kevin Stoodley	Inlining java native calls at runtime.	VEE	2005	DBLP DOI BibTeX RDF	native code, Java, JIT compilation, inlining, JNI
17	Christian Wimmer, Hanspeter Mössenböck	Optimized interval splitting in a linear scan register allocator.	VEE	2005	DBLP DOI BibTeX RDF	linear scan, java, optimization, compilers, graph-coloring, register allocation, just-in-time compilation
17	Steven Carroll, Constantine D. Polychronopoulos	A Framework for Incremental Extensible Compiler Construction.	Int. J. Parallel Program.	2004	DBLP DOI BibTeX RDF	Compiler construction, incremental compilation
17	Hélène Fargier, Marie-Catherine Vilarem	Compiling CSPs into Tree-Driven Automata for Interactive Solving.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	interactive constraint solving, CSP compilation, tree clustering, configuration, tree automata
17	Sathyanarayanan Thammanur, Santosh Pande	A fast, memory-efficient register allocation framework for embedded systems.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	embedded systems, compilers, Code generation, compiler optimizations, register allocation, dynamic compilation
17	Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Nadia Tawbi, Hamdi Yahyaoui, Sami Zhioua	A dynamic compiler for embedded Java virtual machines.	PPPJ	2004	DBLP DOI BibTeX RDF	J2ME/CLDC, selective dynamic compilation, Java, performance, embedded systems, virtual machine, acceleration, KVM
17	David Saff, Michael D. Ernst	An experimental evaluation of continuous testing during development.	ISSTA	2004	DBLP DOI BibTeX RDF	continuous compilation, continuous testing, test-first development, unit testing
17	Michel Ferreira, Luís Damas	WAM Local Analysis.	PADL	2003	DBLP DOI BibTeX RDF	Prolog Compilation, Multiple Specialization, Abstract Interpretation
17	Sagnik Nandy, Xiaofeng Gao 0003, Jeanne Ferrante	TFP: Time-Sensitive, Flow-Specific Profiling at Runtime.	LCPC	2003	DBLP DOI BibTeX RDF	run-time optimization, Profiling, dynamic compilation
17	Xavier Rival	Abstract Interpretation-Based Certification of Assembly Code.	VMCAI	2003	DBLP DOI BibTeX RDF	compilation, Abstract Interpretation, Static program analysis
17	Enis Avdicausevic, Marjan Mernik, Mitja Lenic, Viljem Zumer	Experimental aspect-oriented language - AspectCOOL.	SAC	2002	DBLP DOI BibTeX RDF	aspect-oriented programming, programming languages, separate compilation
17	Fergus Henderson, Zoltan Somogyi	Compiling Mercury to High-Level C Code.	CC	2002	DBLP DOI BibTeX RDF	programming language implementation, GNU C, logic programming, C, compilation techniques, Mercury
17	Vitaly V. Mikheev, Stanislav A. Fedoseev, Vladimir V. Sukharev, Nikita V. Lipsky	Effective Enhancement of Loop Versioning in Java.	CC	2002	DBLP DOI BibTeX RDF	ahead-of-time compilation, Java, performance, loop optimizations