Re: Data Flow Analysis?

Randy <joe@burgershack.com>
27 Sep 2005 09:46:54 -0400

          From comp.compilers
Related articles
Data Flow Analysis? kwangyul.seo@gmail.com (Kwang Yul Seo) (2005-09-22)
Re: Data Flow Analysis? joe@burgershack.com (Randy) (2005-09-27)
Re: Data Flow Analysis? touati@prism.uvsq.fr (TOUATI Sid) (2005-09-30)
| List of all articles for this month |
From: Randy <joe@burgershack.com>
Newsgroups: comp.compilers
Date: 27 Sep 2005 09:46:54 -0400
Organization: Rice University, Houston, TX
References: 05-09-111
Keywords: analysis, dataflow, bibliography
Posted-Date: 27 Sep 2005 09:46:54 EDT

Kwang Yul Seo wrote:
> I want to participate in static analysis research and I would like to know
> if anybody has any good suggestions for references (books, articles, reading
> lists, open source projects) of data flow analysis.


By "dataflow", I assume you mean generic dataflow/dependency analysis,
and not program analysis for execution on dataflow architectures. If
so...


For research papers on dependency analysis, search CiteSeer:
http://citeseer.ist.psu.edu/


FYI, these are CiteSeer's most popular hits in "Compiler
Optimization":
http://citeseer.ist.psu.edu/Programming/CompilerOptimization/


Or search the ACM Portal:
http://portal.acm.org/guide.cfm?coll=portal&dl=GUIDE&CFID=55695959&CFTOKEN=39217715




Open source projects:


Search sourceforge.net for "dependency":
http://sourceforge.net/search/?type_of_search=soft&forum_id=0&group_id=0&atid=0&words=dependency&imageField.x=0&imageField.y=0


SSA for Trees (now part of GCC):
http://gcc.gnu.org/projects/tree-ssa/




Some classic books:


Dependence Analysis for Supercomputing, Utpal Banerjee, 1988
http://www.amazon.com/exec/obidos/tg/detail/-/0898382890/qid=1127761205/sr=8-1/ref=sr_8_xs_ap_i1_xgl14/103-5422443-6359803?v=glance&s=books&n=507846


"Dependence Analysis (Loop Transformation for Restructuring Compilers)",
Utpal Banerjee, 1996




Some recent textbooks:


Optimizing Compilers for Modern Architectures", Randy Allen and Ken
Kennedy, 2001
http://www.amazon.com/exec/obidos/tg/detail/-/1558602860/qid=1127760951/sr=8-1/ref=pd_bbs_1/103-5422443-6359803?v=glance&s=books&n=507846


"Building an Optimizing Compiler, Robert Morgan, 1998
http://www.amazon.com/exec/obidos/tg/detail/-/155558179X/qid=1127761871/sr=8-3/ref=sr_8_xs_ap_i1_xgl14/103-5422443-6359803?v=glance&s=books&n=507846


"Advanced Compiler Design and Implementation", Steven Muchnick, 1997
http://www.amazon.com/exec/obidos/tg/detail/-/1558603204/ref=sid_dp_dp/103-5422443-6359803?%5Fencoding=UTF8&v=glance


"High-Performance Compilers for Parallel Computing", Michael Wolfe, 1995
http://www.amazon.com/exec/obidos/tg/detail/-/0805327304/qid=1127761612/sr=1-4/ref=sr_1_4/103-5422443-6359803?v=glance&s=books


        Randy


--
Randy Crawford http://www.ruf.rice.edu/~rand rand AT rice DOT edu


"Howard Beale for President."

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.