Search results for "compiler"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
39	Christian Weber	Creation of a Family of Compilers and Runtime Environments by Combining Reusable Components.	CC	1992	DBLP DOI BibTeX RDF	compiler family, runtime system design, compiler design, reusable software, runtime environment
39	Gerhard Goos	Compiler Verification and Compiler Architecture.	COCV@ETAPS	2002	DBLP DOI BibTeX RDF
39	Jean-Marie Larchevêque	Using an LALR Compiler Compiler to Generate Incremental Parsers.	CC	1990	DBLP DOI BibTeX RDF
39	Hanspeter Mössenböck	Ein einfacher Compiler-Compiler für Mikrocomputer / Α simple compiler-compiler for microcomputer.	Elektron. Rechenanlagen	1984	DBLP DOI BibTeX RDF
38	Paul Biggar, David Gregg	Building SSA in a Compiler for PHP.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
38	Aviral Shrivastava, Nikil D. Dutt	Compiler Aided Design of Embedded Computers.	The Compiler Design Handbook, 2nd ed.	2007	DBLP BibTeX RDF
38	Kapil Vaswani	Statistical and Machine Learning Techniques in Compiler Design.	The Compiler Design Handbook, 2nd ed.	2007	DBLP BibTeX RDF
38	Subramanian Rajagopalan, Sharad Malik	A Retargetable Very Long Instruction Word Compiler Framework for Digital Signal Processors.	The Compiler Design Handbook, 2nd ed.	2007	DBLP BibTeX RDF
38	Y. N. Srikant, K. Ananda Vardhan	Energy-Aware Compiler Optimizations.	The Compiler Design Handbook, 2nd ed.	2007	DBLP BibTeX RDF
38	Subramanian Rajagopalan, Sharad Malik	Retargetable Very Long Instuction Word Compiler Framework for Digital Signal Processors.	The Compiler Design Handbook	2002	DBLP DOI BibTeX RDF
38	Rajiv Gupta 0001, Eduard Mehofer, Youtao Zhang	Profile-Guided Compiler Optimizations.	The Compiler Design Handbook	2002	DBLP DOI BibTeX RDF
38	Y. N. Srikant	Scalar Compiler Optimizations on the Static Single Assignment Form and the Flow Graph.	The Compiler Design Handbook	2002	DBLP DOI BibTeX RDF
38	Raja Das, Yuan-Shin Hwang, Joel H. Saltz, Alan Sussman	Runtime and Compiler Support for Irregular Computations.	Compiler Optimizations for Scalable Parallel Systems Languages	2001	DBLP DOI BibTeX RDF
38	Daniel J. Palermo, Eugene W. Hodges IV, Prithviraj Banerjee	Compiler Optimization of Dynamic Data Distributions for Distributed-Memory Multicomputers.	Compiler Optimizations for Scalable Parallel Systems Languages	2001	DBLP DOI BibTeX RDF
38	David A. Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin	ORBIT: an optimizing compiler for scheme.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF	SCHEME
38	Roy F. Touzeau	A Fortran compiler for the FPS-164 scientific computer.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
38	David C. Robbins	Engineering a high-capacity Pascal compiler for high performance.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
38	Uwe Schmidt 0002, Reinhard Völler	A multi-language compiler system with automatically generated codegenerators.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
38	Uwe F. Pleban	Formal Semantics and Compiler Generation.	Programmierumgebungen und Compiler	1984	DBLP BibTeX RDF
38	Uwe Kastens	The GAG-System - A Tool for Compiler Construction.	Method and tools for compiler construction	1983	DBLP BibTeX RDF
38	Lawrence C. Paulson	Compiler Generation from Denotational Semantics.	Method and tools for compiler construction	1983	DBLP BibTeX RDF
38	Kari-Jouko Räihä	Attribute Grammar Design using the Compiler Writing System HLP.	Method and tools for compiler construction	1983	DBLP BibTeX RDF
38	Howard Z. Marshall	The Linear Graph Package, a Compiler Building Environment.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
38	James J. Horning	What the Compiler Should Tell the User.	Compiler Construction	1976	DBLP DOI BibTeX RDF
38	Friedrich L. Bauer	Historical Remarks on Compiler Construction.	Compiler Construction	1976	DBLP DOI BibTeX RDF
38	William M. McKeeman	Compiler Construction.	Compiler Construction	1976	DBLP DOI BibTeX RDF
38	James J. Horning	Structuring Compiler Development.	Compiler Construction	1976	DBLP DOI BibTeX RDF
38	M. Griffiths	Introduction to Compiler-Compilers.	Compiler Construction	1976	DBLP DOI BibTeX RDF
38	Donald D. Cowan, J. Wesley Graham	Design characteristics of the WATFOR compiler.	Symposium on Compiler Optimization	1970	DBLP DOI BibTeX RDF
38	James A. Painter	Effectiveness of an optimizing compiler for arithmetic expressions.	Symposium on Compiler Optimization	1970	DBLP DOI BibTeX RDF
38	Thomas E. Cheatham Jr., Thomas A. Standish	Optimization aspects of compiler- compilers.	Symposium on Compiler Optimization	1970	DBLP DOI BibTeX RDF
37	Zachary Tatlock, Sorin Lerner	Bringing extensibility to verified compilers.	PLDI	2010	DBLP DOI BibTeX RDF	compiler optimization, correctness, extensibility
37	Youngsun Han, Seokjoong Hwang, Seon Wook Kim	Jaguar: a compiler infrastructure for Java reconfigurable computing.	FPGA	2006	DBLP DOI BibTeX RDF
37	Heiko Falk, Paul Lokuciejewski, Henrik Theiling	Design of a WCET-Aware C Compiler.	ESTIMedia	2006	DBLP DOI BibTeX RDF
37	Koji Okuma, Yasuhiko Minamide	Executing Verified Compiler Specification.	APLAS	2003	DBLP DOI BibTeX RDF
37	Steven Carroll, Constantine D. Polychronopoulos	A framework for incremental extensible compiler construction.	ICS	2003	DBLP DOI BibTeX RDF	compilers, extensibility, incremental analysis
37	Yi-Ping You, Chingren Lee, Jenq Kuen Lee	Compiler Analysis and Supports for Leakage Power Reduction on Microprocessors.	LCPC	2002	DBLP DOI BibTeX RDF
37	George C. Necula	Translation validation for an optimizing compiler.	PLDI	2000	DBLP DOI BibTeX RDF
37	David I. August, Daniel A. Connors, John C. Gyllenhaal, Wen-mei W. Hwu	Architectural Support for Compiler-Synthesized Dynamic Branch Prediction Strategies: Rationale and Initial Results.	HPCA	1997	DBLP DOI BibTeX RDF
37	Rajeev Thakur, Rajesh Bordawekar, Alok N. Choudhary	Compiler and runtime support for out-of-core HPF programs.	International Conference on Supercomputing	1994	DBLP DOI BibTeX RDF
37	Viswanathan Kodaganallur	Incorporating Language Processing into Java Applications: A JavaCC Tutorial.	IEEE Softw.	2004	DBLP DOI BibTeX RDF	Java Compiler Compiler, Extended Backus-Naur Form, compilers, languages, compiler generators, translator writing systems, JavaCC, EBNF
37	G. Butler, Christine Mingins	YooccLa: A Parser Generator for L-Attributed Grammars.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	YooccLa, left-attributed grammars, object-oriented compiler compiler, nonleft-recursive LL grammar, EBNF-like language, Eiffel features, semantic actions, Eiffel Parse library, syntax class, software engineering, object-oriented programming, specification languages, object-oriented languages, software libraries, attribute grammars, compiler generators, parser generator
37	Jan Procházka	Compiler Generator Based on Restarting Automata.	CIAA	2009	DBLP DOI BibTeX RDF	restarting automata, semantics, compiler-compiler
37	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
37	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
37	Joey Paquet, Aihua Wu 0001, 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
37	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
37	Martin Ruckert	Teaching compiler construction and language design: making the case for unusual compiler projects with postscript as the target language.	SIGCSE	2007	DBLP DOI BibTeX RDF	design of programming languages, compiler construction, postscript, lex, Yacc
37	Josef Grosch, Helmut Emmelmann	A Tool Box for Compiler Construction.	CC	1990	DBLP DOI BibTeX RDF
37	Petr Kroha, Peter Fritzson	A Compiler with Scheduling for a Specialized Synchronous Multiprocessor System.	CC	1990	DBLP DOI BibTeX RDF
36	Vikram S. Adve, John M. Mellor-Crummey	Advanced Code Generation for High Performance Fortran.	Compiler Optimizations for Scalable Parallel Systems Languages	2001	DBLP DOI BibTeX RDF
36	Gail E. Kaiser	Generation of run-time environments.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
36	David Callahan, Keith D. Cooper, Ken Kennedy, Linda Torczon	Interprocedural constant propagation.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
36	Keith D. Cooper, Ken Kennedy, Linda Torczon	Interprocedural optimization: eliminating unnecessary recompilation.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
36	Hans-Juergen Boehm, Alan J. Demers	Implementing RUSSELL.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF	RUSSELL
36	Christopher W. Fraser, Alan L. Wendt	Integrating code generation and optimization.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
36	Fabrizio Baiardi, Laura Ricci, Marco Vanneschi	Static checking of interprocess communication in ECSP.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
36	M. I. Blower	An efficient implementation of visibility in Ada.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
36	M. Donald MacLaren	Inline routines in VAXELN Pascal.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
36	Susan L. Graham, Robert R. Henry, Robert A. Schulman	An Experiment in Table Driven Code Generation.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
36	Theodore P. Baker	A Single-Pass Syntax-Directed Front End for Ada.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	Ada
36	Ravi Sethi	Control Flow Aspects of Semantics Directed Compiling (Summary).	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
36	David W. Krumme, David H. Ackley	A Practical Method for Code Generation Based on Exhaustive Search.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
36	David A. Schmidt	State transition machines for lambda calculus expressions.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF
36	Ronald J. Mintz, Gerald A. Fisher, Micha Sharir	The design of a global optimizer.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
36	James B. Morris	Data abstraction: A static implementation strategy.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF	Generic procedure, Inline procedure, Open procedure, Programming languages, Abstract data type, Data type
36	Graeme Williams	Program checking.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
36	Janet Fabri	Automatic storage optimization.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
35	Yingchun Zhu, Laurie J. Hendren	Locality Analysis for Parallel C Programs.	IEEE PACT	1997	DBLP DOI BibTeX RDF	parallel C programs, parallel C dialect, EARTH-C, type inference algorithms, fast points-to analysis, indirect reference, automatic specialization, EARTH-C compiler, low level threaded code, EARTH-C multithreaded architecture, dynamically allocated data structures, parallel programming, parallel architectures, memory model, compiler techniques, parallel performance, locality analysis, remote memory accesses
35	Milos Rackovic	Construction of a translator for robot-programming languages.	J. Intell. Robotic Syst.	1996	DBLP DOI BibTeX RDF	robot-programming language, translator, Compiler-compiler
35	Ross Tate, Michael Stepp, Sorin Lerner	Generating compiler optimizations from proofs.	POPL	2010	DBLP DOI BibTeX RDF	proof generalization, compiler optimization, explanation-based learning
35	Yi Yang 0018, Ping Xiang, Jingfei Kong, Huiyang Zhou	A GPGPU compiler for memory optimization and parallelism management.	PLDI	2010	DBLP DOI BibTeX RDF	compiler, gpgpu
35	Lixia Liu, Zhiyuan Li 0001	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
35	Wonsun Ahn, Shanxiang Qi, M. Nicolaides, Josep Torrellas, Jae-Woo Lee, Xing Fang, Samuel P. Midkiff, David C. Wong 0001	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
35	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
35	Kenneth Hoste, Lieven Eeckhout	Cole: compiler optimization level exploration.	CGO	2008	DBLP DOI BibTeX RDF	multi-objective search, compiler optimization
35	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
35	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
35	José de Oliveira Guimarães	Learning compiler construction by examples.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	object-oriented programming, learning by examples, compiler construction
35	Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu, Zhifang Wang	A pointer logic and certifying compiler.	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	pointer logic, Hoare logic, Proof-Carrying Code, software safety, certifying compiler
35	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
35	Sandya Mannarswamy, Shruti Doval, Hariharan Sandanagobalane, Mahesha Nanjundaiah	TRICK: tracking and reusing compiler's knowledge.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	optimization, compiler, reuse, program analysis, tools
35	Jason Hickey, Aleksey Nogin	Formal compiler construction in a logical framework.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Formal compiler, Higher-order abstract syntax, Logical programming environment
35	Joshua J. Yi, Hans Vandierendonck, Lieven Eeckhout, David J. Lilja	The exigency of benchmark and compiler drift: designing tomorrow's processors with yesterday's tools.	ICS	2006	DBLP DOI BibTeX RDF	benchmark drift, compiler drift, microprocessor design
35	Feihui Li, Guangyu Chen, Mahmut T. Kandemir, Mary Jane Irwin	Compiler-directed proactive power management for networks.	CASES	2005	DBLP DOI BibTeX RDF	low power, network, compiler, proactive
35	Wei Zhang 0002, Jie S. Hu, Vijay Degalahal, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin	Reducing instruction cache energy consumption using a compiler-based strategy.	ACM Trans. Archit. Code Optim.	2004	DBLP DOI BibTeX RDF	compiler optimizations, Leakage power, cache design
35	James R. Ezick	An optimizing compiler for batches of temporal logic formulas.	ISSTA	2004	DBLP DOI BibTeX RDF	model checking, temporal logic, optimizing compiler
35	Angeles G. Navarro, Emilio L. Zapata, David A. Padua	Compiler Techniques for the Distribution of Data and Computation.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	load balancing, Parallelizing compiler, communication pattern, mixed integer nonlinear programming, locality analysis
35	Xinmin Tian, Milind Girkar, Sanjiv Shah, Douglas Armstrong, Ernesto Su, Paul Petersen	Compiler and Runtime Support for Running OpenMP Programs on Pentium-and Itanium-Architectures.	HIPS	2003	DBLP DOI BibTeX RDF	Hyper-Threading technology, Parallelization, OpenMP, compiler optimization, shared-memory multiprocessor, thread-level parallelism
35	Xinmin Tian, Yen-Kuang Chen, Milind Girkar, Steven Ge, Rainer Lienhart, Sanjiv Shah	Exploring the Use of Hyper-Threading Technology for Multimedia Applications with Intel® OpenMP* Compiler.	IPDPS	2003	DBLP DOI BibTeX RDF	Hyper-Threading technology, multimedia algorithm, parallelization, OpenMP, compiler optimization
35	Jason Hickey, Aleksey Nogin, Adam Granicz	Compiler implementation in a formal logical framework.	MERLIN	2003	DBLP DOI BibTeX RDF	formal compiler, higher-order abstract syntax, logical programming environment
35	Wei Zhang 0002, Mustafa Karaköy, Mahmut T. Kandemir, Guangyu Chen	A compiler approach for reducing data cache energy.	ICS	2003	DBLP DOI BibTeX RDF	data caches, energy optimization, compiler analysis
35	Li-Ling Chen, Youfeng Wu	Aggressive Compiler Optimization and Parallelization with Thread-Level Speculation.	ICPP	2003	DBLP DOI BibTeX RDF	high-performance architecture and region formation, compiler optimizations, speculative execution, thread-level parallelism
35	Yunheung Paek, Angeles G. Navarro, Emilio L. Zapata, Jay P. Hoeflinger, David A. Padua	An Advanced Compiler Framework for Non-Cache-Coherent Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	array privatization, noncoherent caches, Put/Get, compiler, multiprocessors, dependence analysis, shared-memory programming
35	Christian S. Collberg	Automatic derivation of compiler machine descriptions.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Back-end generators, compiler configuration scripts, retargeting
35	Dirk Fischer 0001, Jürgen Teich, Michael Thies, Ralph Weper	Efficient architecture/compiler co-exploration for ASIPs.	CASES	2002	DBLP DOI BibTeX RDF	architecture/compiler codesign, multiobjective design space exploration, ASIP, retargetable compilation
35	Alex K. Jones, Debabrata Bagchi, Satrajit Pal, Xiaoyong Tang, Alok N. Choudhary, Prithviraj Banerjee	PACT HDL: a C compiler targeting ASICs and FPGAs with power and performance optimizations.	CASES	2002	DBLP DOI BibTeX RDF	FPGA, low-power, compiler, SoC, synthesis, pipelining, VHDL, IP, ASIC, high-performance, FSM, Verilog, HDL, levelization
35	Angela Demke Brown, Todd C. Mowry, Orran Krieger	Compiler-based I/O prefetching for out-of-core applications.	ACM Trans. Comput. Syst.	2001	DBLP DOI BibTeX RDF	prefetching, compiler optimization, virtual memory
35	Lynn Choi, Pen-Chung Yew	Hardware and Compiler-Directed Cache Coherence in Large-Scale Multiprocessors: Design Considerations and Performance Study.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	performance evaluation, compiler, Computer architecture, shared-memory multiprocessors, cache coherence, memory systems
35	Seon Wook Kim, Rudolf Eigenmann	Compiler Techniques for Energy Saving in Instruction Caches of Speculative Parallel Microarchitectures.	ICPP	2000	DBLP DOI BibTeX RDF	speculative microarchitecture, compiler, branch prediction, energy saving, instruction cache