Luc Séméria
- 1.Ivo Bolsens, Hugo J. De Man, Bill Lin, Karl Van Rompaey, Steven Vercauteren, Diederik Verkest, "Hardware/Sofware Co- Design of Digital Telecommunication Systems", Proceedings of the IEEE, Vol 85, No. 3, pp.391-418, March 97.]]Google Scholar
Cross Ref
- 2.C.T.Bye, M.R. Lightner and D.L. Ravenscroft, "A Functional Modeling and Simulation Environment based on ESIM and C", Proceeding of the 1984 ICCAD, pp.51-53, November 84.]]Google Scholar
- 3.Giovanni De Micheli "Synthesis and Optimization of Digital Circuits", Me Graw Hill, Hightstown, NJ, 1994.]] Google ScholarDigital Library
- 4.R. Ernst, J. Henkel, Th. Benner, W. Ye, U. Holtmann, D. Herrmann, and M. Trawny, "The COSYMA Environment for Hardware~Software Cosynthesis of Small Embedded Systems" Microprocessors and Microsystems 20(3),pp.159-166, May 1996.]]Google ScholarCross Ref
- 5.Brian Kemighan, Dennis Ritchie, "The C Programming Language", Prentice Hall Software Series, Englewood Cliffs, NJ, 1988.]] Google ScholarDigital Library
- 6.David Knapp, "Behavioral Synthesis: Digital System Design Using the Synop~'s Design Compiler", Prentice Hall, Upper Saddle River, NJ, 1996.]] Google ScholarDigital Library
- 7.David Ku and Giovanni De Micheli, "High-Level Synthesis of ASICs under Timing and Synchronization Constraints", Kluwer Academic Publishers, Boston, MA 1992.]] Google ScholarDigital Library
- 8.Stan Liao, Steve Tjiang, Rajesh Gupta, "'An Efficient Implementation of Reactivity for Modeling Hardware in the SCENIC Design Environment", Design Automation Conference DAC97, pp.70-75.]] Google ScholarDigital Library
- 9.Elliot Linzer, Ephraim Reig, "New Scaled DCTAlgorithmsfor Fused Multiply/Add Architectures", International Conference on Acoustics, Speech, and Signal Processing, Proceedings ICASSP '91, Vols.l-5, pp.2201-2204, 1991.]]Google Scholar
- 10.Steven S. Muchnick "Advanced Compiler Design & implementation", Morgan Kaufmann Publishers, San Francisco, Ca, 1997.]] Google ScholarDigital Library
- 11.Cytron, Ron, and Reid Gershbein. "Efficient Accomodation of May-Alias Information in SSA form", Proceedings of the ACM SIGPLAN'93 Conference on Programming Languages Design and Implementation, pp.36-45, June 1993.]] Google ScholarDigital Library
- 12.Donald Soderman, Yuri Panchul, "Implementing C Designs in Hardware: A Full-Featured ANSI C to RTL Verilog Compiler in Action", http://www.compilogic.com/]]Google Scholar
- 13.Bjame Steensgaard "Point-to Analysis by Type Inference of Programs with Structures and Unions" Proceedings of the 1996 International Conference on Compiler Construction, pp.136-150, April 1996.]] Google ScholarDigital Library
- 14.Charles Stoud, Ronald Munoz, David Pierce, "Behavioral Model Synthesis with Cones", IEEE Design & Test of Computers, Vol 5 No3, pp.22-30, June 88.]] Google ScholarDigital Library
- 15.Tiziano Villa, Alberto Sangiovanni-Vincentelly, "NOVA: State Assignment of Finite State Machines for Optimal Two-Level Logic Implementation", IEEE Transactions on Computer- Aided Design, Vol. 9, pp.905-924, September 1990.]]Google ScholarDigital Library
- 16.Robert Wilson, "Efficient, Context-Sensitive Pointer Analysis For C Programs", PhD Dissertation, Stanford University, 1997.]] Google ScholarDigital Library
- 17.Robert Wilson, Monica Lam, "Efficient Context-Sensitive Pointer Analysis for C Programs", Proceeding of the ACM SIGPLAN'95 Conference on Programming Languages Design and Implementation, pp.l-12, June 95.]] Google ScholarDigital Library
- 18.R.P.Wilson et al. "Suif: An Infrastructure for Research on Parallelizing and Optimizing Compilers", ACM SIPLAN Notices 28(9), pp.67-70, Sept. 1994.]] Google ScholarDigital Library
Index Terms
- SpC: synthesis of pointers in C: application of pointer analysis to the behavioral synthesis from C
Recommendations
Symbolic range analysis of pointers
CGO '16: Proceedings of the 2016 International Symposium on Code Generation and OptimizationAlias analysis is one of the most fundamental techniques that compilers use to optimize languages with pointers. However, in spite of all the attention that this topic has received, the current state-of-the-art approaches inside compilers still face ...
Precise Call Graphs for C Programs with Function Pointers
The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory accesses through pointer dereferences, as well as indirect procedure calls (e.g., ...
Comments