Search results for "compilation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	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
5	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
4	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
4	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
4	David Swasey, Tom Murphy VII, Karl Crary, Robert Harper	A separate compilation extension to standard ML.	ML	2006	DBLP DOI BibTeX RDF	types, standard ml, separate compilation, incremental compilation
4	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
4	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
4	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
4	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
3	Albert Cohen, Erven Rohou	Processor virtualization and split compilation for heterogeneous multicore embedded systems.	DAC	2010	DBLP DOI BibTeX RDF	back-end optimization, bytecode language, heterogeneous multicore, portable performance, split compilation, virtualization, annotations, vectorization, specialization
3	Avinash Malik, Zoran A. Salcic, Partha S. Roop	SystemJ compilation using the tandem virtual machine approach.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	SystemJ, compilation, virtual machines, System-level design, esterel
3	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
3	Mason Chang, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz	Tracing for web 3.0: trace compilation for the next generation web applications.	VEE	2009	DBLP DOI BibTeX RDF	tamarin, trace trees, tracing, javascript, forth, dynamic compilation, type specialization, dynamically typed languages
3	Laurence Rideau, Bernard P. Serpette, Xavier Leroy	Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves.	J. Autom. Reasoning	2008	DBLP DOI BibTeX RDF	Parallel move, Parallel assignment, The Coq proof assistant, Compilation, Compiler correctness
3	Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikaki	Type-preserving compilation for large-scale optimizing object-oriented compilers.	PLDI	2008	DBLP DOI BibTeX RDF	object-oriented compilers, type-preserving compilation
3	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
3	Koen De Bosschere, Wayne Luk, Xavier Martorell, Nacho Navarro, Michael F. P. O'Boyle, Dionisios N. Pnevmatikatos, Alex Ramírez, Pascal Sainrat, André Seznec, Per Stenström, Olivier Temam	High-Performance Embedded Architecture and Compilation Roadmap.	T. HiPEAC	2007	DBLP DOI BibTeX RDF	HiPEAC, single core architecture, programming models and tools, simulation and system modelling, real-time systems, compilation, interconnection networks, benchmarking, reconfigurable computing, run-time systems, multi-core architecture, roadmap
3	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
3	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
3	Yuan Lin, 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
3	Dries Buytaert, Andy Georges, Michael Hind, Matthew Arnold, Lieven Eeckhout, Koen De Bosschere	Using hpm-sampling to drive dynamic compilation.	OOPSLA	2007	DBLP DOI BibTeX RDF	java, profiling, just-in-time compilation, hardware performance monitors
3	Karl Lermer, Colin J. Fidge	Procedure compilation in the refinement calculus.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Program compilation, Procedures, Predicate transformers, Program refinement
3	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.	The Journal of Supercomputing	2006	DBLP DOI BibTeX RDF	Compilers, Code optimization, Adaptive compilation
3	Ozcan Ozturk, Guangyu Chen, Mahmut T. Kandemir	Multi-compilation: capturing interactions among concurrently-executing applications.	Conf. Computing Frontiers	2006	DBLP DOI BibTeX RDF	multi-compilation, compiler, chip multiprocessor
3	Klaus Schneider, Jens Brandt, Eric Vecchié	Modular Compilation of Synchronous Programs.	DIPES	2006	DBLP DOI BibTeX RDF	modular compilation, synchronous languages
3	Sophia Chilingarova	Optimizing JIT-compilation subsystem for Rotor 2.0.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	CIL, CLI, Rotor, SSCLI, optimization, JIT-compilation
3	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
3	Kyungwoo Lee, Samuel P. Midkiff	A two-phase escape analysis for parallel java programs.	PACT	2006	DBLP DOI BibTeX RDF	compilation models, java, memory models, consistency models, escape analysis
3	Rajeev Kumar, Amit Gupta, B. S. Pankaj, Mrinmoy Ghosh, P. P. Chakrabarti	Post-compilation optimization for multiple gains with pattern matching.	SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	instruction set FSM, peephole optimization, post-compilation optimization, pattern matching
3	Tim Todman, José Gabriel F. Coutinho, Wayne Luk	Customisable Hardware Compilation.	The Journal of Supercomputing	2005	DBLP DOI BibTeX RDF	pipelining, high-level design, hardware compilation
3	Thomas Kotzmann, Hanspeter Mössenböck	Escape analysis in the context of dynamic compilation and deoptimization.	VEE	2005	DBLP DOI BibTeX RDF	deoptimization, scalar replacement, stack allocation, synchronization removal, Java, optimization, just-in-time compilation, escape analysis
3	Roman L. Lysecky, Frank Vahid, Sheldon X.-D. Tan	A Study of the Scalability of On-Chip Routing for Just-in-Time FPGA Compilation.	FCCM	2005	DBLP DOI BibTeX RDF	standard hardware binary, FPGA, dynamic optimization, system-on-a-chip, platforms, codesign, hardware/software partitioning, configurable logic, Place and route, warp processors, just-in-time (JIT) compilation
3	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
3	Hai Lin 0005, Jigui Sun	Knowledge Compilation Using the Extension Rule.	J. Autom. Reasoning	2004	DBLP DOI BibTeX RDF	extension rule, EPCCL theory, knowledge compilation
3	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
3	Zhao-Hui Du, Chu-Cheow Lim, Xiao-Feng Li, Chen Yang, Qingyu Zhao, Tin-Fook Ngai	A cost-driven compilation framework for speculative parallelization of sequential programs.	PLDI	2004	DBLP DOI BibTeX RDF	cost-driven compilation, speculative parallel threading, loop transformation, thread-level speculation, speculative multithreading, speculative parallelization
3	José F. Morales, Manuel Carro, Manuel V. Hermenegildo	Improved Compilation of Prolog to C Using Moded Types and Determinism Information.	PADL	2004	DBLP DOI BibTeX RDF	Prolog, C, optimizing compilation, global analysis
3	Xavier Rival	Symbolic transfer function-based approaches to certified compilation.	POPL	2004	DBLP DOI BibTeX RDF	compilation, static analysis, abstract interpretation, certification, translation validation
3	Giovanni Lagorio	Another step towards a smart compilation manager for Java.	SAC	2004	DBLP DOI BibTeX RDF	Java, separate compilation
3	Roman L. Lysecky, Frank Vahid, Sheldon X.-D. Tan	Dynamic FPGA routing for just-in-time FPGA compilation.	DAC	2004	DBLP DOI BibTeX RDF	FPGA, dynamic optimization, system-on-a-chip, platforms, codesign, hardware/software partitioning, just-in-time compilation, configurable logic, place and route, warp processors
3	Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Hamdi Yahyaoui, Sami Zhioua	a synergy between efficient interpretation and fast selective dynamic compilation for the acceleration of embedded Java virtual machines.	PPPJ	2004	DBLP DOI BibTeX RDF	J2ME/CLDC, selective dynamic compilation, threaded interpretation, Java, performance, embedded systems, virtual machine, acceleration, code reuse, KVM
3	K. V. Seshu Kumar	When and what to compile/optimize in a virtual machine?	SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	relative estimation for hotness detection, selective compilation, tier compilation, online profiling
3	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
3	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
3	Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng	Typed compilation of recursive datatypes.	TLDI	2003	DBLP DOI BibTeX RDF	typed compilation, standard ML, recursive types, coercions
3	Tom Hirschowitz, Xavier Leroy, J. B. Wells	Compilation of extended recursion in call-by-value functional languages.	PPDP	2003	DBLP DOI BibTeX RDF	compilation, semantics, recursion, functional languages
3	Dai Guilan, Tian Jinlan, Zhang Suqing, Jiang Weidu, Dai Jun	Retargetable cross compilation techniques: comparison and analysis of GCC and Zephyr.	SIGPLAN Notices	2002	DBLP DOI BibTeX RDF	compiler infrastructures, zephyr, intermediate representations, GCC, machine descriptions, cross compilation
3	Jack Liu, Timothy Kong, Fred C. Chow	Effective Compilation Support for Variable Instruction Set Architecture.	IEEE PACT	2002	DBLP DOI BibTeX RDF	configurable code generation, variable instruction set, embedded processor, instruction scheduling, dictionary, enumeration, program representation, resource modeling
3	Davide Ancona, Giovanni Lagorio, Elena Zucca	True separate compilation of Java classes.	PPDP	2002	DBLP DOI BibTeX RDF	object-oriented programming, types, separate compilation
3	Hendra Saputra, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Jie S. Hu, Chung-Hsing Hsu, Ulrich Kremer	Energy-conscious compilation based on voltage scaling.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	energy-aware compilation, optimizing compilers, voltage scaling, loop transformations
3	Michal Cierniak, Brian T. Lewis, James M. Stichnoth	Open runtime platform: flexibility with performance using interfaces.	Java Grande	2002	DBLP DOI BibTeX RDF	modular components, Java, virtual machine, interfaces, garbage collection, interface design, JVM, just-in-time compilation, dynamic compilation
3	Kemal Ebcioglu, Erik R. Altman, Michael Gschwind, Sumedh W. Sathaye	Dynamic Binary Translation and Optimization.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	adaptive code generation, profile-directed feedback, very long instruction word architectures, instruction set layering, virtual machines, instruction-level parallelism, dynamic optimization, just-in-time compilation, binary translation, Dynamic compilation, instruction set architectures
3	Toru Kisuki, Peter M. W. Knijnenburg, Michael F. P. O'Boyle	Combined Selection of Tile Sizes and Unroll Factors Using Iterative Compilation.	IEEE PACT	2000	DBLP DOI BibTeX RDF
3	Adrian Johnstone, Elizabeth Scott, Tim Womack	Reverse Compilation for Digital Signal Processors: A Working Example. (PDF / PS)	HICSS	2000	DBLP DOI BibTeX RDF	reverse compilation, VLIW architectures, DSP architectures
3	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
3	Byung-Sun Yang, Soo-Mook Moon, Seongbae Park, Junpyo Lee, SeungIl Lee, Jinpyo Park, Yoo C. Chung, Suhyun Kim, Kemal Ebcioglu, Erik R. Altman	LaTTe: A Java VM Just-In-Time Compiler with Fast and Efficient Register Allocation.	IEEE PACT	1999	DBLP DOI BibTeX RDF	Java JIT compilation, register allocation
3	Gagan Agrawal	Interprocedural Partial Redundancy Elimination With Application to Distributed Memory Compilation.	IEEE Trans. Parallel Distrib. Syst.	1998	DBLP DOI BibTeX RDF	Distributed memory compilation, communication optimizations, interprocedural analysis, Partial Redundancy Elimination, irregular applications
3	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
3	Xavier Leroy	Introduction.	Types in Compilation	1998	DBLP DOI BibTeX RDF
3	Naoki Kobayashi	Type-Based Analysis of Concurrent Programs.	Types in Compilation	1998	DBLP DOI BibTeX RDF
3	J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker	Stack-Based Typed Assembly Language.	Types in Compilation	1998	DBLP DOI BibTeX RDF
3	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
3	Michael Sperber, Peter Thiemann	Realistic Compilation by Partial Evaluation.	PLDI	1996	DBLP DOI BibTeX RDF	compilation of higher-order functional languages, semantics-directed compiler generation, partial evaluation
3	Olivier Roussel, Philippe Mathieu	A New Method for Knowledge Compilation: The Achievement by Cycle Search.	CADE	1996	DBLP DOI BibTeX RDF	expert systems, resolution, knowledge compilation
3	Dominique Boucher, Marc Feeley	Abstract Compilation: A New Implementation Paradigm for Static Analysis.	CC	1996	DBLP DOI BibTeX RDF	compilation, static analysis, Abstract interpretation, partial evaluation, control flow analysis
3	Robert E. Filman, Ted Linden	Communicating security agents. (PDF / PS)	WETICE	1996	DBLP DOI BibTeX RDF	communicating security agents, dynamically confederating security agents, preexisting applications, security goals, linguistic mechanisms, compilation mechanisms, application components, algorithmic definitions, agent code fragments, compilation mechanism, cost effective generation, redundant agents, subverted elements, computer networks, security models
3	Zhaohui Xie, Jiawei Han	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
3	Patrice Quinton, Sanjay V. Rajopadhye, Doran Wilde	On deriving data parallel code from a functional program. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	data parallel code, translation methodology, high level algorithmic specification, imperative data parallel language, applicative caching, compilation method, incremental transformations, compilation steps, loop nest generation, scheduling, formal specification, parallel programming, static analysis, partitioning, code generation, functional programming, functional program, program compilers, alignment, parallel languages, functional languages, program interpreters, abstract syntax tree, ALPHA
3	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
3	Michael L. Scott, Raphael A. Finkel	A Simple Mechanism for Type Security Across Compilation Units.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	type security, compilation units, structural-type clashes, symbol-table name, ordinary linker, message types, data structures, data structures, compilers, hash function, program compilers, distributed programs, run-time checking
3	Werner Aßmann	A Short Review of High Speed Compilation.	CC	1988	DBLP DOI BibTeX RDF
2	Juan Chen, Ravi Chugh, Nikhil Swamy	Type-preserving compilation of end-to-end verification of security enforcement.	PLDI	2010	DBLP DOI BibTeX RDF	bytecode languages, compilers, authorization, functional programming, information flow, dependent types, security type systems, mobile code security
2	Dong-Heon Jung, Soo-Mook Moon, Hyeong-Seok Oh	Hybrid Java compilation and optimization for digital TV software platform.	CGO	2010	DBLP DOI BibTeX RDF	ahead-of-time compiler, digital TV java, idle-time compiler, xlets, just-in-time compiler
2	Dehao Chen, Neil Vachharajani, Robert Hundt, Shih-wei Liao, Vinodha Ramasamy, Paul Yuan, Wenguang Chen, Weimin Zheng	Taming hardware event samples for FDO compilation.	CGO	2010	DBLP DOI BibTeX RDF	sampling profile, performance counters, feedback-directed optimization
2	Rajkishore Barik, Jisheng Zhao, Vivek Sarkar	Automatic vector instruction selection for dynamic compilation.	PACT	2010	DBLP DOI BibTeX RDF
2	Mohamed M. Sabry, José L. Ayala, David Atienza	Thermal-aware compilation for system-on-chip processing architectures.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	compiler, register-file, thermal-aware
2	Christian Bertin, Christophe Guillon, Koen De Bosschere	Compilation and virtualization in the HiPEAC vision.	DAC	2010	DBLP DOI BibTeX RDF	HiPEAC, deferred compilation, embedded virtualization
2	Joshua Ellul, Kirk Martinez	Run-time compilation of bytecode in wireless sensor networks.	IPSN	2010	DBLP DOI BibTeX RDF	wireless sensor networks, Java, compilers, bytecode
2	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
2	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
2	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
2	Qiang Liu, George A. Constantinides, Konstantinos Masselos, Peter Y. K. Cheung	Combining Data Reuse With Data-Level Parallelization for FPGA-Targeted Hardware Compilation: A Geometric Programming Framework.	IEEE Trans. on CAD of Integrated Circuits and Systems	2009	DBLP DOI BibTeX RDF
2		Query Compilation.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2		Query Compilation and Execution.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2	Marco Correia, Pedro Barahona	Type Parametric Compilation of Algebraic Constraints.	EPIA	2009	DBLP DOI BibTeX RDF
2	Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz	Stream-Based Dynamic Compilation for Object-Oriented Languages.	TOOLS	2009	DBLP DOI BibTeX RDF
2	Amir Hormati, Yoonseo Choi, Manjunath Kudlur, Rodric M. Rabbah, Trevor N. Mudge, Scott A. Mahlke	Flextream: Adaptive Compilation of Streaming Applications for Heterogeneous Architectures.	PACT	2009	DBLP DOI BibTeX RDF
2	Ioannis G. Baltopoulos, Andrew D. Gordon	Secure compilation of a multi-tier web language.	TLDI	2009	DBLP DOI BibTeX RDF	cryptography, compilers, integrity, type systems, web programming, web application security
2	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
2	Magnus O. Myreen, Konrad Slind, Michael J. C. Gordon	Extensible Proof-Producing Compilation.	CC	2009	DBLP DOI BibTeX RDF
2	Christoph Wernhard	Tableaux for Projection Computation and Knowledge Compilation.	TABLEAUX	2009	DBLP DOI BibTeX RDF
2	Igor Stéphan, Benoit Da Mota	A Unified Framework for Certificate and Compilation for QBF.	ICLA	2009	DBLP DOI BibTeX RDF
2	Fancong Zeng	Pattern-driven deadlock avoidance.	PADTAD	2009	DBLP DOI BibTeX RDF	Java, deadlock, exception, just-in-time (JIT) compilation
2	Hugh Leather, Michael F. P. O'Boyle, Bruce Worton	Raced profiles: efficient selection of competing compiler optimizations.	LCTES	2009	DBLP DOI BibTeX RDF	statistics, iterative compilation
2	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
2	Matthew A. Hammer, Umut A. Acar, Yan Chen	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
2	Ahmad Ghazal, Dawit Yimam Seid, Ramesh Bhashyam, Alain Crolotte, Manjula Koppuravuri, Vinod G	Dynamic plan generation for parameterized queries.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	optimizations, compilation, dynamic
2	Satoshi Sato	Crawling English-Japanese person-name transliterations from the web.	WWW	2009	DBLP DOI BibTeX RDF	automatic lexicon compilation, mining transliteration pairs, person name
2	Efe Yardimci, Michael Franz	Mostly static program partitioning of binary executables.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	Continuous compilation and optimization, dynamic parallelization, binary translation
2	David Zook, Emir Pasalic, Beata Sarna-Starosta	Typed Datalog.	PADL	2009	DBLP DOI BibTeX RDF	Meta-compilation, Type System, Datalog, Deductive Databases