Search results for "compiler analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	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
2	Heidi E. Ziegler, Mary W. Hall	Evaluating heuristics in automatically mapping multi-loop applications to FPGAs.	FPGA	2005	DBLP DOI BibTeX RDF	high-level and architectural synthesis, parallelizing compiler analysis techniques, synthesis techniques for configurable computing, FPGAs, pipelining, rapid prototyping, hardware design
2	Yonghua Ding, Zhiyuan Li	A Compiler Analysis of Interprocedural Data Communication.	SC	2003	DBLP DOI BibTeX RDF
2	Yi-Ping You, Chingren Lee, Jenq Kuen Lee	Compiler Analysis and Supports for Leakage Power Reduction on Microprocessors.	LCPC	2002	DBLP DOI BibTeX RDF
2	Richard Johnson, Michael S. Schlansker	Analysis Techniques for Predicated Code.	MICRO	1996	DBLP BibTeX RDF	boolean operand, graph-based data structure, predicated code, program analysis tools, run-time value, compiler optimization, instruction-level parallelism, data flow analysis, compiler analysis
2	Scott A. Mahlke, Balas K. Natarajan	Compiler Synthesized Dynamic Branch Prediction.	MICRO	1996	DBLP BibTeX RDF	profile information, pipelined processor, compiler analysis, dynamic branch prediction, branch instruction
2	M. P. Blivens, Mary Lou Soffa	Reuse of Compiler Analysis in a Programming Environment.	ACM Conference on Computer Science	1989	DBLP DOI BibTeX RDF
1	Shuguang Feng, Shantanu Gupta, Amin Ansari, Scott A. Mahlke	Shoestring: probabilistic soft error reliability on the cheap.	ASPLOS	2010	DBLP DOI BibTeX RDF	error detection, fault injection, compiler analysis
1	Liang Han, Wei Liu, James Tuck	Speculative parallelization of partial reduction variables.	CGO	2010	DBLP DOI BibTeX RDF	reduction variables, parallelization, thread-level speculation, multi-core architecture
1	Joseph M. Hellerstein	Datalog redux: experience and conjecture.	PODS	2010	DBLP DOI BibTeX RDF	bloom, boom, dedalus, overlog, distributed systems, parallelism, cloud computing, datalog
1	Gautam Upadhyaya, Samuel P. Midkiff, Vijay S. Pai	Using data structure knowledge for efficient lock generation and strong atomicity.	PPOPP	2010	DBLP DOI BibTeX RDF	automatic lock generation, parallel programming, transactional memory
1	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
1	Greg Bronevetsky	Communication-Sensitive Static Dataflow for Parallel Message Passing Applications.	CGO	2009	DBLP DOI BibTeX RDF	parallel processing, static analysis, message-passing, multi-core, compiler analysis
1	Tao Liu, Haibo Lin, Tong Chen, Kevin O'Brien, Ling Shao	DBDB: optimizing DMATransfer for the cell be architecture.	ICS	2009	DBLP DOI BibTeX RDF	loop blocking, local memory, multi-core system
1	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
1	Greg Bronevetsky, Daniel Marques, Keshav Pingali, Sally A. McKee, Radu Rugina	Compiler-enhanced incremental checkpointing for OpenMP applications.	IPDPS	2009	DBLP DOI BibTeX RDF
1	Guojing Cong, Seetharami Seelam, I-Hsin Chung, Sophia Wen, David J. Klepacki	Towards a framework for automated performance tuning.	IPDPS	2009	DBLP DOI BibTeX RDF
1	Doosan Cho, Sudeep Pasricha, Ilya Issenin, Nikil D. Dutt, Minwook Ahn, Yunheung Paek	Adaptive Scratch Pad Memory Management for Dynamic Behavior of Multimedia Applications.	IEEE Trans. on CAD of Integrated Circuits and Systems	2009	DBLP DOI BibTeX RDF
1	Seung-Jai Min, Rudolf Eigenmann	Optimizing irregular shared-memory applications for clusters.	ICS	2008	DBLP DOI BibTeX RDF	irregular data accesses, runtime technique, performance, MPI, openMP, compiler analysis
1	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
1	Taylan Yemliha, Shekhar Srikantaiah, Mahmut T. Kandemir, Ozcan Ozturk	SPM management using Markov chain based data access prediction.	ICCAD	2008	DBLP DOI BibTeX RDF
1	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
1	Brian S. White, Sally A. McKee, Daniel J. Quinlan	A projection-based optimization framework for abstractions with application to the unstructured mesh domain.	ICS	2008	DBLP DOI BibTeX RDF	high-level abstraction semantics, rose, unstructured mesh
1	Xuejun Yang, Ying Zhang, Jingling Xue, Ian Rogers, Gen Li 0002, Guibin Wang	Exploiting loop-dependent stream reuse for stream processors.	PACT	2008	DBLP DOI BibTeX RDF	StreamC, stream professor, stream register file, stream reuse, stream programming model
1	Greg Bronevetsky, Daniel Marques, Keshav Pingali, Radu Rugina, Sally A. McKee	Compiler-enhanced incremental checkpointing for OpenMP applications.	PPOPP	2008	DBLP DOI BibTeX RDF	fault tolerance, static analysis, checkpointing, performance optimization
1	Shuyi Shao, Yu Zhang, Alex K. Jones, Rami G. Melhem	Symbolic expression analysis for compiled communication.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Ilya Issenin, Erik Brockmeyer, Miguel Miranda, Nikil Dutt	DRDU: A data reuse analysis technique for efficient scratch-pad memory management.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	Scratch-pad memory management, data reuse analysis, memory hierarchy, compiler analysis
1	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
1	Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew	Optimistic parallelism requires abstractions.	PLDI	2007	DBLP DOI BibTeX RDF	abstractions, optimistic parallelism, irregular programs
1	Feihui Li, Guangyu Chen, Mahmut T. Kandemir, Ibrahim Kolcu	Profile-driven energy reduction in network-on-chips.	PLDI	2007	DBLP DOI BibTeX RDF	routing, compiler, Network-on-Chip, power
1	Jaewook Shin, Paul D. Hovland	Comparison of two activity analyses for automatic differentiation: context-sensitive flow-insensitive vs. context-insensitive flow-sensitive.	SAC	2007	DBLP DOI BibTeX RDF	automatic differentiation, activity analysis
1	Yi-Ping You, Chung-Wen Huang, Jenq Kuen Lee	Compilation for compact power-gating controls.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	Compilers for low power, balanced scheduling, power-gating mechanisms, data-flow analysis, leakage-power reduction
1	Xiaotong Zhuang, Santosh Pande	Allocating architected registers through differential encoding.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	architected register, differential encoding, Register allocation
1	Cheng Wang, Ho-Seop Kim, Youfeng Wu, Victor Ying	Compiler-Managed Software-based Redundant Multi-Threading for Transient Fault Detection.	CGO	2007	DBLP DOI BibTeX RDF
1	Ravishankar K. Iyer, Zbigniew Kalbarczyk, Karthik Pattabiraman, William Healey, Wen-mei W. Hwu, Peter Klemperer, Reza Farivar	Toward Application-Aware Security and Reliability.	IEEE Security & Privacy	2007	DBLP DOI BibTeX RDF
1	Joonseok Park, Pedro C. Diniz	Partial Data Reuse for Windowing Computations: Performance Modeling for FPGA Implementations.	ARC	2007	DBLP DOI BibTeX RDF	scalar replacement, loop splitting, loop interchange, Field Programmable Gate Arrays (FPGA), Reconfigurable Computing, data reuse
1	Greg Bronevetsky, Daniel Marques, Keshav Pingali, Radu Rugina	Compiler-Enhanced Incremental Checkpointing.	LCPC	2007	DBLP DOI BibTeX RDF
1	Xiaotong Zhuang, Santosh Pande	Effective thread management on network processors with compiler analysis.	LCTES	2006	DBLP DOI BibTeX RDF	real-time scheduling, compiler optimizations, network processors, CPU scheduling
1	Jeff Da Silva, J. Gregory Steffan	A probabilistic pointer analysis for speculative optimizations.	ASPLOS	2006	DBLP DOI BibTeX RDF	speculative optimization, dependence analysis, pointer analysis
1	Kun Zhang, Santosh Pande	Minimizing downtime in seamless migrations of mobile applications.	LCTES	2006	DBLP DOI BibTeX RDF	seamless migration, mobile computing, compiler
1	Yi-Ping You, Chingren Lee, Jenq Kuen Lee	Compilers for leakage power reduction.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	Compilers for low power, power-gating mechanisms, leakage-power reduction
1	Robert Hundt, Sandya Mannarswamy, Dhruva R. Chakrabarti	Practical Structure Layout Optimization and Advice.	CGO	2006	DBLP DOI BibTeX RDF
1	Ozcan Ozturk, Mahmut T. Kandemir, Mary Jane Irwin, Suleyman Tosun	Multi-Level On-Chip Memory Hierarchy Design for Embedded Chip Multiprocessors.	ICPADS	2006	DBLP DOI BibTeX RDF
1	Henry G. Dietz, William R. Dieter	Compiler and runtime support for predictive control of power and cooling.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Wei Zhang 0002, Mahmut T. Kandemir, Mustafa Karaköy, Guangyu Chen	Reducing data cache leakage energy using a compiler-based approach.	ACM Trans. Embedded Comput. Syst.	2005	DBLP DOI BibTeX RDF	array-intensive applications, pointer-intensive applications, data caches, energy optimization, Compiler analysis
1	Alex Shye, Matthew Iyer, Vijay Janapa Reddi, Daniel A. Connors	Code coverage testing using hardware performance monitoring support.	AADEBUG	2005	DBLP DOI BibTeX RDF	software testing, code coverage, hardware performance monitoring
1	G. Chen, Mahmut T. Kandemir	Optimizing embedded applications using programmer-inserted hints.	ASP-DAC	2005	DBLP DOI BibTeX RDF
1	Yi-Ping You, Chung-Wen Huang, Jenq Kuen Lee	A sink-n-hoist framework for leakage power reduction.	EMSOFT	2005	DBLP DOI BibTeX RDF	balanced scheduling, compilers for low power, power-gating mechanisms, data-flow analysis, leakage power reduction
1	Xiaotong Zhuang, Santosh Pande	Differential register allocation.	PLDI	2005	DBLP DOI BibTeX RDF	architected register, differential dncoding, register allocation
1	Amir Kamil, Jimmy Su, Katherine A. Yelick	Making Sequential Consistency Practical in Titanium.	SC	2005	DBLP DOI BibTeX RDF
1	Timothy M. Jones, Michael F. P. O'Boyle, Jaume Abella, Antonio González	Software Directed Issue Queue Power Reduction.	HPCA	2005	DBLP DOI BibTeX RDF
1	Costin Iancu, Parry Husbands, Paul Hargrove	HUNTing the Overlap.	IEEE PACT	2005	DBLP DOI BibTeX RDF
1	Jimmy Su, Katherine A. Yelick	Automatic Support for Irregular Computations in a High-Level Language.	IPDPS	2005	DBLP DOI BibTeX RDF
1	Heidi E. Ziegler, Priyadarshini L. Malusare, Pedro C. Diniz	Array Replication to Increase Parallelism in Applications Mapped to Configurable Architectures.	LCPC	2005	DBLP DOI BibTeX RDF
1	Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe	Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations.	CASES	2004	DBLP DOI BibTeX RDF	Barvinok's decomposition, Ehrhart polynomial, parametric polytope, quasi-polynomial, signed unimodular decomposition, polyhedral model, compiler analysis
1	Samuel Z. Guyer, Kathryn S. McKinley	Finding your cronies: static analysis for dynamic object colocation.	OOPSLA	2004	DBLP DOI BibTeX RDF	compiler-assisted memory, cooperative optimization, static analysis, management
1	Ali-Reza Adl-Tabatabai, Richard L. Hudson, Mauricio J. Serrano, Sreenivas Subramoney	Prefetch inection based on hardware monitoring and object metadata.	PLDI	2004	DBLP DOI BibTeX RDF	virtual machines, garbage collection, prefetching, compiler optimization, cache misses, profile-guided optimization
1	Yutao Zhong, Maksim Orlovich, Xipeng Shen, Chen Ding	Array regrouping and structure splitting using whole-program reference affinity.	PLDI	2004	DBLP DOI BibTeX RDF	array regrouping, reference affinity, reuse signature, structure splitting, volume distance, program transformation, program locality
1	Raksit Ashok, Saurabh Chheda, Csaba Andras Moritz	Coupling compiler-enabled and conventional memory accessing for energy efficiency.	ACM Trans. Comput. Syst.	2004	DBLP DOI BibTeX RDF	translation buffers, virtually addressed caches, Energy efficiency
1	Heidi E. Ziegler, Mary W. Hall, Pedro C. Diniz	Compiler-generated communication for pipelined FPGA applications.	DAC	2003	DBLP DOI BibTeX RDF	high-level and architectural synthesis, parallelizing compiler analysis techniques, synthesis techniques for configurable computing, FPGAs, pipelining, rapid prototyping
1	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
1	J. Robert von Behren, Jeremy Condit, Feng Zhou, George C. Necula, Eric A. Brewer	Capriccio: scalable threads for internet services.	SOSP	2003	DBLP DOI BibTeX RDF	blocking graph, dynamic stack growth, linked stack management, resource-aware scheduling, user-level threads
1	Ravikrishnan Sree, Alex Settle, Ian Bratt, Daniel A. Connors	Compiler-Directed Resource Management for Active Code Regions.	Interaction between Compilers and Computer Architectures	2003	DBLP DOI BibTeX RDF
1	Manish P. Kurhekar, Rajkishore Barik, Umesh Kumar	An Efficient Algorithm to Compute Delay Set in SPMD Programs.	HiPC	2003	DBLP DOI BibTeX RDF
1	Pedro C. Diniz	A Compiler Approach to Performance Prediction Using Empirical-Based Modeling.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
1	Konstantin Berlin, Jun Huan, Mary Jacob, Garima Kochhar, Jan Prins, William Pugh, P. Sadayappan, Jaime Spacco, Chau-Wen Tseng	Evaluating the Impact of Programming Language Features on the Performance of Parallel Applications on Cluster Architectures.	LCPC	2003	DBLP DOI BibTeX RDF
1	Yutao Zhong, Xipeng Shen, Chen Ding	A Hierarchical Model of Reference Affinity.	LCPC	2003	DBLP DOI BibTeX RDF
1	Heidi E. Ziegler, Byoungro So, Mary W. Hall, Pedro C. Diniz	Coarse-Grain Pipelining on Multiple FPGA Architectures.	FCCM	2002	DBLP DOI BibTeX RDF	Coarse-grain Pipelining, FPGA-based Custom Computing Machines, Parallelizing Compiler Analysis Techniques
1	Raksit Ashok, Saurabh Chheda, Csaba Andras Moritz	Cool-Mem: combining statically speculative memory accessing with selective address translation for energy efficiency.	ASPLOS	2002	DBLP DOI BibTeX RDF
1	T. Vinod Kumar Gupta, Roberto E. Ko, Rajeev Barua	Compiler-directed customization of ASIP cores.	CODES	2002	DBLP DOI BibTeX RDF	soft cores, embedded, customization, ASIP
1	Renato Ferreira, Gagan Agrawal, Joel H. Saltz	Compiler supported high-level abstractions for sparse disk-resident datasets.	ICS	2002	DBLP DOI BibTeX RDF	data Parallel compilation, restructing compilers, data Intensive computing, sparse computations
1	Abhishek Singh, Santosh Pande	Compiler optimizations for Java aglets in distributed data intensive applications.	SAC	2002	DBLP DOI BibTeX RDF	Java
1	Yunheung Paek, Jay Hoeflinger, David A. Padua	Efficient and precise array access analysis.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Array access analysis, linear memory access descriptors, internal representation
1	Zhenlin Wang, Kathryn S. McKinley, Arnold L. Rosenberg, Charles C. Weems	Using the Compiler to Improve Cache Replacement Decisions.	IEEE PACT	2002	DBLP DOI BibTeX RDF
1	Tong Chen, Jin Lin, Wei-Chung Hsu, Pen-Chung Yew	On the Impact of Naming Methods for Heap-Oriented Pointers in C Programs. (PDF / PS)	ISPAN	2002	DBLP DOI BibTeX RDF	points-to set, heap-oriented pointer, flow-sensitivity and context sensitivity, profiling, instrumentation
1	Tong Chen, Jin Lin, Wei-Chung Hsu, Pen-Chung Yew	An Empirical Study on the Granularity of Pointer Analysis in C Programs.	LCPC	2002	DBLP DOI BibTeX RDF
1	Ewa Deelman, Rajive Bagrodia, Rizos Sakellariou, Vikram S. Adve	Improving lookahead in parallel discrete event simulations of large-scale applications using compiler analysis.	Workshop on Parallel and Distributed Simulation	2001	DBLP DOI BibTeX RDF
1	Somnath Ghosh	Cache Miss Equations: Compiler Analysis Framework for Tuning Memory Behavior.	PPSC	2001	DBLP BibTeX RDF
1	Timothy Sherwood, Brad Calder	Automated design of finite state machine predictors for customized processors.	ISCA	2001	DBLP DOI BibTeX RDF
1	Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler	An Empirical Study of Operating System Errors.	SOSP	2001	DBLP DOI BibTeX RDF	Linux
1	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
1	Björn Franke, Michael F. P. O'Boyle	Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications.	CC	2001	DBLP DOI BibTeX RDF
1	Pedro C. Diniz, Mary W. Hall, Joonseok Park, Byoungro So, Heidi E. Ziegler	Bridging the Gap between Compilation and Synthesis in the DEFACTO System.	LCPC	2001	DBLP DOI BibTeX RDF
1	Lynn Choi, Pen-Chung Yew	Compiler Analysis for Cache Coherence: Interprocedural Array Data-Flow Analysis and Its Impact on Cache Performance.	IEEE Trans. Parallel Distrib. Syst.	2000	DBLP DOI BibTeX RDF	Compiler, shared-memory multiprocessors, data-flow analysis, cache coherence, interprocedural analysis
1	Yuan Lin, David A. Padua	Compiler analysis of irregular memory accesses.	PLDI	2000	DBLP DOI BibTeX RDF
1	Mahmut T. Kandemir	A Collective I/O Scheme Based on Compiler Analysis.	LCR	2000	DBLP DOI BibTeX RDF
1	Pedro C. Diniz, Joonseok Park	Automatic Synthesis of Data Storage and Control Structures for FPGA-Based Computing Engines.	FCCM	2000	DBLP DOI BibTeX RDF	FPGA-based reconfigurable computing architectures, data queues, compilation, program analysis
1	Sang Jeong Lee, Pen-Chung Yew	On Some Implementation Issues for Value Prediction on Wide-Issue ILP Processors.	IEEE PACT	2000	DBLP DOI BibTeX RDF
1	Yuan Lin, David A. Padua	Analysis of Irregular Single-Indexed Array Accesses and Its Applications in Compiler Optimizations.	CC	2000	DBLP DOI BibTeX RDF
1	Barbara Kreaseck, Dean M. Tullsen, Brad Calder	Limits of Task-Based Parallelism in Irregular Applications.	ISHPC	2000	DBLP DOI BibTeX RDF
1	Xin Yuan, Rajiv Gupta, Rami G. Melhem	Compiler Analysis to Support Compiled Communication for HPF-Like Programs. (PDF / PS)	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
1	Lori Carter, Beth Simon, Brad Calder, Larry Carter, Jeanne Ferrante	Predicated Static Single Assignment.	IEEE PACT	1999	DBLP DOI BibTeX RDF	Predicated Compiler Analysis, Instruction Scheduling
1	David K. Lowenthal, Michael James	Run-Time Selection of Block Size in Pipelined Parallel Programs. (PDF / PS)	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
1	Daniel A. Connors, Wen-mei W. Hwu	Compiler-Directed Dynamic Computation Reuse: Rationale and Initial Results. (PDF / PS)	MICRO	1999	DBLP DOI BibTeX RDF
1	Diego Novillo, Ronald C. Unrau, Jonathan Schaeffer	Concurrent SSA Form in the Presence of Mutual Exclusion. (PDF / PS)	ICPP	1998	DBLP DOI BibTeX RDF
1	Sudarsan Tandri, Tarek S. Abdelrahman	Automatic Partitioning of Data and Computations on Scalable Shared Memory Multiprocessors. (PDF / PS)	ICPP	1997	DBLP DOI BibTeX RDF	computation partitioning, scalable, shared memory multiprocessors, automatic parallelization, data distribution, compiler analysis
1	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
1	Hock-Beng Lim, Pen-Chung Yew	A Compiler-Directed Cache Coherence Scheme Using Data Prefetching. (PDF / PS)	IPPS	1997	DBLP DOI BibTeX RDF
1	David M. Gillies, Roy Dz-Ching Ju, Richard Johnson, Michael S. Schlansker	Global Predicate Analysis and Its Application to Register Allocation.	MICRO	1996	DBLP BibTeX RDF
1	Clark Verbrugge, Phong Co, Laurie J. Hendren	Generalized Constant Propagation: A Study in C.	CC	1996	DBLP DOI BibTeX RDF