@inproceedings(BCC03, author = "B{.} Blanchet and P{.} Cousot and R{.} Cousot and J{.} Feret and L{.} Mauborgne and A{.} Min\'e and D{.} Monniaux and X{.} Rival", year = "2003", title = "A Static Analyzer for Large Safety-Critical Software", booktitle = "Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation", series = "PLDI '03", publisher = "ACM", address = "New York, NY, USA", pages = "196--207", doi = "10.1145/781131.781153", ) @article(CCH00, author = "Agostino Cortesi and Baudouin Le Charlier and Pascal Van Hentenryck", year = "2000", title = "Combinations of abstract domains for logic programming: open product and generic pattern construction", journal = "Science of Computer Programming", volume = "38", number = "1-3", pages = "27--71", doi = "10.1016/S0167-6423(99)00045-3", ) @article(ZanioliCortesi, author = "Agostino Cortesi and Matteo Zanioli", year = "2011", title = "Widening and narrowing operators for abstract interpretation", journal = "Computer Languages, Systems {\&} Structures", volume = "37", number = "1", pages = "24--42", doi = "10.1016/j.cl.2010.09.001", ) @(MIT, author = "P. Cousot", title = "MIT course 16.399: Abstract Interpretation", url = "http://web.mit.edu/16.399/www/", ) @inproceedings(CC77, author = "P. Cousot and R. Cousot", year = "1977", title = "Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints", booktitle = "Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages", series = "POPL '77", publisher = "ACM", address = "New York, NY, USA", pages = "238--252", doi = "10.1145/512950.512973", ) @inproceedings(CC79, author = "P. Cousot and R. Cousot", year = "1979", title = "Systematic design of program analysis frameworks", booktitle = "Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages", series = "POPL '79", publisher = "ACM", address = "New York, NY, USA", pages = "269--282", doi = "10.1145/567752.567778", ) @article(CC92a, author = "P{.} Cousot and R{.} Cousot", year = "1992", title = "Abstract Interpretation and Application to Logic Programs", journal = "Journal of Logic Programming", volume = "13", number = "2-3", pages = "103--179", doi = "10.1016/0743-1066(92)90030-7", ) @inproceedings(CH78, author = "P{.} Cousot and N{.} Halbwachs", year = "1978", title = "Automatic discovery of linear restraints among variables of a program", booktitle = "Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages", series = "POPL '78", publisher = "ACM", address = "New York, NY, USA", pages = "84--96", doi = "10.1145/512760.512770", ) @inproceedings(CC94, author = "Patrick Cousot and Radhia Cousot", year = "1994", title = "Higher-Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection and {PER} Analysis of Functional Languages), invited paper", booktitle = "Proceedings of the 1994 International Conference on Computer Languages", publisher = "IEEE Computer Society Press, Los Alamitos, California", address = "Toulouse, France", pages = "95--112", ) @inproceedings(CCFMMMR05, author = "Patrick Cousot and Radhia Cousot and J{\'e}r{\^o}me Feret and Laurent Mauborgne and Antoine Min{\'e} and David Monniaux and Xavier Rival", year = "2005", title = "The ASTRE{\'E} Analyzer", booktitle = "Proceedings of the 14th European conference on Programming Languages and Systems", series = "ESOP'05", publisher = "Springer-Verlag", address = "Berlin, Heidelberg", pages = "21--30", doi = "10.1007/978-3-540-31987-0\_3", ) @inproceedings(CCL11, author = "Patrick Cousot and Radhia Cousot and Francesco Logozzo", year = "2011", title = "A parametric segmentation functor for fully automatic and scalable array content analysis", booktitle = "Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages", publisher = "ACM", address = "New York, NY, USA", pages = "105--118", doi = "10.1145/1926385.1926399", ) @article(FGR96, author = "Gilberto Fil{\'e} and Roberto Giacobazzi and Francesco Ranzato", year = "1996", title = "A Unifying View of Abstract Domain Design", journal = "ACM Computing Surveys (CSUR)", volume = "28", number = "2", pages = "333--336", doi = "10.1145/234528.234742", ) @article(FR99, author = "Gilberto Fil{\'e} and Francesco Ranzato", year = "1999", title = "The Powerset Operator on Abstract Interpretations", journal = "Theoretical Computer Science", volume = "222", number = "1-2", pages = "77--111", doi = "10.1016/S0304-3975(98)00007-3", ) @inproceedings(GR97, author = "Roberto Giacobazzi and Francesco Ranzato", year = "1997", title = "Refining and Compressing Abstract Domains", booktitle = "Proceedings of the 24th International Colloquium on Automata, Languages and Programming", series = "ICALP '97", publisher = "Springer-Verlag", address = "London, UK, UK", pages = "771--781", doi = "10.1007/3-540-63165-8\_230", ) @article(GR98, author = "Roberto Giacobazzi and Francesco Ranzato", year = "1998", title = "Optimal Domains for Disjunctive Abstract Intepretation", journal = "Science of Computer Programming - Special issue on the 6th European symposium on programming", volume = "32", number = "1-3", pages = "177--210", doi = "10.1016/S0167-6423(97)00034-8", ) @article(GR99, author = "Roberto Giacobazzi and Francesco Ranzato", year = "1999", title = "The Reduced Relative Power Operation on Abstract Domains", journal = "Theoretical Computer Science", volume = "216", number = "1-2", pages = "159--211", doi = "10.1016/S0304-3975(98)00194-7", ) @inproceedings(G92, author = "Philippe Granger", year = "1992", title = "Improving the Results of Static Analyses Programs by Local Decreasing Iteration", booktitle = "Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science", series = "LNCS", publisher = "Springer-Verlag", address = "London, UK, UK", pages = "68--79", doi = "10.1007/3-540-56287-7\_95", ) @article(J97, author = "Thomas P. Jensen", year = "1997", title = "Disjunctive Program Analysis for Algebraic Data Types", journal = "ACM Transactions on Programming Languages and Systems (TOPLAS)", volume = "19", number = "5", pages = "751--803", doi = "10.1145/265943.265966", ) @inproceedings(LOG08, author = "F. Logozzo and M. F{\"a}hndrich", year = "2008", title = "Pentagons: A weakly relational domain for the efficient validation of array accesses", booktitle = "Proceedings of the 2008 ACM symposium on Applied computing", series = "SAC '08", publisher = "ACM", address = "New York, NY, USA", pages = "184--188", doi = "10.1145/1363686.1363736", ) @inproceedings(MR05, author = "L. Mauborgne and X. Rival", year = "2005", title = "Trace Partitioning in Abstract Interpretation Based Static Analyzers", booktitle = "Proceedings of the 14th European conference on Programming Languages and Systems", series = "ESOP'05", publisher = "Springer-Verlag", address = "Berlin, Heidelberg", pages = "5--20", doi = "10.1007/978-3-540-31987-0\_2", )