Aliasing analysis

I must apologise for the length of time the summary has taken to appear.
Our site has had problems with mail --- or rather the lack of it. Mail
has simply been vanishing down a black hole.


Many thanks to all those who mailed me (order of arrival):
                Steve Masticola, Jyh-Herng Chow, Tom Knight, Pierre DAVID, Brian
Bliss, Alain Deutsch and Joseph Edward Hummel.


Best wishes,
                Andrew.


------------------------------------------------------------------------------
1992:
=====


@techreport{Davi:92a,
    AUTHOR = {David P.},
    INSTITUTION = {MASI},
    MONTH = {June},
    NUMBER = {92.39},
    TITLE = {Semantic Analysis of Straight-Line C Code with Pointers},
    YEAR = {1992}
}


@inproceedings{Davi:92b,
    AUTHOR = {David P.},
    BOOKTITLE = {Parallel Processing: CONPAR'92 - VAPP V / LNCS 634},
    EDITOR = {L. Boug\'e and M. Cosnard and Y. Robert and D. Trystram},
    MONTH = {September},
    PAGES = {pp 647--652},
    PUBLISHER = {Springer-Verlag},
    TITLE = {Semantic Analysis for Parallelizing C},
    YEAR = {1992}
}


@InProceedings{Deutsch92a,
    author = "Deutsch,A.",
    title = "A Storeless Model of Aliasing and its Abstractions using Finite
                              Representations of Right-Regular Equivalence Relations",
    pages = "2--13",
    booktitle = "Proc. of the IEEE 1992 International Conf. on Computer
                              Languages",
    year = 1992,
    address = "Oakland",
    month = apr,
    publisher = "IEEE Press"
}


@PhdThesis{DeutschPhd,
    author = "Deutsch,A.",
    title = "Operational Models of Programming Languages and Representations
     of Relations on Regular Languages with Application to the Static
                          Determination of Dynamic Aliasing Properties of Data",
    school = "LIX, Ecole Polytechnique",
    year = 1992,
    note = "256 p.",
    address = "F-91128, Palaiseau Cedex, France"
}


@INPROCEEDINGS{HaAm92
    Author = "Williams L. Harrison and Zahira Ammarguellat",
    BookTitle = "5th Workshop on Languages and Compilers for Parallel
     Computing",
    Title = "{A Program's Eye View of Miprac}",
    Pages = "339-353",
    Note = "Yale Report YALEU/DCS/RR-915",
    Year = 1992
}


Hummel, et al, in sigplan pldi '92, discusses how programmer
          can annotate type decls to help in ptr analysis.


@inproceedings(landi-sigplan92,
    author = "Landi, W. and Ryder, B. G.",
    title = "A Safe Approximation Algorithm for Interprocedural Pointer
                              Aliasing",
    month = jun,
    booktitle = "Proceedings of the SIGPLAN '92 Conference on Programming
                              Language Design and Implementation"
    pages = "235-248",
    year = "1992")


1991:
=====


@phdthesis{Davi:91,
    AUTHOR = {David P.},
    MONTH = {Septembre},
    NOTE = {Rapport MASI 91.60},
    SCHOOL = UPMC,
    TITLE = {Analyse s\'emantique de programmes en langage~C en vue de leur par
                        all\'elisation},
    YEAR = {1991}
}


@inproceedings(landi-popl91,
    author = "Landi, W. and Ryder, B. G.",
    title = "Pointer-induced Aliasing: A Problem Classification",
    booktitle = "Conference Record of the Eighteenth Annual ACM Symposium on
                              Principles of Programming Languages",
    month = jan,
    pages = "93-103",
    year = "1991")


@techreport(landi-tr2,
    author = "Landi, W. and Ryder, B. G.",
    title = "A Safe Approximate Algorithm for Interprocedural Pointer
                                  Aliasing",
    institution = "Rutgers University",
    type = "Laboratory for Computer Science Research Technical Report",
    number = "LCSR-TR-168",
    note = "fuller version of SIGPLAN'92 paper",
    month = sep,
    year = "1991")


@phdthesis(landi-thesis,
    author = "Landi, W.",
    title = "Interprocedural Aliasing through Pointers",
    school = "Rutgers University",
    key = "landi",
    month = dec,
    year = "1991")


1990:
=====


@inproceedings{Bodi:90,
    AUTHOR = {Bodin F.},
    BOOKTITLE = {International Workshop on Compilers for Parallel Computers,
                              Paris},
    MONTH = {D\'ecembre},
    TITLE = {Data Structure Analysis in C Programs},
    YEAR = {1990}
}


@inproceedings{CWZ:90,
    AUTHOR = {Chase D. and Wegman M. and Zadeck K.},
    BOOKTITLE = {Proceedings of the SIGPLAN'90 Conference on Programming
     Language Design and Implementation},
    MONTH = {June},
    PAGES = {pp 296--310},
    TITLE = {Analysis of Pointers and Structures},
    YEAR = {1990}
}


@InProceedings{Deutsch90,
    author = "Deutsch,A.",
    title = "On determining lifetime and aliasing of dynamically
                                    allocated data in higher-order functional specifications",
    pages = "157--168",
    booktitle = "Seventeenth Annual ACM Symp. on Principles of Programming
                                    Languages",
    year = 1990,
    organization = "ACM Press",
    address = "San Francisco",
    month = jan
}


@techreport(landi1,
    author = "Landi, W. and Ryder, B. G.",
    title = "Aliasing with and without Pointers: A Problem Taxonomy",
    institution = "Rutgers University",
    type = "Center for Computer Aids for Industrial Productivity
                                  Technical Report",
    pages = "1-55",
    number = "CAIP-TR-125",
    note = "a fuller version of the POPL'91 paper",
    month = sep,
    year = "1990")


Pre 1990:
=========


@inproceedings{CK:89,
    AUTHOR = {Cooper K. and Kennedy K.},
    BOOKTITLE = {Proceedings of the ACM Conference on Principles of Programming
                              Languages (POPL)},
    PAGES = {pp 29--41},
    TITLE = {Fast Interprocedural Alias Analysis},
    YEAR = {1989}
}


@inproceedings{HPR:89,
    AUTHOR = {Horwitz S. and Pfeiffer P. and Reps T.},
    BOOKTITLE = {SIGPLAN'89 Conference on Programming Language Design and
                              Languages (POPL)},
    PAGES = {pp 29--41},
    TITLE = {Fast Interprocedural Alias Analysis},
    YEAR = {1989}
}


@inproceedings{HPR:89,
    AUTHOR = {Horwitz S. and Pfeiffer P. and Reps T.},
    BOOKTITLE = {SIGPLAN'89 Conference on Programming Language Design and
                              Implementation},
    PAGES = {pp 28--40},
    TITLE = {Dependence Analysis for Pointer Variables},
    YEAR = {1989}
}


@inproceedings{Guar:88,
    AUTHOR = {Guarna V.},
    BOOKTITLE = {Proceedings of the 1988 International Conference on Parallel
                              Processing},
    PAGES = {pp 212--220},
    TITLE = {A Technique for Analysing Pointer and Structure References in
                              Parallel Restructuring Compilers},
    YEAR = {1988}
}


@Article{Guar88,
    author = "Vincent Guarna, Jr.",
    title = "{A Technique for Analyzing Pointer and Structure References in
                          Parallel Restructuring Compilers}",
    journal = "Proceedings of 1988 Int'l. Conference on Parallel Processing,
                          St. Charles, IL",
    year = "August 1988",
    pages = "212--0"}


@MastersThesis{Guar87,
    author = "Vincent A. Guarna, Jr.",
    title = "{Analysis of C Programs for Parallelization in the Presence of
                        Pointers}",
    school = "Univ. of Illinois at Urbana-Champaign, Center for Supercomputing
                        Res. \& Dev.",
    year = "December 1987"}


Murray Katz in his S.M. thesis at MIT ca. 1987


"An Architecture for Mostly Functional Languages" Tom Knight, ACM
Symposium on Lisp and Functional Programming, 1986.


@inproceedings{Weih:80,
    AUTHOR = {Weihl E.},
    BOOKTITLE = {Proceedings of ACM Symposium on Principles of Programming
                              Languages (POPL)},
    PAGES = {pp 83--94},
    TITLE = {Interprocedural Data Flow Analysis in the Presence of Pointers,
                              Procedure Variables and Label Variables},
    YEAR = {1980}
}
--
Computer Science Department | mail: andreww@dcs.rhbnc.ac.uk
Royal Holloway, University of London | tel: +44 784 443425
Egham Hill, Egham, Surrey TW20 0EX, ENGLAND
--

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