Search results for "compiler"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
31	Carrie J. Brownhill, Alexandru Nicolau, Steven Novack, Constantine D. Polychronopoulos	The PROMIS Compiler Prototype.	IEEE PACT	1997	DBLP DOI BibTeX RDF	HTG, parallelizing, compiler, hierarchical, multi-level
31	Vojin Zivojnovic, Stefan Pees, C. Schälger, Markus Willems, Rainer Schoenen, Heinrich Meyr	DSP Processor/Compiler Co-Design: A Quantitative Approach.	ISSS	1996	DBLP DOI BibTeX RDF	processor/compiler codesign, benchmarking methodology, DSPstone, fast processor simulation, SuperSim, compiled processor simulation, performance evaluation, embedded systems, digital signal processing, digital signal processing chips, LISA, top-down approach, machine description
31	Jesper Jørgensen	Generating a Compiler for a Lazy Language by Partial Evaluation.	POPL	1992	DBLP DOI BibTeX RDF	binding time improvements, lazy functional languages, partial evaluation, compiler generation
31	Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra	The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity.	IFL	2007	DBLP DOI BibTeX RDF
31	Jack Liu, Youfeng Wu	Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations' Perspective.	CC	2006	DBLP DOI BibTeX RDF
31	Yuan Lin, David A. Padua	Analysis of Irregular Single-Indexed Array Accesses and Its Applications in Compiler Optimizations.	CC	2000	DBLP DOI BibTeX RDF
31	William M. Waite	Compiler Construction: Craftmanship or Engineering?	CC	1996	DBLP DOI BibTeX RDF	complexity, formal methods, modularity, Problem solving, reusability
31	Justiani, Laurie J. Hendren	Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler.	CC	1994	DBLP DOI BibTeX RDF
31	Johan Ringström, Peter Fritzson, Mikael Pettersson	Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification.	CC	1994	DBLP DOI BibTeX RDF
31	Hanspeter Mössenböck	A Generator for Production Quality Compilers.	CC	1990	DBLP DOI BibTeX RDF
31	Don Milos, Uwe F. Pleban, George Loegel	Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited.	POPL	1984	DBLP DOI BibTeX RDF
31	Akira Fusaoka, Masaharu Hirayama	Compiler Chip: A Hardware Implementation of Compiler.	ASPLOS	1982	DBLP DOI BibTeX RDF
29	Henrique Rebêlo, Sérgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Márcio Cornélio	Implementing Java modeling language contracts with AspectJ.	SAC	2008	DBLP DOI BibTeX RDF	JML compiler, aspect-oriented programming, AspectJ, design by contract, JML language
29	Xipeng Shen, Yaoqing Gao, Chen Ding 0001, Roch Archambault	Lightweight reference affinity analysis.	ICS	2005	DBLP DOI BibTeX RDF	data interleving, data regrouping, compiler, memory optimization, frequency, affinity
29	Mark W. Bailey, Jack W. Davidson	Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Target-sensitive test suite generation, automatic fault isolation, procedure-calling convention, compiler testing and debugging, code generation
29	Ananta Tiwari, Chun Chen 0002, Jacqueline Chame, Mary W. Hall, Jeffrey K. Hollingsworth	A scalable auto-tuning framework for compiler optimization.	IPDPS	2009	DBLP DOI BibTeX RDF
29	Gaurav Mittal, David Zaretsky, Xiaoyong Tang, Prithviraj Banerjee	An Overview of a Compiler for Mapping Software Binaries to Hardware.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
29	Seung Woo Son 0001, Guangyu Chen, Ozcan Ozturk 0001, Mahmut T. Kandemir, Alok N. Choudhary	Compiler-Directed Energy Optimization for Parallel Disk Based Systems.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	Disk subsystem, I/O traces, parallel I/O, optimizing compilers, power-aware computing
29	John Cavazos, Grigori Fursin, Felix V. Agakov, Edwin V. Bonilla, Michael F. P. O'Boyle, Olivier Temam	Rapidly Selecting Good Compiler Optimizations using Performance Counters.	CGO	2007	DBLP DOI BibTeX RDF
29	Kapil Vaswani, Matthew J. Thazhuthaveetil, Y. N. Srikant, P. J. Joseph	Microarchitecture Sensitive Empirical Models for Compiler Optimizations.	CGO	2007	DBLP DOI BibTeX RDF
29	Jun Shirako, Hironori Kasahara, Vivek Sarkar	Language Extensions in Support of Compiler Parallelization.	LCPC	2007	DBLP DOI BibTeX RDF
29	Bechir Zalila, Jérôme Hugues, Laurent Pautet	An improved IDL compiler for optimizing CORBA applications.	SIGAda	2006	DBLP DOI BibTeX RDF	PolyORB, real-time, Ada, compilation, CORBA, embedded, IDL, OMG
29	Jingling Xue	Compiler-Directed Scratchpad Memory Management.	ICESS	2005	DBLP DOI BibTeX RDF
29	Elizabeth L. White, Ranjan Sen, Nina Stewart	Hide and show: using real compiler code for teaching.	SIGCSE	2005	DBLP DOI BibTeX RDF	SSCLI, compilers, parsing
29	Carlos García Quiñones, Carlos Madriles, F. Jesús Sánchez, Pedro Marcuello, Antonio González 0001, Dean M. Tullsen	Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices.	PLDI	2005	DBLP DOI BibTeX RDF	pre-computation slices, automatic parallelization, thread-level parallelism, speculative multithreading
29	Sukyoung Ryu, Norman Ramsey	Source-Level Debugging for Multiple Languages with Modest Programming Effort.	CC	2005	DBLP DOI BibTeX RDF
29	Dongkeun Kim, Donald Yeung	A study of source-level compiler algorithms for automatic construction of pre-execution code.	ACM Trans. Comput. Syst.	2004	DBLP DOI BibTeX RDF	pre-execution, prefetch conversion, speculative loop parallelization, multithreading, program slicing, Data prefetching, memory-level parallelism
29	Jialin Dou, Marcelo H. Cintra	Compiler Estimation of Load Imbalance Overhead in Speculative Parallelization.	IEEE PACT	2004	DBLP DOI BibTeX RDF
29	Antonia Zhai, Christopher B. Colohan, J. Gregory Steffan, Todd C. Mowry	Compiler Optimization of Memory-Resident Value Communication Between Speculative Threads.	CGO	2004	DBLP DOI BibTeX RDF
29	Fu San Hiew, Kah Hoe Koay	High-Level Language and Compiler for Reconfigurable Computing.	CIS	2004	DBLP DOI BibTeX RDF
29	Spyridon Triantafyllis, Manish Vachharajani, Neil Vachharajani, David I. August	Compiler Optimization-Space Exploration.	CGO	2003	DBLP DOI BibTeX RDF
29	Wei Du, Gagan Agrawal	Compiler Supported Coarse-Grained Pipelined Parallelism: Why and How.	IPDPS	2003	DBLP DOI BibTeX RDF
29	Parry Husbands, Costin Iancu, Katherine A. Yelick	A performance analysis of the Berkeley UPC compiler.	ICS	2003	DBLP DOI BibTeX RDF	performance, parallel, UPC, global address space
29	Hironori Kasahara, Motoki Obata, Kazuhisa Ishizaka, Keiji Kimura, Hiroki Kaminaga, Hirofumi Nakano, Kouhei Nagasawa, Akiko Murai, Hiroki Itagaki, Jun Shirako	Multigrain Automatic Parallelization in Japanese Millennium Project IT21 Advanced Parallelizing Compiler.	PARELEC	2002	DBLP DOI BibTeX RDF
29	Yong Liu 0023, Zhiqiang Gao, Xiangqing He	A Flexible Embedded SRAM Compiler.	DELTA	2002	DBLP DOI BibTeX RDF
29	Jens Wagner, Rainer Leupers	C compiler design for a network processor.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
29	Jens Wagner, Rainer Leupers	C Compiler Design for an Industrial Network Processor.	LCTES/OM	2001	DBLP DOI BibTeX RDF	compilers, network processors, embedded processors
29	Sibylle Schupp, Douglas P. Gregor, David R. Musser, Shin-Ming Liu	User-Extensible Simplification - Type-Based Optimizer Generators.	CC	2001	DBLP DOI BibTeX RDF
29	Prithviraj Banerjee, U. Nagaraj Shenoy, Alok N. Choudhary, Scott Hauck, C. Bachmann, Malay Haldar, Pramod G. Joisha, Alex K. Jones, Abhay Kanhere, Anshuman Nayak, S. Periyacheri, M. Walkden, David Zaretsky	A MATLAB Compiler for Distributed, Heterogeneous, Reconfigurable Computing Systems.	FCCM	2000	DBLP DOI BibTeX RDF
29	Kazuhisa Ishizaka, Motoki Obata, Hironori Kasahara	Coarse-Grain Task Parallel Processing Using the OpenMP Backend of the OSCAR Multigrain Parallelizing Compiler.	ISHPC	2000	DBLP DOI BibTeX RDF
29	Michael J. Schulte, Vitaly Zelov, Ahmet Akkas, James Craig Burley	The Interval-Enhanced GNU Fortran Compiler.	Reliab. Comput.	1999	DBLP DOI BibTeX RDF
29	Zhong Shao, Andrew W. Appel	A Type-Based Compiler for Standard ML.	PLDI	1995	DBLP DOI BibTeX RDF	Standard ML
29	Andrew W. Appel	Axiomatic Bootstrapping: A Guide for Compiler Hackers.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	bootstrapping
29	Ilka Miloucheva, Hans Loeper	Compiler structure engineering with attribute grammars.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	COBOL
29	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
29	Jerome A. Feldman, David Gries	Translator writing systems.	Commun. ACM	1968	DBLP DOI BibTeX RDF	compiler compiler-compiler, macroprocessor, meta-assembler, metacompiler, syntax-directed, semantics, generator, translator, syntax, parser, syntactic analysis, translator writing system
29	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
29	Ling Fang, Masataka Sassa	Generating Java Compiler Optimizers Using Bidirectional CTL.	COCV@ETAPS	2007	DBLP DOI BibTeX RDF
29	Sabine Glesner, Simone Forster, Matthias Jäger	A Program Result Checker for the Lexical Analysis of the GNU C Compiler.	COCV@ETAPS	2004	DBLP DOI BibTeX RDF
29	Sorin Lerner, Todd D. Millstein, Craig Chambers	Cobalt: A Language for Writing Provably-Sound Compiler Optimizations.	COCV@ETAPS	2004	DBLP DOI BibTeX RDF
29	Stefan Berghofer, Martin Strecker	Extracting a formally verified, fully executable compiler from a proof assistant.	COCV@ETAPS	2003	DBLP DOI BibTeX RDF
29	Gerolf Hoflehner, Daniel M. Lavery, David C. Sehr	The compiler as a validation and evaluation tool.	COCV@ETAPS	2003	DBLP DOI BibTeX RDF
29	Carl Christian Frederiksen	Correctness of Classical Compiler Optimizations using CTL.	COCV@ETAPS	2002	DBLP DOI BibTeX RDF
29	Wolfgang Goerigk	Towards Acceptability of Optimizations: An Extended View of Compiler Correctness.	COCV@ETAPS	2002	DBLP DOI BibTeX RDF
29	Mikael Pettersson	A Term Pattern-Match Compiler Inspired by Finite Automata Theory.	CC	1992	DBLP DOI BibTeX RDF
29	Lars Ole Andersen	Partial Evaluation of C and Automatic Compiler Generation (Extended Abstract).	CC	1992	DBLP DOI BibTeX RDF
29	A. Dain Samples	Compiler Implementation of ADTs Using Profile Data.	CC	1992	DBLP DOI BibTeX RDF
29	Carine Fédèle, Olivier Lecarme	Computer-Aided Building of a Compiler: An Example (Abstract).	CC	1990	DBLP DOI BibTeX RDF
29	Nico Krebs, Lothar Schmitz	Jaccie: A Java-based compiler-compiler for generating, visualizing and debugging compiler components.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
29	R. V. Evans, G. S. Lockington, T. N. Reid	A Compiler Compiler and Methodology for Problem Oriented Language Compiler Implementors.	Comput. J.	1978	DBLP DOI BibTeX RDF
28	Sebastian Pop, Albert Cohen 0001	Loop Tree and Induction Variables.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	Benoit Boissinot, Fabrice Rastello	Liveness.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	Lennart Beringer	Functional Representations of SSA.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	James Stanier, Fabrice Rastello	Graphs and Gating Functions.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	Benoît Dupont de Dinechin	SSA Form and Code Generation.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	Markus Schordan, Fabrice Rastello	Introduction.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	Pedro C. Diniz, Philip Brisk	Hardware Compilation Using SSA.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	François de Ferrière	Psi-SSA Form.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	Fabrice Rastello	SSA Destruction for Machine Code.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	Florian Brandner, Diego Novillo	Propagating Information Using SSA.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	Philip Brisk, Fabrice Rastello	Properties and Flavours.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	Jeremy Singer	Introduction.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	Fred Chow	Redundancy Elimination.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	Sebastian Hack	SSA Reconstruction.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	Massimiliano Mantione, Fred Chow	Hashed SSA Form: HSSA.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	Dietmar Ebner, Andreas Krall, Bernhard Scholz	Instruction Code Selection.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	Vivek Sarkar, Fabrice Rastello	Introduction.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	Jeremy Singer, Fabrice Rastello	Standard Construction and Destruction Algorithms.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	Vivek Sarkar, Kathleen Knobe, Stephen Fink	Array SSA Form.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	Christian Bruel	If-Conversion.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	Dibyendu Das 0005, Ramakrishna Upadrasta, Vugranam C. Sreedhar	Advanced Construction Algorithms for SSA.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	Florent Bouchez-Tichadou, Fabrice Rastello	Register Allocation.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	Fernando Magno Quintão Pereira, Fabrice Rastello	Static Single Information Form.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
28	Ganga Bishnu Mund, Rajib Mall	Program Slicing.	The Compiler Design Handbook, 2nd ed.	2007	DBLP BibTeX RDF
28	Wei Qin, Sharad Malik	Architecture Description Languages for Retargetable Compilation.	The Compiler Design Handbook, 2nd ed.	2007	DBLP BibTeX RDF
28	Evelyn Duesterwald	Dynamic Compilation.	The Compiler Design Handbook, 2nd ed.	2007	DBLP BibTeX RDF
28	R. Govindarajan	Instruction Scheduling.	The Compiler Design Handbook, 2nd ed.	2007	DBLP BibTeX RDF
28	Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm	Shape Analysis and Applications.	The Compiler Design Handbook, 2nd ed.	2007	DBLP BibTeX RDF
28	Priti Shankar	Instruction Selection Using Tree Parsing.	The Compiler Design Handbook, 2nd ed.	2007	DBLP BibTeX RDF
28	Amitabha Sanyal, Uday P. Khedker	Garbage Collection Techniques.	The Compiler Design Handbook, 2nd ed.	2007	DBLP BibTeX RDF
28	K. Gopinath	Static Program Analysis for Security.	The Compiler Design Handbook, 2nd ed.	2007	DBLP BibTeX RDF
28	Jens Palsberg, Todd D. Millstein	Type Systems: Advances and Applications.	The Compiler Design Handbook, 2nd ed.	2007	DBLP BibTeX RDF
28	Easwaran Raman, David I. August	Optimizations for Memory Hierarchies.	The Compiler Design Handbook, 2nd ed.	2007	DBLP BibTeX RDF
28	Xiangyu Zhang 0001, Neelam Gupta, Rajiv Gupta 0001	Whole Execution Traces and Their Use in Debugging.	The Compiler Design Handbook, 2nd ed.	2007	DBLP BibTeX RDF
28	Hongbo Rong, R. Govindarajan	Advances in Software Pipelining.	The Compiler Design Handbook, 2nd ed.	2007	DBLP BibTeX RDF
28	V. Krishna Nandivada	Advances in Register Allocation Techniques.	The Compiler Design Handbook, 2nd ed.	2007	DBLP BibTeX RDF
28	Tulika Mitra, Abhik Roychoudhury	Worst-Case Execution Time and Energy Analysis.	The Compiler Design Handbook, 2nd ed.	2007	DBLP BibTeX RDF
28	Prakash Prabhu, Priti Shankar, Y. N. Srikant	The Static Single Assignment Form: Construction and Application to Program Optimization.	The Compiler Design Handbook, 2nd ed.	2007	DBLP BibTeX RDF
28	Andreas Krall, R. Nigel Horspool	Optimizations for Object-Oriented Languages.	The Compiler Design Handbook, 2nd ed.	2007	DBLP BibTeX RDF
28	Sanjay V. Rajopadhye, Lakshimarayanan Renganarayana, Gautam Gupta, Michelle Mills Strout	Computations on Iteration Spaces.	The Compiler Design Handbook, 2nd ed.	2007	DBLP BibTeX RDF