@incollection(Assale14,
 author       = {Assale Adje and Olivier Bouissou and Goubault-Larrecq, Jean and Eric Goubault and Sylvie Putot},
 year         = {2014},
 title        = {Static Analysis of Programs with Imprecise Probabilistic Inputs},
 booktitle    = {Verified Software: Theories, Tools, Experiments},
 series       = {Lecture Notes in Computer Science},
 volume       = {8164},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {22--47},
 doi          = {10.1007/978-3-642-54108-7_2},
)
@inproceedings(Cousot2014,
 author       = {Patrick Cousot and Radhia Cousot},
 year         = {2014},
 title        = {Abstract Interpretation: Past, Present and Future},
 booktitle    = {Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
 series       = {CSL-LICS '14},
 publisher    = {ACM},
 pages        = {2:1--2:10},
 doi          = {10.1145/2603088.2603165},
)
@inproceedings(CousotMonerau-ESOP2012-PAI,
 author       = {Patrick Cousot and Micha{\"e}l Monerau},
 year         = {2012},
 title        = {Probabilistic Abstract Interpretation},
 booktitle    = {22nd European Symposium on Programming (ESOP 2012)},
 series       = {Lecture Notes in Computer Science},
 volume       = {7211},
 publisher    = {Springer-Verlag},
 pages        = {166--190},
 doi          = {10.1007/978-3-642-28891-3_3},
)
@inproceedings(DiPierro13,
 author       = {Pierro A Di and H Wiklicky},
 year         = {2013},
 title        = {Probabilistic data flow analysis: a linear equational approach},
 booktitle    = {Proceedings of the Fourth International Symposium on Games, Automata, Logics and Formal Verification},
 pages        = {150--165},
 doi          = {10.4204/EPTCS.119.14},
)
@incollection(diPierro07,
 author       = {Di Pierro, Alessandra and Chris Hankin and Herbert Wiklicky},
 year         = {2007},
 title        = {A Systematic Approach to Probabilistic Pointer Analysis},
 booktitle    = {Programming Languages and Systems},
 series       = {Lecture Notes in Computer Science},
 volume       = {4807},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {335--350},
 doi          = {10.1007/978-3-540-76637-7_23},
)
@article(Drechsler1993,
 author       = {Karl-Heinz Drechsler and Manfred P. Stadel},
 year         = {1993},
 title        = {A Variation of Knoop, R\"{u}thing, and Steffen's Lazy Code Motion},
 journal      = {SIGPLAN Not.},
 volume       = {28},
 number       = {5},
 pages        = {29--38},
 doi          = {10.1145/152819.152823},
)
@book(DuboisPrade80,
 author       = {D. Dubois and H. Prade},
 year         = {1980},
 title        = {Fuzzy sets and systems - {T}heory and applications},
 publisher    = {Academic press},
 address      = {New {Y}ork},
)
@book(dubois2000fundamentals,
 author       = {D. Dubois and H.M. Prade and H. Prade},
 year         = {2000},
 title        = {Fundamentals of Fuzzy Sets},
 series       = {The Handbooks of Fuzzy Sets},
 publisher    = {Springer US},
 doi          = {10.1007/978-1-4615-4429-6},
)
@article(Gehrke96,
 author       = {Mai Gehrke and Carol Walker and Elbert Walker},
 year         = {1996},
 title        = {Some comments on interval valued fuzzy sets},
 journal      = {International Journal of Intelligent Systems},
 volume       = {11},
 number       = {10},
 pages        = {751--759},
 doi          = {10.1002/(SICI)1098-111X(199610)11:10<751::AID-INT3>3.0.CO;2-Y},
)
@article(jang93,
 author       = {J.-S.R. Jang},
 year         = {1993},
 title        = {ANFIS: adaptive-network-based fuzzy inference system},
 journal      = {Systems, Man and Cybernetics, IEEE Transactions on},
 volume       = {23},
 number       = {3},
 pages        = {665--685},
 doi          = {10.1109/21.256541},
)
@book(jang96,
 author       = {Jyh-Shing Roger Jang and Chuen-Tsai Sun},
 year         = {1997},
 title        = {Neuro-fuzzy and Soft Computing: A Computational Approach to Learning and Machine Intelligence},
 publisher    = {Prentice-Hall, Inc.},
 address      = {Upper Saddle River, NJ, USA},
)
@inproceedings(Knoop1992,
 author       = {Jens Knoop and Oliver R\"{u}thing and Bernhard Steffen},
 year         = {1992},
 title        = {Lazy Code Motion},
 booktitle    = {Proceedings of the ACM SIGPLAN 1992 Conference on Programming Language Design and Implementation},
 series       = {PLDI '92},
 publisher    = {ACM},
 pages        = {224--234},
 doi          = {10.1145/143095.143136},
)
@inproceedings(maleki11,
 author       = {S. Maleki and Yaoqing Gao and M.J. Garzaran and T. Wong and D.A. Padua},
 year         = {2011},
 title        = {An Evaluation of Vectorizing Compilers},
 booktitle    = {Parallel Architectures and Compilation Techniques (PACT), 2011 International Conference on},
 pages        = {372--382},
 doi          = {10.1109/PACT.2011.68},
)
@article(Mesiarová07,
 author       = {A. Mesiarová},
 year         = {2007},
 title        = {k-lp-Lipschitz t-norms},
 journal      = {International Journal of Approximate Reasoning},
 volume       = {46},
 number       = {3},
 pages        = {596 -- 604},
 doi          = {10.1016/j.ijar.2007.02.002},
 note         = {Special Section: Aggregation Operators},
)
@inproceedings(Mock01,
 author       = {Markus Mock and Manuvir Das and Craig Chambers and Susan J. Eggers},
 year         = {2001},
 title        = {Dynamic Points-to Sets: A Comparison with Static Analyses and Potential Applications in Program Understanding and Optimization},
 booktitle    = {Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering},
 series       = {PASTE '01},
 publisher    = {ACM},
 pages        = {66--72},
 doi          = {10.1145/379605.379671},
)
@book(Nielson1999,
 author       = {Flemming Nielson and Hanne R. Nielson and Chris Hankin},
 year         = {1999},
 title        = {Principles of Program Analysis},
 publisher    = {Springer-Verlag New York, Inc.},
 doi          = {10.1007/978-3-662-03811-6},
)
@article(Petersen96,
 author       = {P.M. Petersen and D.A. Padua},
 year         = {1996},
 title        = {Static and dynamic evaluation of data dependence analysis techniques},
 journal      = {Parallel and Distributed Systems, IEEE Transactions on},
 volume       = {7},
 number       = {11},
 pages        = {1121--1132},
 doi          = {10.1109/71.544354},
)
@inproceedings(Ramalingam:1996,
 author       = {G. Ramalingam},
 year         = {1996},
 title        = {Data Flow Frequency Analysis},
 booktitle    = {Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation},
 series       = {PLDI '96},
 publisher    = {ACM},
 pages        = {267--277},
 doi          = {10.1145/231379.231433},
)
@incollection(Ribeiro07,
 author       = {ConstantinoG. Ribeiro and Marcelo Cintra},
 year         = {2007},
 title        = {Quantifying Uncertainty in Points-To Relations},
 booktitle    = {Languages and Compilers for Parallel Computing},
 series       = {Lecture Notes in Computer Science},
 volume       = {4382},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {190--204},
 doi          = {10.1007/978-3-540-72521-3_15},
)