Search results for "compilation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Qian Wang 0024, Gopal Gupta 0001	Continuation Semantics as Horn Clauses.	LOPSTR	2003	DBLP DOI BibTeX RDF
12	Geoffrey Watson, Colin J. Fidge	A Partial-Correctness Semantics for Modelling Assembler Programs.	SEFM	2003	DBLP DOI BibTeX RDF
12	Keith D. Cooper, Devika Subramanian, Linda Torczon	Adaptive Optimizing Compilers for the 21st Century.	J. Supercomput.	2002	DBLP DOI BibTeX RDF	configurable compilers, order of optimization, biased random search, optimizing compilers
12	Kathleen Fisher, Benjamin C. Pierce	Guest editorial.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF
12	Zhanyong Wan, Walid Taha, Paul Hudak	Event-Driven FRP.	PADL	2002	DBLP DOI BibTeX RDF
12	Chandra Krintz	Improving mobile program performance through the use of a hybrid intermediate representation.	PPPJ/IRE	2002	DBLP DOI BibTeX RDF	Java
12	Wankang Zhao, Baosheng Cai, David B. Whalley, Mark W. Bailey, Robert van Engelen, Xin Yuan 0001, Jason Hiser, Jack W. Davidson, Kyle A. Gallivan, Douglas L. Jones	VISTA: a system for interactive code improvement.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	user-directed code improvement
12	François Barbançon, Daniel P. Miranker	Implementing Federated Database Systems by Compiling SchemaSQL.	IDEAS	2002	DBLP DOI BibTeX RDF
12	Ismail Kadayif, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Anand Sivasubramaniam	EAC: A Compiler Framework for High-Level Energy Estimation and Optimization.	DATE	2002	DBLP DOI BibTeX RDF
12	George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer	CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs.	CC	2002	DBLP DOI BibTeX RDF
12	Jihie Kim, Yolanda Gil	Deriving Acquisition Principles from Tutoring Principles.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
12	Duangdao Wichadakul, Xiaohui Gu, Klara Nahrstedt	A programming framework for quality-aware ubiquitous multimedia applications.	ACM Multimedia	2002	DBLP DOI BibTeX RDF
12	Walden Ko, Mark N. Yankelevsky, Dimitrios S. Nikolopoulos, Constantine D. Polychronopoulos	Effective Cross-Platform, Multilevel Parallelism via Dynamic Adaptive Execution.	IPDPS	2002	DBLP DOI BibTeX RDF
12	George Almási 0001, David A. Padua	MaJIC: Compiling MATLAB for Speed and Responsiveness.	PLDI	2002	DBLP DOI BibTeX RDF
12	Zoran Budimlic, Keith D. Cooper, Timothy J. Harvey, Ken Kennedy, Timothy S. Oberg, Steven W. Reeves	Fast Copy Coalescing and Live-Range Identification.	PLDI	2002	DBLP DOI BibTeX RDF	copy coalescing, live-range identification, code generation, register allocation, interference graph
12	Victor Delaluz, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Anand Sivasubramaniam, Ibrahim Kolcu	Compiler-Directed Array Interleaving for Reducing Energy in Multi-Bank Memories.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF
12	Terence J. Harmer, F. George Wilkie	An Extensible Metrics Extraction Environment for Object-Oriented Programming Languages.	SCAM	2002	DBLP DOI BibTeX RDF	Programming language Metrics, Java, Complexity, C++, Object-oriented metrics
12	Wenzhang Zhu, Cho-Li Wang, Francis C. M. Lau 0001	JESSICA2: A Distributed Java Virtual Machine with Transparent Thread Migration Support.	CLUSTER	2002	DBLP DOI BibTeX RDF
12	Mahmut T. Kandemir, J. Ramanujam	Data Relation Vectors: A New Abstraction for Data Optimizations.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	compiler optimizations for memory hierarchy, reuse vectors, data relation vectors, loop transformations, Data reuse, cache locality, memory layouts
12	Sanjai Narain, Ravichander Vaidyanathan, Stanley Moyer, William Stephens, Kirthika Parmeswaran, Abdul-Rahim Shareef	Middleware For Building Adaptive Systems Via Configuration.	LCTES/OM	2001	DBLP DOI BibTeX RDF	security, QoS, routing, middleware, network, CORBA, virtual, service, diagnosis, configuration, provisioning, private
12	Peter Sewell	Modules, abstract types, and distributed versioning.	POPL	2001	DBLP DOI BibTeX RDF
12	Stefan Monnier, Bratin Saha, Zhong Shao	Principled Scavenging.	PLDI	2001	DBLP DOI BibTeX RDF
12	Krishna V. Palem, Surendranath Talla, Weng-Fai Wong	Compiler Optimizations for Adaptive EPIC Processors.	EMSOFT	2001	DBLP DOI BibTeX RDF
12	Steven J. Deitz, Bradford L. Chamberlain, Lawrence Snyder	Eliminating redundancies in sum-of-product array computations.	ICS	2001	DBLP DOI BibTeX RDF
12	Ramesh Radhakrishnan, Ravi Bhargava, Lizy Kurian John	Improving Java performance using hardware translation.	ICS	2001	DBLP DOI BibTeX RDF
12	K. Schneider, M. Wenz	A new method for compiling schizophrenic synchronous programs.	CASES	2001	DBLP DOI BibTeX RDF	code generation, reactive systems, synchronous languages
12	Axel Dold, Vincent Vialard	A Mechanically Verified Compiling Specification for a Lisp Compiler.	FSTTCS	2001	DBLP DOI BibTeX RDF
12	Chih-Yung Chang, Tzung-Shi Chen, Jang-Ping Sheu	Improving Memory Traffic by Assembly-Level Exploitation of Reuses for Vector Registers.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	vector register, partial reuse, vector compilers, vectorization, data dependence, supercomputer, reuse distance
12	Curtis Clifton, Gary T. Leavens, Craig Chambers, Todd D. Millstein	MultiJava: modular open classes and symmetric multiple dispatch for Java.	OOPSLA	2000	DBLP DOI BibTeX RDF	Java
12	Bruce A. Draper, Walid A. Najjar, A. P. Wim Böhm, Jeffrey Hammes, Robert Rinker, Charlie Ross, Monica Chawathe, José Bins	Compiling and Optimizing Image Processing Algorithms for FPGAs.	CAMP	2000	DBLP DOI BibTeX RDF	SA-C, language features, SA-C algorithms, performance numbers, image processing routines, Annapolis Microsystems WildForce board, Xilinx 4036XL FPGAs, FPGAs, VHDL, optimizing compiler, high-level language, data flow graphs, data flow graphs, image processing algorithms
12	Peter Thiemann 0001	An Algebraic Foundation for Adaptive Programming.	FoSSaCS	2000	DBLP DOI BibTeX RDF
12	Natalie Eckel, Joseph Gil	Empirical Study of Object-Layout Strategies and Optimization Techniques.	ECOOP	2000	DBLP DOI BibTeX RDF
12	Manuel M. T. Chakravarty, Gabriele Keller	More types for nested data parallel programming.	ICFP	2000	DBLP DOI BibTeX RDF
12	Kia Bazargan, Ryan Kastner, Seda Ogrenci, Majid Sarrafzadeh	A C to Hardware/Software Compiler.	FCCM	2000	DBLP DOI BibTeX RDF
12	Rastislav Bodík, Rajiv Gupta 0001, Vivek Sarkar	ABCD: eliminating array bounds checks on demand.	PLDI	2000	DBLP DOI BibTeX RDF
12	Michal Cierniak, Guei-Yuan Lueh, James M. Stichnoth	Practicing JUDO: Java under dynamic optimizations.	PLDI	2000	DBLP DOI BibTeX RDF
12	George C. Necula	Translation validation for an optimizing compiler.	PLDI	2000	DBLP DOI BibTeX RDF
12	Phillip Stanley-Marbell, Liviu Iftode	Scylla: a smart virtual machine for mobile embedded systems.	WMCSA	2000	DBLP DOI BibTeX RDF	Scylla, smart virtual machine, mobile embedded systems, virtualized processor architecture, inter-device communication, mobile computing, embedded systems, wireless LAN, virtual machines, power management, embedded processors, error recovery, instruction sets, instruction set, prototype system, code mobility, wireless devices
12	Srihari Cadambi, Seth Copen Goldstein	Efficient Place and Route for Pipeline Reconfigurable Architectures.	ICCD	2000	DBLP DOI BibTeX RDF
12	Simon Helsen, Peter Thiemann 0001	Fragmental Specialization.	SAIG	2000	DBLP DOI BibTeX RDF
12	Wu Ye, Narayanan Vijaykrishnan, Mahmut T. Kandemir, Mary Jane Irwin	The design and use of simplepower: a cycle-accurate energy estimation tool.	DAC	2000	DBLP DOI BibTeX RDF
12	Michel Barreteau, François Bodin, Zbigniew Chamski, Henri-Pierre Charles, Christine Eisenbeis, John R. Gurd, Jan Hoogerbrugge, Ping Hu, William Jalby, Toru Kisuki, Peter M. W. Knijnenburg, Paul van der Mark, Andy Nisbet, Michael F. P. O'Boyle, Erven Rohou, André Seznec, Elena Stöhr, Menno Treffers, Harry A. G. Wijshoff	OCEANS - Optimising Compilers for Embedded Applications.	Euro-Par	1999	DBLP DOI BibTeX RDF
12	Karl Crary, Stephanie Weirich	Flexible Type Analysis.	ICFP	1999	DBLP DOI BibTeX RDF
12	Jonathan Babb, Martin C. Rinard, Csaba Andras Moritz, Walter Lee, Matthew I. Frank, Rajeev Barua, Saman P. Amarasinghe	Parallelizing Applications into Silicon.	FCCM	1999	DBLP DOI BibTeX RDF
12	Neil C. Audsley, I. J. Bate, Alan Grigg	Portable Code for Complex Critical Systems .	RTCSA	1999	DBLP DOI BibTeX RDF
12	Marc Feeley, Martin Larose	Compiling Erlang to Scheme.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
12	Yasuhiko Minamide, Jacques Garrigue	On the Runtime Complexity of Type-Directed Unboxing.	ICFP	1998	DBLP DOI BibTeX RDF	ML
12	George C. Necula, Peter Lee 0001	The design and implementation of a certifying compiler (with retrospective)	Best of PLDI	1998	DBLP DOI BibTeX RDF
12	Omri Traub, Glenn H. Holloway, Michael D. Smith 0001	Quality and Speed in Linear-scan Register Allocation.	PLDI	1998	DBLP DOI BibTeX RDF	binpacking, global register allocation, linear scan, graph coloring
12	George C. Necula, Peter Lee 0001	The Design and Implementation of a Certifying Compiler.	PLDI	1998	DBLP DOI BibTeX RDF	C
12	Thomas Linke, Torsten Schaub	An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem.	JELIA	1998	DBLP DOI BibTeX RDF
12	Marco Cadoli, Luigi Palopoli 0001, Francesco Scarcello	Propositional Lower Bounds: Generalization and Algorithms.	JELIA	1998	DBLP DOI BibTeX RDF
12	Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers	Annotation-Directed Run-Time Specialization in C.	PEPM	1997	DBLP DOI BibTeX RDF	C
12	David I. August, Wen-mei W. Hwu, Scott A. Mahlke	A Framework for Balancing Control Flow and Predication.	MICRO	1997	DBLP DOI BibTeX RDF	conditional instructions, if-conversion, predicated instructions, program control flow, schedule time, scheduling decisions, compiler, parallel architecture, instruction-level parallelism, optimising compilers, predicated execution
12	Seongbae Park, SangMin Shim, Soo-Mook Moon	Evaluation of Scheduling Techniques on a SPARC-based VLIW Testbed.	MICRO	1997	DBLP DOI BibTeX RDF	SPARC-based VLIW testbed, VLIW microprocessors, Very Long Instruction Word microprocessors, all-path speculation, gcc-generated optimized SPARC code, high-performance VLIW code, nongreedy enhanced pipeline scheduling, nonspeculative operations, profile-based all-path speculation, restricted speculative loads, scheduling compiler, speculative operations, trace-based speculation, performance, compiler, computer architecture, parallel machines, software pipelining, loop unrolling, renaming, memory disambiguation, copies, scheduling techniques
12	Jean-Pierre Talpin	Reactive Types.	TAPSOFT	1997	DBLP DOI BibTeX RDF
12	Edward D. Willink, Alexander V. Shafarenko, Vyacheslav B. Muchnick	Use of F-Code as a Very High Level Intermediate Language for DSP.	Euro-Par	1997	DBLP DOI BibTeX RDF
12	Anindya Banerjee 0001	A Modular, Polyvariant, and Type-Based Closure Analysis.	ICFP	1997	DBLP DOI BibTeX RDF
12	Timothy J. Callahan, John Wawrzynek	Datapath-oriented FPGA mapping and placement for configurable computing.	FCCM	1997	DBLP DOI BibTeX RDF
12	Eric Eide, Kevin Frei, Bryan Ford, Jay Lepreau, Gary Lindstrom	Flick: A Flexible, Optimizing IDL Compiler.	PLDI	1997	DBLP DOI BibTeX RDF
12	Huzefa Mehta, Robert Michael Owens, Mary Jane Irwin	A Simulation Methodology for Software Energy Evaluation.	VLSI Design	1997	DBLP DOI BibTeX RDF
12	Mohammad R. Haghighat, Constantine D. Polychronopoulos	Symbolic Analysis for Parallelizing Compilers.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	parallelization, dependence analysis, symbolic analysis
12	Stefan Andel, Beniamino Di Martino, Jan Hulman, Hans P. Zima	Program Comprehension Support for Knowledge-Based Parallelization.	PDP	1996	DBLP DOI BibTeX RDF
12	Mikael Pettersson	A Compiler for Natural Semantics.	CC	1996	DBLP DOI BibTeX RDF	tailcalls, continuations, natural semantics, determinacy
12	Beniamino Di Martino, Giulio Iannello	PAP Recognizer: A Tool for Automatic Recognition of Parallelizable Patterns.	WPC	1996	DBLP DOI BibTeX RDF
12	Shinn-Der Lee, Daniel P. Friedman	Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction.	ICFP	1996	DBLP DOI BibTeX RDF
12	Karl-Filip Faxén	Polyvariance, Polymorphism and Flow Analysis.	LOMAPS	1996	DBLP DOI BibTeX RDF	polyvariance, constraints, type systems, polymorphism, functional languages, Flow analysis, inference algorithms
12	Xiaolei Qian	View-Based Access Control with High Assurance.	S&P	1996	DBLP DOI BibTeX RDF
12	Hyeong-Kyo Kim, Thomas P. Barnwell III	A design synthesis system for recursive DSP algorithms represented by fully specified flow graphs.	J. VLSI Signal Process.	1995	DBLP DOI BibTeX RDF
12	Marc Le Fur, Jean-Louis Pazat, Françoise André	An Array Partitioning Analysis for Parallel Loop Distribution.	Euro-Par	1995	DBLP DOI BibTeX RDF
12	Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini	Modular Logic Programming.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	metalogic, logic programs, program transformation, modularity, declarative semantics, composition operations
12	Harley Davis, Pierre Parquier, Nitsan Séniak	Talking About Modules and Delivery.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	LISP
12	Adrian Slowik, Georg Piepenbrock, Peter Pfahler	Compiling Nested Loops for Limited Connectivity VLIWs.	CC	1994	DBLP DOI BibTeX RDF
12	Arjan J. C. van Gemund	Compiling performance models from parallel programs.	International Conference on Supercomputing	1994	DBLP DOI BibTeX RDF
12	Zhong Shao, Andrew W. Appel	Smartest Recompilation.	POPL	1993	DBLP DOI BibTeX RDF	ML
12	Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval	Correctness of Automated Distribution of Sequential Programs.	PARLE	1993	DBLP DOI BibTeX RDF	distributed memory parallel machines, formal program development methodologies, parallel language constructs and semantics
12	Chris Fickert, Thomas A. Sudkamp	Unification based FP interpreters.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	FP
12	Carmen J. Trammell, Leon H. Binder, Cathrine E. Snyder	The Automated Production Control Documentation System: A Case Study in Cleanroom Software Engineering.	ACM Trans. Softw. Eng. Methodol.	1992	DBLP DOI BibTeX RDF	box structures, statistical testing, statistical quality control, cleanroom software engineering
12	Lori L. Pollock, Mary Lou Soffa	Incremental Global Reoptimization of Programs.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	incremental data flow analysis, incremental reoptimization, optimization dependencies, compiler optimization
12	Werner Hans	A Complete Indexing Scheme for WAM-based Abstract Machines.	PLILP	1992	DBLP DOI BibTeX RDF
12	Sho-Huan Simon Tung	Interactive Modular Programming in Scheme.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	SCHEME
12	Andrei Mantsivoda, Vyacheslav Petukhin	Compiling Flang.	CC	1992	DBLP DOI BibTeX RDF
12	Marina C. Chen, James R. Cowie	Prototyping Fortran-90 Compilers for Massively Parallel Machines.	PLDI	1992	DBLP DOI BibTeX RDF	FORTRAN, CM-2
12	Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson	Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog.	ELP	1992	DBLP DOI BibTeX RDF
12	Diomidis Spinellis	Type-safe linkage for variables and functions.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF
12	Jiawei Han 0001, Qiang Wang	Efficient Evaluation of Linear Recursions with Function Sysmbols in Deductive Databases.	ISMIS	1991	DBLP DOI BibTeX RDF
12	Delia Kesner	Pattern Matching in Order-Sorted Languages.	MFCS	1991	DBLP DOI BibTeX RDF
12	Robert Chun, Randy Lichota, Brad Perry, Nael Sabha	Synthesis of parallel Ada code from a knowledge base of rules.	SPDP	1991	DBLP DOI BibTeX RDF
12	Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo	Graph-based Implementation of a Functional Logic Langugage.	ESOP	1990	DBLP DOI BibTeX RDF
12	Jack W. Davidson, David B. Whalley	Ease: An Environment for Architecture Study and Experimentation.	SIGMETRICS	1990	DBLP DOI BibTeX RDF
12	Jorge B. Bocca, Johann Christoph Freytag	Rules for Implementing Very Large Knowledge Base Systems.	SIGMOD Rec.	1989	DBLP DOI BibTeX RDF
12	Saul A. Kravitz, Randal E. Bryant, Rob A. Rutenbar	Logic Simulation on Massively Parallel Architectures.	ISCA	1989	DBLP DOI BibTeX RDF
12	Stephen G. Perelgut, James R. Cordy	Turing Plus: a comparison with C and Pascal.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	C, Pascal, TURING
12	Walter F. Tichy	Tichy's Response to R. W. Schwanke and G. E. Kaiser's "Smarter Recompilation".	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
12	Donald J. Bagert	On designing a language for exclusive use in a syntax directed programming environment.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
12	V. Seshadri, David B. Wortman, Michael D. Junkin, S. Weber, C. P. Yu, I. Small	Semantic Analysis in a Concurrent Compiler.	PLDI	1988	DBLP DOI BibTeX RDF
12	Luddy Harrison, David A. Padua	Parcel: project for the automatic restructuring and concurrent evaluation of LISP.	ICS	1988	DBLP DOI BibTeX RDF	LISP, LISP
12	Andrew Cheese	Multi-Moded Relations in Parlog.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	PARLOG, PARLOG
12	Gary Lindstrom	Static evaluation of functional programs.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
12	Ulrik Jørring, William L. Scherlis	Compilers and Staging Transformations.	POPL	1986	DBLP DOI BibTeX RDF