@InProceedings{KIG05,
  author =    {Vineet Kahlon and Franjo Ivancic and Aarti Gupta},
  title =     {Reasoning About Threads Communicating via Locks},
  booktitle = {Proc. of CAV 2005},
  pages =     {505-518},
  year =      {2005},
  publisher = {Springer},
}

@InProceedings{KG06,
  author =    {Vineet Kahlon and Aarti Gupta},
  title =     {An Automata-Theoretic Approach for Model Checking Threads for {LTL} Properties},
  booktitle = {Proc. of LICS 2006},
  pages = {101--110},
  year =      {2006},
  publisher = {IEEE Computer Society},
}


@InProceedings{LM07,
  author =       {Peter Lammich and Markus M\"uller-Olm},
  title =        {Precise Fixpoint-Based Analysis of Programs with Thread-Creation},
  booktitle =    {Proc. of CONCUR 2007},
  pages =     {287--302},
  year =      {2007},
  publisher = {Springer},
}

@Misc {LM07_app,
  author =       {Peter Lammich and Markus M\"uller-Olm},
  title =        {Precise Fixpoint-Based Analysis of Programs with Thread-Creation},
  note =         {Version with appendix},
  howpublished = {Available from {\tt http://cs.uni-muenster.de/u/mmo/pubs/}}
}

@MastersThesis{La06,
  author =       {P. Lammich},
  title =        {Fixpunkt-basierte optimale {A}nalyse von {P}rogrammen mit {T}hread-{E}rzeugung},
  school =       {University of Dortmund},
  year =         {2006},
  month =        {May},
}

@InProceedings{LM06,
  author =       {Peter Lammich and Markus M\"uller-Olm},
  title =        {Precise Fixed Point Based Analysis of Programs with Thread-Creation},
  booktitle =    {Proc. of MEMICS 2006},
  pages =     {91--98},
  year =      {2006},
  publisher = {Faculty of Information Technology, Brno University of Technology},
}

@Book{NNH99,
  author =    {F. Nielson and H.R. Nielson and C. Hankin},
  title =     {Principles of Program Analysis},
  publisher =    {Springer},
  year =         {1999},
}

@InProceedings{EK99,
  author =       {Javier Esparza and Jens Knoop},
  title =        {An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis},
  booktitle =    {Proc. of FoSSaCS'99},
  pages =     {14--30},
  year =      {1999},
  publisher = {Springer},
}

@InProceedings{EP00,
  author =       {Javier Esparza and Andreas Podelski},
  title =        {Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs},
  booktitle =    {Proc. of POPL'00},
  pages =     {1--11},
  year =      {2000},
  publisher = {Springer},
}

@article{ KSV96,
    author = "Jens Knoop and Bernhard Steffen and J{\"u}rgen Vollmer",
    title = "Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs",
    journal = "TOPLAS",
    volume = "18",
    number = "3",
    month = "May",
    publisher = "ACM Press",
    pages = "268--299",
    year = "1996",
    url = "citeseer.ist.psu.edu/knoop94parallelism.html" }

@article{SeSt00,
author    = "H.\ Seidl and B.\ Steffen",
title    = "{Constraint-based inter-procedural analysis of parallel programs}",
journal    = "Nordic Journal of Computing (NJC)",
volume    = "7",
number    = "4",
pages    = "375--400",
year    = "2000"
}

@inproceedings{MMO01,
 author = {Markus M\"uller-Olm},
 title = {The Complexity of Copy Constant Detection in Parallel Programs},
 booktitle = {Proc. of STACS'01},
 year = {2001},
 pages = {490--501},
 publisher = {Springer},
}

@inproceedings{MS01,
 author = {Markus M\"uller-Olm and Helmut Seidl},
 title = {On optimal slicing of parallel programs},
 booktitle = {Proc. of STOC'01},
 year = {2001},
 isbn = {1-58113-349-9},
 pages = {647--656},
 location = {Hersonissos, Greece},
 doi = {http://doi.acm.org/10.1145/380752.380864},
 publisher = {ACM Press},
 address = {New York, NY, USA},
}

@article{MMO04,
 author = {Markus M\"uller-Olm},
 title = {Precise interprocedural dependence analysis of parallel programs},
 journal = {Theor. Comput. Sci.},
 volume = {311},
 number = {1-3},
 year = {2004},
 issn = {0304-3975},
 pages = {325--388},
 doi = {https://doi.org/10.1016/j.tcs.2003.09.002},
 publisher = {Elsevier Science Publishers Ltd.},
 address = {Essex, UK},
 }

@InProceedings{BMT05,
  author =       {A. Bouajjani and M. M\"uller-Olm and T. Touili},
  title =        {Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems},
  booktitle =    {Proc. of CONCUR'05},
  year =      {2005},
  publisher = {Springer},
}

@article{ Ram00,
    author = "G. Ramalingam",
    title = "Context-sensitive synchronization-sensitive analysis is undecidable",
    journal = "TOPLAS",
    volume = "22",
    number = "2",
    pages = "416--430",
    year = "2000",
    url = "citeseer.ist.psu.edu/ramalingam99contextsensitive.html" }


@inproceedings{CH92,
 author = {Jyh-Herng Chow and William Ludwell Harrison, III},
 title = {Compile-time analysis of parallel programs that share memory},
 booktitle = {Proc. of POPL'92},
 year = {1992},
 isbn = {0-89791-453-8},
 pages = {130--141},
 location = {Albuquerque, New Mexico, United States},
 doi = {http://doi.acm.org/10.1145/143165.143194},
 publisher = {ACM Press},
 address = {New York, NY, USA},
}

@incollection{Cou81,
   author =    {Cousot, P{.}},
   title =     {Semantic Foundations of Program Analysis},
   pages =     {303--342},
   editor =    {Muchnick, S.S{.} and Jones, N.D{.}},
   chapter =   10,
   booktitle = {Program Flow Analysis: Theory and Applications},
   publisher = {Prentice-Hall, Inc{.}, Englewood Cliffs, New Jersey},
   year =      1981,
}

@inproceedings{CC77_1,
   author =    {P. Cousot and R. Cousot},
   title =     {Abstract interpretation: a unified lattice model for static 
                analysis of programs by construction or approximation of 
                fixpoints},
   pages =     {238--252},
   booktitle = {Proc. of POPL'77},
   address =   {Los Angeles, California},
   publisher = {ACM Press, New York},
   year =      1977,
}

@inProceedings{CC77_2,
   author =    {P. Cousot and R. Cousot},
   title =     {Static determination of dynamic properties of recursive 
                procedures},
   pages =     {237--277},
   editor =    {Neuhold, E.J{.}},
   booktitle = {IFIP Conf{.} on Formal Description of Programming Concepts, 
                St-Andrews, N.B., CA},
   publisher = {North\discretionary{-}{}{-}Holland},
   year =      1977,
}
