%===============================================================================
% (c) <NAME> <xharmi00 AT stud.fit.vutbr.cz>
%===============================================================================

@Misc{harmimBP,
    author = {<NAME>.},
    title = {
        {\textit{Static Analysis Using Facebook Infer to Find Atomicity
        Violations}}
    },
    note = {
        Bachelor's thesis. Brno University of Technology, Faculty of
        Information Technology. Supervisor T. Vojnar
    },
    year = {2019}
}

@InProceedings{contracts2017,
    author = {
        <NAME>. and <NAME>. and <NAME>. and <NAME>.
        and <NAME>. and <NAME>. and <NAME>.
    },
    title = {{Verifying Concurrent Programs Using Contracts}},
    booktitle = {Proc. of ICST},
    year = {2017}
}

@InProceedings{inferBiabduction,
    author = {<NAME>. and <NAME>. and <NAME>. and <NAME>.},
    title = {{Compositional Shape Analysis by Means of Bi-Abduction}},
    booktitle = {Proc. of POPL},
    year = {2009}
}

@InProceedings{controlFlowAnalysisAllen,
    author = {<NAME>.},
    title = {{Control Flow Analysis}},
    booktitle = {Proc. of a~Symposium on Compiler Optimization},
    year = {1970},
}

@Article{racerD,
    author = {
        <NAME>. and <NAME>. and <NAME>. and <NAME>.
    },
    title = {{RacerD: Compositional Static Race Detection}},
    journal = {Proc. of OOPSLA},
    year = {2018}
}

@InProceedings{AILatticeModelCousot,
    author = {<NAME>. and <NAME>.},
    title = {
        {Abstract Interpretation: A~Unified Lattice Model for Static
        Analysis of Programs by Construction or Approximation of Fixpoints}
    },
    booktitle = {Proc. of POPL},
    year = {1977}
}

@Misc{staticAnalysisMoller,
    author = {<NAME>. and <NAME>.},
    title = {{\textit{Static Program Analysis}}},
    note = {Department of Computer Science, Aarhus University},
    year = {2020}
}

@Book{programAnalysisNielson,
    author = {<NAME>. and <NAME>. and <NAME>.},
    title = {{Principles of Program Analysis}},
    publisher = {Springer Berlin Heidelberg},
    edition = {2nd},
    year = {2005}
}

@InProceedings{DFAGraphReach,
    author = {<NAME>. and <NAME> <NAME>.},
    title = {
        {Precise Interprocedural Dataflow Analysis via Graph Reachability}
    },
    booktitle = {Proc. of POPL},
    year = {1995}
}

@InCollection{DFAApproaches,
    author = {<NAME>. and <NAME>.},
    title = {{Two Approaches to Interprocedural Data Flow Analysis}},
    booktitle = {Program Flow Analysis: Theory and Applications},
    chapter = {7},
    year = {1981},
    publisher = {Prentice Hall}
}

@InProceedings{accessPath,
    author = {<NAME>. and <NAME>. and <NAME>. and <NAME>.},
    title = {
        {Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis
        with Unbounded Access Paths (T)}
    },
    year = {2015},
    booktitle = {Proc. of ASE}
}

@Book{staticAnalysisRival,
    author = {<NAME>. and <NAME>.},
    title = {
        {Introduction to Static Analysis: An Abstract Interpretation
        Perspective}
    },
    publisher = {The MIT Press},
    edition = {1st},
    year = {2020}
}

@Article{hoare,
    author = {Hoare, <NAME>.},
    title = {{An Axiomatic Basis for Computer Programming}},
    year = {1969},
    journal = {Commun. ACM}
}

@InProceedings{anaconda,
    author = {
        <NAME>. and <NAME>. and <NAME>. and <NAME>.
        and <NAME>.
    },
    title = {
        {Advances in the ANaConDA Framework for Dynamic Analysis and Testing
        of Concurrent C/C++ Programs}
    },
    booktitle = {Proc. of ISSTA},
    year = {2018}
}

@InProceedings{deadlockKroening,
    author = {<NAME> <NAME> <NAME> <NAME>.},
    title = {{Sound Static Deadlock Analysis for C/Pthreads}},
    booktitle = {Proc. of ASE},
    year = {2016},
}

%===============================================================================
