Search results for "compiler"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	Torsten Braun, Isabelle Chrisment, Christophe Diot, François Gagnon, Laurent Gautier	ALFred, a Protocol Compiler for the Automated Implementation of Distributed Applications. (PDF / PS)	HPDC	1996	DBLP DOI BibTeX RDF	protocol compiler, ALFred, end-to-end communication functions, high performance implementation, control compiler, ALF compiler, data manipulation compiler, ILP compiler, high performance communication architectures, formal specification, formal specification, protocols, distributed processing, specification languages, software design, distributed applications, program compilers, software performance evaluation, software prototyping, software prototyping, ESTEREL, communication architecture, data handling
5	Lee Pike, Mark Shields, John Matthews	A verifying core for a cryptographic language compiler.	ACL2	2006	DBLP DOI BibTeX RDF	cryptography, certification, optimizing compiler, ACL2, high-assurance, certifying compiler, verifying compiler
5	Jonas Skeppstedt	Overcoming Limitations of Prefetching in Multiprocessors by Compiler-Initiated Coherence Actions.	IEEE PACT	1997	DBLP DOI BibTeX RDF	compiler-initiated coherence, CC-NUMA multiprocessor, compiler-controlled prefetching, read-stall time, write-latency, read-latency, memory access latency reduction, migratory sharing, parallel architectures, multiprocessors, prefetching, prefetch, compiler-analysis
5	Sophia Drossopoulou, James S. Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein	An Attribute Grammar for Ada.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	Ada compiler, Attribute grammer, Ordered attribute grammer, Ada, Static semantics, Compiler compiler
4	Kenneth Hoste, Andy Georges, Lieven Eeckhout	Automated just-in-time compiler tuning.	CGO	2010	DBLP DOI BibTeX RDF	compiler tuning, machine learning, java virtual machine (JVM), evolutionary search, just-in-time (JIT) compiler
4	Michael Pitzer, Heinz Dobler	An Object-Oriented and Generic Compiler Generator.	EUROCAST	2007	DBLP DOI BibTeX RDF	Visitor, Compiler, Design Patterns, Genericity, Interpreter, Attributed Grammars, Compiler Generator, EBNF
4	SungHyun Hong, Jin-Chul Kim, Jin Woo Shin, Soo-Mook Moon, Hyeong-Seok Oh, Jaemok Lee, Hyung-Kyu Choi	Java client ahead-of-time compiler for embedded systems.	LCTES	2007	DBLP DOI BibTeX RDF	J2ME CDC, Java ahead-of-time compiler, early binding, Java virtual machine, just-in-time compiler, relocation
4	Masayo Haneda, Peter M. W. Knijnenburg, Harry A. G. Wijshoff	Optimizing general purpose compiler optimization.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	back-end optimization, compiler switches, compiler tuning, statistical analysis
4	Masayo Haneda, Peter M. W. Knijnenburg, Harry A. G. Wijshoff	Generating new general compiler optimization settings.	ICS	2005	DBLP DOI BibTeX RDF	compiler tuning, compiler optimization, iterative compilation
4	Joey Paquet, Aihua Wu, Peter Grogono	Towards a framework for the general intensional programming compiler in the GIPSY.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	families of programming languages, compiler, framework, declarative programming, compiler generation, intensional programming
4	R. Daniel Resler, Dean M. Deaver	VCOCO: a visualisation tool for teaching compilers.	ITiCSE	1998	DBLP DOI BibTeX RDF	visible compiler, visual compiler, compiler compiler
4	Jonas Skeppstedt, Michel Dubois	Hybrid compiler/hardware prefetching for multiprocessors using low-overhead cache miss traps. (PDF / PS)	ICPP	1997	DBLP DOI BibTeX RDF	hybrid compiler/hardware prefetching, low-overhead cache miss traps, data prefetching technique, cache coherent multiprocessors, cache miss traps, trap handler, simulated multiprocessor, compiler, multiprocessors, multiprocessing systems
4	Jack W. Davidson, Sanjay Jinturkar	Aggressive Loop Unrolling in a Retargetable Optimizing Compiler.	CC	1996	DBLP DOI BibTeX RDF	Code improving transformations, Compiler optimizations, Loop transformations, Loop unrolling
4	Gene Saghi, Howard Jay Siegel	Compiler techniques for increasing CU/PE overlap in SIMD machines. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	CU/PE overlap, control unit, single program, loop index variable manipulation, automatic specification, ELP compiler, load balancing, parallel processing, program compilers, processing elements, SIMD machines, compiler techniques
4	Paul Kenyon, Prathima Agrawal, Sharad C. Seth	High-level microprogramming: an optimizing C compiler for a processing element of a CAD accelerator.	MICRO	1990	DBLP DOI BibTeX RDF	front-end DAG compiler, hand vs. compiled microcode, microcode compiler, programming environment for CAD, space/time overhead, code generation, hardware accelerator, performance data
4	Shi-Kuo Chang, Michael J. Tauber, Bing Yu, Jing-Sheng Yu	A Visual Language Compiler.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	visual language compiler, SIL-ICON compiler, icon-oriented systems, icon system, G, icon dictionary, operator dictionary, extended task action grammar, ETAG, text editor, Heidelberg icon set, user interfaces, specification, computer graphics, prototyping, generation, system design, interpretation, program compilers, software system, OD, ID
4	Véronique Royer	Transformations of denotational semantics in semantics directed compiler generation.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
4	James R. Larus, Paul N. Hilfinger	Register allocation in the SPUR Lisp compiler.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF	LISP, LISP
4	Robert R. Kessler, J. C. Peterson, Harold Carr, Gerald P. Duggan, J. Knell, Jed J. Krohnfeldt	EPIC - a retargetable, highly optimizing Lisp compiler.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF	LISP, LISP
4	Michael L. Powell	A portable optimizing compiler for Modula-2.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
4	Uwe F. Pleban	Compiler prototyping using formal semantics.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
4	Joseph A. Fisher, John R. Ellis, John C. Ruttenberg, Alexandru Nicolau	Parallel processing: a smart compiler and a dumb machine.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
4	Kai Koskimies, Kari-Jouko Räihä, Matti Sarjakoski	Compiler Construction Using Attribute Grammars.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
4	Marc A. Auslander, Martin Hopkins	An Overview of the PL.8 Compiler.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
4	Wilf R. LaLonde, Jim des Rivières	A Flexible Compiler Structure That Allows Dynamic Phase Ordering.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
4	I. M. Kipps	Experience with Porting Techniques on a COBOL 74 Compiler.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	COBOL
4	Ian W. Moor	An Applicative Compiler for a Parallel Machine.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	HOPE
4	James Bodwin, Laurette Bradley, Kohji Kanda, Diane Litle, Uwe F. Pleban	Experience with an Experimental Compiler Generator Based on Denotational Semantics.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
4	Harlan K. Seyfer	Tailoring Testing to a Specific Compiler - Experiences.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	Pascal
4	Rodney A. Brooks, Richard P. Gabriel, Guy L. Steele Jr.	An Optimizing Compiler for Lexically Scoped LISP.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	LISP
4	Harald Ganzinger, Robert Giegerich, Ulrich Möncke, Reinhard Wilhelm	A Truly Generative Semantics-Directed Compiler Generator.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
4	Martin L. Griss, Eric Benson, Anthony C. Hearn	Current Status of a Portable Lisp Compiler.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	LISP
4	Peter D. Mosses	A constructive approach to compiler correctness.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF
4	Kari-Jouko Räihä	Experiences with the compiler writing system HLP.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF
4	Neil D. Jones, David A. Schmidt	Compiler generation from denotational semantics.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF
4	Frank DeRemer, Richard Jüllig	Tree-affix dendrogrammars for languages and compilers.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF	context-sensitive syntax, affix grammars, language specification, attribute grammars, compiler generation, abstract syntax, static semantics, concrete syntax, translator writing system
4	Stuart I. Feldman	Implementation of a portable Fortran 77 compiler using modern tools.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF	FORTRAN 77
4	G. B. Bonkowski, W. Morven Gentleman, M. A. Malcolm	Porting the Zed compiler.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
4	R. G. G. Cattell, Joseph M. Newcomer, Bruce W. Leverett	Code generation in a machine-independent compiler.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
4	Paul W. Abrahams	The CIMS PL/I compiler.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF	PL/I
4	D. R. Milton, L. W. Kirchhoff, B. R. Rowland	An all(1) compiler generator.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
4	Gilbert J. Hansen, G. A. Shoults, J. D. Cointment	Construction of a transportable, multi-pass compiler for extended Pascal.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF	Pascal
4	Uwe F. Pleban	The use of transition matrices in a recursive-descent compiler.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
4	Andres Rudmik, E. S. Lee	Compiler design for efficient code generation and program optimization.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
4	Sam F. Mendicino, Robert A. Hughes, Jeanne T. Martin, Frank H. McMahon, John E. Ranelletti, Richard G. Zwakenberg	The LRLTRAN compiler.	Commun. ACM	1968	DBLP DOI BibTeX RDF	Polish processor, common subsegments, machine independence, scatter storage technique, optimization, compiler, compiler-compiler, tree representations
3	Yi Yang, Ping Xiang, Jingfei Kong, Huiyang Zhou	A GPGPU compiler for memory optimization and parallelism management.	PLDI	2010	DBLP DOI BibTeX RDF	compiler, gpgpu
3	Ross Tate, Michael Stepp, Sorin Lerner	Generating compiler optimizations from proofs.	POPL	2010	DBLP DOI BibTeX RDF	proof generalization, compiler optimization, explanation-based learning
3	Adam Chlipala	A verified compiler for an impure functional language.	POPL	2010	DBLP DOI BibTeX RDF	compiler verification, interactive proof assistants
3	Magnus O. Myreen	Verified just-in-time compiler on x86.	POPL	2010	DBLP DOI BibTeX RDF	self-modifying code, just in time, compiler verification
3	Michiaki Tatsubori, Akihiko Tozawa, Toyotaro Suzumura, Scott Trent, Tamiya Onodera	Evaluation of a just-in-time compiler retrofitted for PHP.	VEE	2010	DBLP DOI BibTeX RDF	dynamic scripting languages, just-in-time compiler, php
3	Andrew Casey, Jun Li, Jesse Doherty, Maxime Chevalier-Boisvert, Toheed Aslam, Anton Dubrau, Nurudeen Lameed, Amina Aslam, Rahul Garg, Soroush Radpour, Olivier Savary Belanger, Laurie J. Hendren, Clark Verbrugge	McLab: an extensible compiler toolkit for MATLAB and related languages.	C3S2E	2010	DBLP DOI BibTeX RDF	compiler, programming languages, scientific computing, Matlab, JIT compilation
3	Lixia Liu, Zhiyuan Li	A compiler-automated array compression scheme for optimizing memory intensive programs.	ICS	2010	DBLP DOI BibTeX RDF	adaptive code selection, bandwidth consumption reduction, compiler implementation, memory intensive programs, compression
3	Yi Yang, Ping Xiang, Jingfei Kong, Huiyang Zhou	An optimizing compiler for GPGPU programs with input-data sharing.	PPOPP	2010	DBLP DOI BibTeX RDF	compiler, gpgpu
3	Ozcan Ozturk, Mahmut T. Kandemir, Mary Jane Irwin, Sri Hari Krishna Narayanan	Compiler directed network-on-chip reliability enhancement for chip multiprocessors.	LCTES	2010	DBLP DOI BibTeX RDF	reliability, compiler, noc, chip multiprocessors
3	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
3	Ross Tate, Juan Chen, Chris Hawblitzel	Inferable object-oriented typed assembly language.	PLDI	2010	DBLP DOI BibTeX RDF	existential quantification, object-oriented compiler, typed assembly language (tal), type inference, certifying compiler
3	Timothy M. Jones, Michael F. P. O'Boyle, Jaume Abella, Antonio González, Oguz Ergin	Exploring the limits of early register release: Exploiting compiler analysis.	TACO	2009	DBLP DOI BibTeX RDF	compiler, energy efficiency, Low-power design, microarchitecture, register file
3	Grigoris Dimitroulakos, Nikos Kostaras, Michalis D. Galanis, Costas E. Goutis	Compiler assisted architectural exploration framework for coarse grained reconfigurable arrays.	The Journal of Supercomputing	2009	DBLP DOI BibTeX RDF	Coarse-grained reconfigurable arrays, High productivity tools, Modulo scheduling, Architectural exploration, Compiler techniques
3	Hoseok Chang, Junho Cho, Wonyong Sung	Compiler-Based Performance Evaluation of an SIMD Processor with a Multi-Bank Memory Unit.	Signal Processing Systems	2009	DBLP DOI BibTeX RDF	Multi-bank memory, Vectorizing compiler, Data allocation, On-chip memory, SIMD processor
3	Jason Ansel, Cy P. Chan, Yee Lok Wong, Marek Olszewski, Qin Zhao, Alan Edelman, Saman P. Amarasinghe	PetaBricks: a language and compiler for algorithmic choice.	PLDI	2009	DBLP DOI BibTeX RDF	algorithmic choice, implicitly parallel, adaptive, compiler, language, autotuning
3	Wonsun Ahn, Shanxiang Qi, M. Nicolaides, Josep Torrellas, J.-W. Lee, Xing Fang, Samuel P. Midkiff, David Wong	BulkCompiler: high-performance sequential consistency through cooperative compiler and hardware support.	MICRO	2009	DBLP DOI BibTeX RDF	atomic region, chunk-based architecture, compiler optimization, sequential consistency
3	Christophe Dubach, Timothy M. Jones, Edwin V. Bonilla, Grigori Fursin, Michael F. P. O'Boyle	Portable compiler optimisation across embedded programs and microarchitectures using machine learning.	MICRO	2009	DBLP DOI BibTeX RDF	architecture/compiler co-design, machine learning, design-space exploration
3	Anthony Danalis, Lori L. Pollock, D. Martin Swany, John Cavazos	MPI-aware compiler optimizations for improving communication-computation overlap.	ICS	2009	DBLP DOI BibTeX RDF	mpi-aware compiler optimizations, data flow analysis, communication-computation overlap
3	Nick Benton, Chung-Kil Hur	Biorthogonality, step-indexing and compiler correctness.	ICFP	2009	DBLP DOI BibTeX RDF	biorthogonality, step-indexing, denotational semantics, proof assistants, compiler verification
3	Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra	The architecture of the Utrecht Haskell compiler.	Haskell	2009	DBLP DOI BibTeX RDF	compiler architecture, haskell, attribute grammar, aspect orientation
3	Jan Procházka	Compiler Generator Based on Restarting Automata.	CIAA	2009	DBLP DOI BibTeX RDF	restarting automata, semantics, compiler-compiler
3	Seyong Lee, Seung-Jai Min, Rudolf Eigenmann	OpenMP to GPGPU: a compiler framework for automatic translation and optimization.	PPOPP	2009	DBLP DOI BibTeX RDF	openmp, compiler optimization, gpu, cuda, automatic translation
3	Lei Huang, Deepak Eachempati, Marcus W. Hervey, Barbara M. Chapman	Exploiting global optimizations for openmp programs in the openuh compiler.	PPOPP	2009	DBLP DOI BibTeX RDF	parallel ssa, openmp, compiler analysis
3	Seung Woo Son, Mahmut T. Kandemir, Mustafa Karaköy, Dhruva R. Chakrabarti	A compiler-directed data prefetching scheme for chip multiprocessors.	PPOPP	2009	DBLP DOI BibTeX RDF	compiler, chip multiprocessors, prefetching, helper thread
3	Thomas Kotzmann, Christian Wimmer, Hanspeter Mössenböck, Thomas Rodriguez, Kenneth Russell, David Cox	Design of the Java HotSpot™ client compiler for Java 6.	TACO	2008	DBLP DOI BibTeX RDF	deoptimization, Java, optimization, compiler, register allocation, just-in-time compilation, intermediate representation
3	Nastaran Baradaran, Pedro C. Diniz	A compiler approach to managing storage and memory bandwidth in configurable architectures.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	high-level hardware synthesis, storage allocation and management, Compiler analysis, configurable architectures
3	Jun Yan, Wei Zhang 0002	A time-predictable VLIW processor and its compiler support.	Real-Time Systems	2008	DBLP DOI BibTeX RDF	if-conversion, Compiler, VLIW, WCET analysis, Time-predictability
3	Robert C. Kirby, Anders Logg	Benchmarking Domain-Specific Compiler Optimizations for Variational Forms.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	FErari, FFC, complexity-reducing relations, variational form, optimization, compiler, Finite element method
3	Henrique Rebêlo, Ricardo Massa Ferreira Lima, Márcio Cornélio, Sérgio Soares	A JML Compiler Based on AspectJ.	ICST	2008	DBLP DOI BibTeX RDF	JML compiler, Aspect-Oriented Programming, AspectJ, Design by Contract, JML language
3	Laurence D. Merkle	Metaoptimization of the in-lining priority function for a compiler targeting a polymorphous computing architecture.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	polymorphous computing architectures, evolutionary computation, compiler optimization
3	Clifford Liem, Yuan Xiang Gu, Harold Johnson	A compiler-based infrastructure for software-protection.	PLAS	2008	DBLP DOI BibTeX RDF	compiler-based techniques, software protection, tamper resistance, code transformation
3	Sebastian Winkel, Rakesh Krishnaiyer, Robyn Sampson	Latency-tolerant software pipelining in a production compiler.	CGO	2008	DBLP DOI BibTeX RDF	latency-tolerant scheduling, load clustering, compiler, code generation, prefetching, software pipelining, modulo scheduling, memory latency, memory-level parallelism, itanium, epic
3	Kenneth Hoste, Lieven Eeckhout	Cole: compiler optimization level exploration.	CGO	2008	DBLP DOI BibTeX RDF	multi-objective search, compiler optimization
3	Akim Demaille, Roland Levillain, Benoît Perrot	A set of tools to teach compiler construction.	ITiCSE	2008	DBLP DOI BibTeX RDF	object oriented programming, design patterns, tools, compiler design, educational projects
3	Seung Woo Son, Sai Prashanth Muralidhara, Ozcan Ozturk, Mahmut T. Kandemir, Ibrahim Kolcu, Mustafa Karaköy	Profiler and compiler assisted adaptive I/O prefetching for shared storage caches.	PACT	2008	DBLP DOI BibTeX RDF	shared storage cache, adaptive, compiler, profiler, prefetching
3	Christophe Dubach, Timothy M. Jones, Michael F. P. O'Boyle	Exploring and predicting the architecture/optimising compiler co-design space.	CASES	2008	DBLP DOI BibTeX RDF	architecture/compiler co-design, performance prediction, design-space exploration
3	Gregory B. Prokopski, Clark Verbrugge	Compiler-Guaranteed Safety in Code-Copying Virtual Machines.	CC	2008	DBLP DOI BibTeX RDF
3	Michael I. Schwartzbach	Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation.	CC	2008	DBLP DOI BibTeX RDF
3	Cheng Wang, Victor Ying, Youfeng Wu	Supporting Legacy Binary Code in a Software Transaction Compiler with Dynamic Binary Translation and Optimization.	CC	2008	DBLP DOI BibTeX RDF
3	Marie-Hélène Nienaltowski, Michela Pedroni, Bertrand Meyer	Compiler error messages: what can help novices?	SIGCSE	2008	DBLP DOI BibTeX RDF	compiler error messages, novice programmers
3	Antonia Zhai, Shengyue Wang, Pen-Chung Yew, Guojin He	Compiler optimizations for parallelizing general-purpose applications under thread-level speculation.	PPOPP	2008	DBLP DOI BibTeX RDF	compiler optimizations, parallelizing compiler, thread-level speculation, multicore systems
3	Doosan Cho, Sudeep Pasricha, Ilya Issenin, Nikil Dutt, Yunheung Paek, SunJun Ko	Compiler driven data layout optimization for regular/irregular array access patterns.	LCTES	2008	DBLP DOI BibTeX RDF	compiler, memory hierarchy, energy consumption, data placement
3	Eric Eide, John Regehr	Volatiles are miscompiled, and what to do about it.	EMSOFT	2008	DBLP DOI BibTeX RDF	compiler defect, compiler testing, random program generation, random testing, automated testing, volatile
3	Naveen Neelakantam, Ravi Rajwar, Suresh Srinivas, Uma Srinivasan, Craig B. Zilles	Hardware Atomicity: An Effective Abstraction for Reliable Software Speculation.	IEEE Micro	2008	DBLP DOI BibTeX RDF	Java, optimization, architecture, compiler, checkpoint, atomicity, speculation, isolation, compiler-architecture interactions
3	Raimund Moser, Barbara Russo, Giancarlo Succi	Empirical analysis on the correlation between GCC compiler warnings and revision numbers of source files in five industrial software projects.	Empirical Software Engineering	2007	DBLP DOI BibTeX RDF	Compiler warnings, Revision numbers, Bootstrap, Meta-analysis, Software defect prediction
3	Po-Kuan Huang, Soheil Ghiasi	Efficient and scalable compiler-directed energy optimization for realtime applications.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	energy-aware compiler, Leakage, technology scaling
3	Xuejun Yang, Huizhan Yi, Xiangli Qu, Haifang Zhou	Compiler-directed power optimization of high-performance interconnection networks for load-balancing MPI applications.	Frontiers of Computer Science in China	2007	DBLP DOI BibTeX RDF	compiler-directed power optimization, high performance interconnection network, MPI application
3	Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu, Zhifang Wang	A pointer logic and certifying compiler.	Frontiers of Computer Science in China	2007	DBLP DOI BibTeX RDF	pointer logic, Hoare logic, Proof-Carrying Code, software safety, certifying compiler
3	José de Oliveira Guimarães	Learning compiler construction by examples.	SIGCSE Bulletin	2007	DBLP DOI BibTeX RDF	object-oriented programming, learning by examples, compiler construction
3	Adam Chlipala	A certified type-preserving compiler from lambda calculus to assembly language.	PLDI	2007	DBLP DOI BibTeX RDF	denotational semantics, dependent types, compiler verification, interactive proof assistants
3	Tomoyuki Aotani, Hidehiko Masuhara	SCoPE: an AspectJ compiler for supporting user-defined analysis-based pointcuts.	AOSD	2007	DBLP DOI BibTeX RDF	analysis-based pointcuts, aspect-oriented programming languages, point-cuts, AOP, compiler design
3	Nghi Nguyen, Angel Dominguez, Rajeev Barua	Scratch-pad memory allocation without compiler support for java applications.	CASES	2007	DBLP DOI BibTeX RDF	java, embedded systems, compiler, JVM, memory allocation, JIT, scratch-pad
3	Chris Zimmer, Stephen Roderick Hines, Prasad A. Kulkarni, Gary S. Tyson, David B. Whalley	Facilitating compiler optimizations through the dynamic mapping of alternate register structures.	CASES	2007	DBLP DOI BibTeX RDF	register queues, compiler optimizations, software pipelining
3	Florian Brandner, Dietmar Ebner, Andreas Krall	Compiler generation from structural architecture descriptions.	CASES	2007	DBLP DOI BibTeX RDF	ADL, architecture description, retargetable compiler
3	Lingxiang Xiang, Jiangwei Huang, Weihua Sheng, Tianzhou Chen	The Design and Implementation of the DVS Based Dynamic Compiler for Power Reduction.	APPT	2007	DBLP DOI BibTeX RDF	low power, DVS, dynamic compiler