Search results for "compile-time"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Young Gil Park, Benjamin Goldberg	Escape Analysis on Lists.	PLDI	1992	DBLP DOI BibTeX RDF
14	Toshio Nakatani, Kemal Ebcioglu	Using a lookahead window in a compaction-based parallelizing compiler.	MICRO	1990	DBLP BibTeX RDF
14	Robert Harper 0001, John C. Mitchell, Eugenio Moggi	Higher-Order Modules and the Phase Distinction.	POPL	1990	DBLP DOI BibTeX RDF	ML
14	Mark E. Stickel	A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog.	DISCO	1990	DBLP DOI BibTeX RDF
14	Craig Chambers, David M. Ungar	Customization: Optimizing Compiler Technology for SELF, A Dynamically-Typed Object-Oriented Programming Language.	PLDI	1989	DBLP DOI BibTeX RDF
14	Mirza Omer Beg, Peter van Beek	A graph theoretic approach to cache-conscious placement of data for direct mapped caches.	ISMM	2010	DBLP DOI BibTeX RDF	cache consciousness, data placement in cache, offline algorithms, memory management, cache optimization
14	Sven Groppe, Jana Neumann, Volker Linnemann	SWOBE - embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types.	SAC	2009	DBLP DOI BibTeX RDF	SPARUL, semantic web, RDF, SPARQL, embedded languages
14	Tao Liu, Haibo Lin, Tong Chen 0001, Kevin O'Brien, Ling Shao 0002	DBDB: optimizing DMATransfer for the cell be architecture.	ICS	2009	DBLP DOI BibTeX RDF	loop blocking, local memory, multi-core system
14	Meisam Fathi Salmi, Saeed Parsa	Automatic Detection of Infinite Recursion in AspectJ Programs.	FGIT	2009	DBLP DOI BibTeX RDF	Infinite Recursion, Interprocedural Anlysis, Debugging Aspect-Oriented Programs, Aspect-Oriented Programming
14	Emre Özer 0001, Andy Nisbet, David Gregg	A stochastic bitwidth estimation technique for compact and low-power custom processors.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	Bit-width analysis, custom hardware, FPGA, statistical estimation, extreme value theory
14	Tong Chen, Haibo Lin, Tao Zhang	Orchestrating data transfer for the cell/B.E. processor.	ICS	2008	DBLP DOI BibTeX RDF	software controlled cache, multi-core system, memory coherence
14	Hyunok Oh	Constant Rate Dataflow Model with Intermediate Ports for Efficient Code Synthesis with Top-Down Design and Dynamic Behavior.	ISQED	2008	DBLP DOI BibTeX RDF	intermediate ports, t op down design, model of computation, synchronous dataflow, dynamic behavior
14	Brian Armstrong, Rudolf Eigenmann	Application of Automatic Parallelization to Modern Challenges of Scientific Computing Industries.	ICPP	2008	DBLP DOI BibTeX RDF
14	Joseph Gil, Keren Lenz	Simple and safe SQL queries with c++ templates.	GPCE	2007	DBLP DOI BibTeX RDF	structural type equivalence, template programming, databases, C++, domain specific languages, relational algebra, embedded languages
14	Madhavi Gopal Valluri, Lizy Kurian John, Heather Hanson	Hybrid-Scheduling for Reduced Energy Consumption in High-Performance Processors.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
14	Mehrdad Eslami Dehkordi, Stephen Dean Brown, Terry P. Borer	Modular Partitioning for Incremental Compilation.	FPL	2006	DBLP DOI BibTeX RDF
14	Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok	Compiler-assisted software verification using plug-ins.	IPDPS	2006	DBLP DOI BibTeX RDF
14	Rao Fu, Jiwei Lu, Antonia Zhai, Wei-Chung Hsu	A Study of the Performance Potential for Dynamic Instruction Hints Selection.	Asia-Pacific Computer Systems Architecture Conference	2006	DBLP DOI BibTeX RDF
14	Alexandra Silva 0001, Joost Visser 0001	Strong types for relational databases.	Haskell	2006	DBLP DOI BibTeX RDF	functional dependency theory, type-level programming, relational databases, SQL, Haskell
14	Ming-Yee Iu, Willy Zwaenepoel	Queryll: Java Database Queries Through Bytecode Rewriting.	Middleware	2006	DBLP DOI BibTeX RDF
14	Olivier Tardieu, Robert de Simone	Loops in esterel.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	static analysis, code generation, Synchronous languages
14	Pengcheng Wu, Karl J. Lieberherr	Shadow Programming: Reasoning About Programs Using Lexical Join Point Information.	GPCE	2005	DBLP DOI BibTeX RDF
14	Zhi Guo, Betul Buyukkurt, Walid A. Najjar	Input data reuse in compiling window operations onto reconfigurable hardware.	LCTES	2004	DBLP DOI BibTeX RDF	reuse analysis, compilation, high-level synthesis, VHDL, reconfigurable computing
14	Kyung-Woo Kang	A Study on Generating an Efficient Bottom-up Tree Rewrite Machine for JBurg.	ICCSA (1)	2004	DBLP DOI BibTeX RDF
14	Dinesh C. Suresh, Walid A. Najjar, Frank Vahid, Jason R. Villarreal, Greg Stitt	Profiling tools for hardware/software partitioning of embedded applications.	LCTES	2003	DBLP DOI BibTeX RDF	loop analysis, compiler optimization, hardware/software partitioning
14	Mario Latendresse	Fast Symbolic Evaluation of C/C++ Preprocessing Using Conditional Value.	CSMR	2003	DBLP DOI BibTeX RDF
14	Sanjeev Baskiyar	Efficient Execution of Pure Object-Oriented Programs by Follow-up Compilation.	Computing	2002	DBLP DOI BibTeX RDF	AMS Subject Classifications: 68N20, 68N19, 68N15, 68N25
14	David Eng	Combining static and dynamic data in code visualization.	PASTE	2002	DBLP DOI BibTeX RDF	combining static and dynamic data, visualization, profiling, software understanding, intermediate languages
14	Marcelo Arenas, Wenfei Fan, Leonid Libkin	On Verifying Consistency of XML Specifications. (PDF / PS)	PODS	2002	DBLP DOI BibTeX RDF	XML
14	Jason Baker, Wilson C. Hsieh	Maya: Multiple-Dispatch Syntax Extension in Java.	PLDI	2002	DBLP DOI BibTeX RDF	Java, generative programming, macros, metaprogramming
14	Jack Liu, Fred C. Chow	A near-optimal instruction scheduler for a tightly constrained, variable instruction set embedded processor.	CASES	2002	DBLP DOI BibTeX RDF	configurable code generation, variable instruction set, embedded processor, instruction scheduling, dictionary, enumeration, program representation, resource modeling
14	Sunghyun Lee, Kiyoung Choi, Sungjoo Yoo	An intra-task dynamic voltage scaling method for SoC design with hierarchical FSM and synchronous dataflow model.	ISLPED	2002	DBLP DOI BibTeX RDF	variable supply voltage, low power, finite state machine, dynamic voltage scaling, formal model, synchronous dataflow
14	Ismail Kadayif, Mahmut T. Kandemir, Alok N. Choudhary	A Hybrid Strategy Based on Data Distribution and Migration for Optimizing Memory Locality.	LCPC	2002	DBLP DOI BibTeX RDF
14	Rajeev Barua, Walter Lee, Saman P. Amarasinghe, Anant Agarwal	Compiler Support for Scalable and Efficient Memory Systems.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	bank disambiguation, memory parallelism, Raw, Compiler, Maps, memory
14	Pramod G. Joisha, Abhay Kanhere, Prithviraj Banerjee, U. Nagaraj Shenoy, Alok N. Choudhary	Handling context-sensitive syntactic issues in the design of a front-end for a MATLAB compiler.	ACM SIGAPL APL Quote Quad	2001	DBLP DOI BibTeX RDF	colon expressions, command-form function invocations, control constructs, single quote character, syntax analysis for MATLAB, assignments, matrices
14	Brendon Cahoon, Kathryn S. McKinley	Data Flow Analysis for Software Prefetching Linked Data Structures in Java.	IEEE PACT	2001	DBLP DOI BibTeX RDF
14	Arch D. Robison	Impact of economics on compiler optimization.	Java Grande	2001	DBLP DOI BibTeX RDF	optimization, compilers, economics
14	K. John Gough	Stacking them up: a Comparison of Virtual Machines.	ACSAC	2001	DBLP DOI BibTeX RDF
14	Michael Voss, Rudolf Eigenmann	High-level adaptive program optimization with ADAPT.	PPoPP	2001	DBLP DOI BibTeX RDF
14	Alexander Marquardt, Vaughn Betz, Jonathan Rose	Speed and area tradeoffs in cluster-based FPGA architectures.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
14	Hong Tang 0004, Kai Shen, Tao Yang 0009	Program transformation and runtime support for threaded MPI execution on shared-memory machines.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	lock-free synchronization, multiprogrammed environments, threaded execution, MPI, program transformation, shared-memory machines
14	Tom Way, Ben Breech, Lori L. Pollock	Region Formation Analysis with Demand-Driven Inlining for Region-Based Optimization.	IEEE PACT	2000	DBLP DOI BibTeX RDF
14	Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells, Jeffrey Considine	Program Representation Size in an Intermediate Language with Intersection and Union Types.	Types in Compilation	2000	DBLP DOI BibTeX RDF
14	Yvon Jégou	Controlling Distributed Shared Memory Consistency from High Level Programming Languages.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
14	Yuan Lin, David A. Padua	Compiler analysis of irregular memory accesses.	PLDI	2000	DBLP DOI BibTeX RDF
14	Martin Elsman	Static Interpretation of Modules.	ICFP	1999	DBLP DOI BibTeX RDF
14	Boris Bokowski	CoffeeStrainer - Statically Checking Structural Constraints on Java Programs.	ECOOP Workshops	1998	DBLP DOI BibTeX RDF
14	F. Jesús Sánchez, Antonio González 0001, Mateo Valero	Static Locality Analysis for Cache Management.	IEEE PACT	1997	DBLP DOI BibTeX RDF	Selective Cache, Dual Data Cache, Locality analysis
14	Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa	An Efficient Compilation Framework for Languages Based on a Concurrent Process Calculus.	Euro-Par	1997	DBLP DOI BibTeX RDF
14	Manuel Fähndrich, John Boyland	Statically Checkable Pattern Abstractions.	ICFP	1997	DBLP DOI BibTeX RDF	ML
14	Dan Picker, Ronald D. Fellman	Successive Superposition: A Technique for the Exact Modeling of Deterministic Packet Queuing Networks.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	packet multiplexing, packet queuing networks, rate monotonic scheduling algorithm, Asynchronous transfer mode, multiprocessor scheduling, interprocessor communication, signal flow graphs
14	Alexander Aiken, Manuel Fähndrich, Raph Levien	Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages.	PLDI	1995	DBLP DOI BibTeX RDF
14	Todd M. Austin, Scott E. Breach, Gurindar S. Sohi	Efficient Detection of All Pointer and Array Access Errors.	PLDI	1994	DBLP DOI BibTeX RDF	C
14	Seema Hiranandani, Ken Kennedy, Chau-Wen Tseng, Scott K. Warren	The D editor: a new interactive parallel programming tool.	SC	1994	DBLP DOI BibTeX RDF	Fortran D
14	Toshio Nakatani, Kemal Ebcioglu	Making Compaction-Based Parallelization Affordable.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	compaction-based parallelization, code explosion problem, software lookahead heuristic, VLIW parallelizing compiler, branch-intensive code, AIX utilities, fgrep, sed, parallel programming, parallel architectures, compress, program, sort, instruction-level parallelism, software pipelining, pipeline processing, instruction sets, loop parallelization, yacc
14	Barton C. Massey, Evan Tick	Sequentialization of Parallel Logic Programs with Mode Analysis.	LPAR	1993	DBLP DOI BibTeX RDF
14	Xavier Leroy	Efficient Data Representation in Polymorphic Languages.	PLILP	1990	DBLP DOI BibTeX RDF
14	R. Ghosh-Roy, Frank Jensen	Conjunctional type assignment in programming languages.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	ML
14	Hong Xia, Wolfgang K. Giloi	A hybrid scheme for detecting AND-parallelism in prolog programs.	ICS	1988	DBLP DOI BibTeX RDF	Prolog, Prolog
14	Pierre Jouvelot, David K. Gifford	The FX-87 Interpreter.	ICCL	1988	DBLP DOI BibTeX RDF
14	Ronald T. House	Thoughts on "Extended Pascal - Illustrative Examples".	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	Pascal
14	Adrienne G. Bloss, Paul Hudak	Path Semantics.	MFPS	1987	DBLP DOI BibTeX RDF
14	Chris Hankin, Geoffrey Livingston Burn, Simon L. Peyton Jones	A Safe Approach to Parallel Combinator Reduction (Extended Abstract).	ESOP	1986	DBLP DOI BibTeX RDF	Parallel Reduction, Director Strings, Functional Languages, Combinators, Strictness Analysis
14	Gregory J. Chaitin	Register Allocation & Spilling via Graph Coloring.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
14	John L. Hennessy, Thomas R. Gross	Code Generation and Reorganization in the Presence of Pipeline Constraints.	POPL	1982	DBLP DOI BibTeX RDF
14	Gregory J. Chaitin	Register allocation and spilling via graph coloring (with retrospective)	Best of PLDI	1982	DBLP DOI BibTeX RDF
14	Raghavendra Rao Loka	Hybrid compilation: a case study.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF
11	Donald L. Shell	The Share 709 System: A Cooperative Effort.	J. ACM	1959	DBLP DOI BibTeX RDF
10	Howard Chen 0002, Wei-Chung Hsu, Dong-yuan Chen	Dynamic Trace Selection Using Performance Monitoring Hardware Sampling.	CGO	2003	DBLP DOI BibTeX RDF
10	Norihisa Suzuki	Inferring Types in Smalltalk.	POPL	1981	DBLP DOI BibTeX RDF
10	Troy A. Johnson, Rudolf Eigenmann, T. N. Vijaykumar	Speculative thread decomposition through empirical optimization.	PPoPP	2007	DBLP DOI BibTeX RDF	empirical search, chip multiprocessor, decomposition, multi-core, thread-level speculation
10	Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve	SAFECode: enforcing alias analysis for weakly typed languages.	PLDI	2006	DBLP DOI BibTeX RDF	automatic pool allocation, compilers, programming languages, alias analysis, region management
10	Xiangrong Zhou, Peter Petrov	Rapid and low-cost context-switch through embedded processor customization for real-time and control applications.	DAC	2006	DBLP DOI BibTeX RDF
10	Tobias Mann, Morgan Deters, Rob LeGrand, Ron Cytron	Static determination of allocation rates to support real-time garbage collection.	LCTES	2005	DBLP DOI BibTeX RDF	allocation rate, static analysis, real-time garbage collection
10	David Wonnacott	Using Time Skewing to Eliminate Idle Time due to Memory Bandwidth and Network Limitations.	IPDPS	2000	DBLP DOI BibTeX RDF	compute balance, machine balance, scalable locality, scalable parallelism, cache optimization, loop tiling
10	Jeroen A. J. Leijten, Jef L. van Meerbergen, Adwin H. Timmer, Jochen A. G. Jess	Stream Communication between Real-Time Tasks in a High-Performance Multiprocessor.	DATE	1998	DBLP DOI BibTeX RDF
10	Lars Ole Andersen	Binding-Time Analysis and the Taming of C Pointers.	PEPM	1993	DBLP DOI BibTeX RDF	C
9	Edison Mera, Pedro López-García 0001, Manuel Carro, Manuel V. Hermenegildo	Towards execution time estimation in abstract machine-based languages.	PPDP	2008	DBLP DOI BibTeX RDF	logic programming, profiling, cost models, cost analysis, resource awareness, execution time estimation
9	Stephen Tse, Steve Zdancewic	Run-time principals in information-flow type systems.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Decentralized label model, dynamic principals, run-time principals, security-typed language, type systems, information-flow, soundness, noninterference
9	Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen	WCET Centric Data Allocation to Scratchpad Memory.	RTSS	2005	DBLP DOI BibTeX RDF
9	Bryan Chan, Tarek S. Abdelrahman	Run-Time Support for the Automatic Parallelization of Java Programs.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	Java optimizations, run-time parallelization, parallelizing compilers, automatic parallelization, task-level parallelism
9	Franz Wotawa	Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results.	Appl. Intell.	2004	DBLP DOI BibTeX RDF	debugging hardware designs, modeling for diagnosis, model-based diagnosis
9	Milan Ruzic	Uniform Algorithms for Deterministic Construction of Efficient Dictionaries.	ESA	2004	DBLP DOI BibTeX RDF
9	Kristian Sandström, Johan Fredriksson, Mikael Åkerholm	Introducing a Component Technology for Safety Critical Embedded Real-Time Systems.	CBSE	2004	DBLP DOI BibTeX RDF
9	Stephen Tse, Steve Zdancewic	Run-time Principals in Information-flow Type Systems.	S&P	2004	DBLP DOI BibTeX RDF
9	Angelo Corsaro, Ron Cytron	Efficient memory-reference checks for real-time java.	LCTES	2003	DBLP DOI BibTeX RDF	scoped memory, garbage collection, memory management, object oriented languages, real-time java
9	Asawaree Kalavade, Pratyush Moghé	A Tool for Performance Estimation of Networked Embedded End-systems.	DAC	1998	DBLP DOI BibTeX RDF	verification, timing, design methodology, microprocessor
9	Wayne Luk, Nabeel Shirazi, Peter Y. K. Cheung	Compilation tools for run-time reconfigurable designs.	FCCM	1997	DBLP DOI BibTeX RDF
9	Christian S. Collberg	Reverse Interpretation + Mutation Analysis = Automatic Retargeting.	PLDI	1997	DBLP DOI BibTeX RDF	C
9	Nadia Tawbi, Paul Feautrier	Processor allocation and loop scheduling on multiprocessor computers.	ICS	1992	DBLP DOI BibTeX RDF
9	Robert Cartwright, Mike Fagan	Soft typing (with retrospective)	Best of PLDI	1991	DBLP DOI BibTeX RDF
9	Milan Ruzic	Uniform deterministic dictionaries.	ACM Trans. Algorithms	2008	DBLP DOI BibTeX RDF	Deterministic algorithms, perfect hashing
9	Ping Zhu, Siau-Cheng Khoo	Specialization for applications using shared libraries.	PEPM	2008	DBLP DOI BibTeX RDF	run-time specialization, shared libraries
9	J. Russell Noseworthy	The Test and Training Enabling Architecture (TENA) Supporting the Decentralized Development of Distributed Applications and LVC Simulations.	DS-RT	2008	DBLP DOI BibTeX RDF
9	Harini Ramaprasad, Frank Mueller 0001	Bounding Worst-Case Data Cache Behavior by Analytically Deriving Cache Reference Patterns.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
9	Wayne Luk	Customising Processors: Design-Time and Run-Time Opportunities.	SAMOS	2004	DBLP DOI BibTeX RDF
9	Sumesh Udayakumaran, Rajeev Barua	Compiler-decided dynamic memory allocation for scratch-pad based embedded systems.	CASES	2003	DBLP DOI BibTeX RDF	embedded systems, compiler, memory allocation, scratch-pad
9	Chen Ding, Ken Kennedy	Improving Cache Performance in Dynamic Applications through Data and Computation Reorganization at Run Time.	PLDI	1999	DBLP DOI BibTeX RDF
9	David Wonnacott	Time Skewing for Parallel Computers.	LCPC	1999	DBLP DOI BibTeX RDF
9	Hwansoo Han, Gabriel Rivera, Chau-Wen Tseng	Compiler and Run-Time Support for Improving Locality in Scientific Codes.	LCPC	1999	DBLP DOI BibTeX RDF