@book(Dragon2,
 author       = "A.V. Aho and M.S. Lam and R. Sethi and J.D. Ullman",
 year         = "2007",
 title        = "Compilers: {P}rinciples, {T}echniques, and {T}ools",
 edition      = "second",
 publisher    = "Pearson Education",
)
@article(BelevantsevEtAl08,
 author       = "A. A. Belevantsev and S. S. Gaisaryan and V. P. Ivannikov",
 year         = "2008",
 title        = "Construction of Speculative Optimization Algorithms",
 journal      = "Programming and Computer Software",
 volume       = "34",
 number       = "3",
 pages        = "138--153",
 doi          = "10.1134/S036176880803002X",
)
@book(BenIsraelGreville03,
 author       = "A. Ben-Israel and T.N.E. Greville",
 year         = "2003",
 title        = "Generalised Inverses",
 edition      = "2nd",
 publisher    = "Springer Verlag",
)
@article(BhowmikFranklin04,
 author       = "A. Bhowmik and M. Franklin",
 year         = "2004",
 title        = "A General Compiler Framework for Speculative Multithreaded Processors",
 journal      = "IEEE Transactions on Parallel and Distributed Syststems",
 volume       = "15",
 number       = "8",
 pages        = "713--724",
 doi          = "10.1109/TPDS.2004.26",
)
@book(CampbellMeyer79,
 author       = "S.L. Campbell and D. Meyer",
 year         = "1979",
 title        = "Generalized Inverse of Linear Transformations",
 publisher    = "Constable",
 address      = "London",
)
@inproceedings(CousotCousot77a,
 author       = "P. Cousot and R. Cousot",
 year         = "1977",
 title        = "Abstract {I}nterpretation: {A} {U}nified {L}attice {M}odel for {S}tatic {A}nalysis of {P}rograms by {C}onstruction or {A}pproximation of {F}ixpoints",
 booktitle    = "POPL'77",
 pages        = "238--252",
 doi          = "10.1145/512950.512973",
)
@book(Deutsch01,
 author       = "F. Deutsch",
 year         = "2001",
 title        = "Bet Approximation in Inner Product Spaces",
 series       = "CMS Books in Mathematics",
 volume       = "7",
 publisher    = "Springer Verlag",
 address      = "New York --- Berlin",
 doi          = "10.1007/978-1-4684-9298-9",
)
@incollection(Festschrift06,
 author       = "A. {Di Pierro} and C. Hankin and H. Wiklicky",
 year         = "2007",
 title        = "Abstract Interpretation for Worst and Average Case Analysis",
 booktitle    = "Program Analysis and Compilation, Theory and Practice",
 series       = "LNCS",
 volume       = "4444",
 publisher    = "Springer Verlag",
 pages        = "160--174",
 doi          = "10.1007/978-3-540-71322-7\_8",
)
@inproceedings(APLAS07,
 author       = "A. {Di Pierro} and C. Hankin and H. Wiklicky",
 year         = "2007",
 title        = "A Systematic Approach to Probabilistic Pointer Analysis",
 editor       = "Z. Shao",
 booktitle    = "Proceedings of APLAS'07",
 series       = "LNCS",
 volume       = "4807",
 publisher    = "Springer Verlag",
 pages        = "335--350",
 doi          = "10.1007/978-3-540-76637-7\_23",
)
@incollection(Bertinoro10,
 author       = "A. {Di Pierro} and C. Hankin and H. Wiklicky",
 year         = "2010",
 title        = "Probabilistic Semantics and Analysis",
 booktitle    = "Formal Methods for Quantitative Aspects of Programming Languages",
 series       = "LNCS",
 volume       = "6155",
 publisher    = "Springer Verlag",
 pages        = "1--42",
 doi          = "10.1007/978-3-642-13678-8\_1",
)
@inproceedings(QAPL08,
 author       = "A. {Di Pierro} and P. Sotin and H. Wiklicky",
 year         = "2008",
 title        = "Relational Analysis and Precision via Probabilistic Abstract Interpretation",
 editor       = "C. Baier and A. Aldini",
 booktitle    = "Proceedings of QAPL'08",
 series       = "Electronic Notes in Theoretical Computer Science",
 publisher    = "Elsevier",
 pages        = "23--42",
 doi          = "10.1016/j.entcs.2008.11.017",
)
@inproceedings(PPDP00,
 author       = "A. {Di Pierro} and H. Wiklicky",
 year         = "2000",
 title        = "{C}oncurrent {C}onstraint {P}rogramming: Towards {P}robabilistic {A}bstract {I}nterpretation",
 booktitle    = "PPDP'00",
 pages        = "127--138",
 doi          = "10.1145/351268.351284",
)
@article(HungEtAl12,
 author       = "M.-Y. Hung and P.-S. Chen and Y-S. Hwang and R. D.-C. Ju and J. K. Lee",
 year         = "2012",
 title        = "Support of Probabilistic Pointer Analysis in the SSA Form",
 journal      = "IEEE Transactions on Parallel Distributed Syststems",
 volume       = "23",
 number       = "12",
 pages        = "2366--2379",
 doi          = "10.1109/TPDS.2012.73",
)
@inproceedings(PRISM04,
 author       = "M.Z. Kwiatkowska and G. Norman and D. Parker",
 year         = "2004",
 title        = "PRISM 2.0: A Tool for Probabilistic Model Checking",
 booktitle    = "International Conference on Quantitative Evaluation of Systems (QEST 2004)",
 publisher    = "IEEE Computer Society",
 pages        = "322--323",
 doi          = "10.1109/QEST.2004.10016",
)
@inproceedings(LinEtAl03,
 author       = "J. Lin and T. Chen and W.-C. Hsu and P.-C. Yew and R. D.-C. Ju and T.-F. Ngai and S. Chan",
 year         = "2003",
 title        = "A compiler framework for speculative analysis and optimizations",
 booktitle    = "Proceedings Conference on Programming Language Design and Implementation (PLDI)",
 pages        = "289--299",
 doi          = "10.1145/781131.781164",
)
@techreport(McFarling93,
 author       = "S. McFarling",
 year         = "1993",
 title        = "Combining Branch Predictors",
 type         = "Technical Report",
 number       = "WLR TN-36",
 institution  = "Digital",
)
@inproceedings(NicolaescuEtAl06,
 author       = "D. Nicolaescu and B. Salamat and A.V. Veidenbaum",
 year         = "2006",
 title        = "Fast Speculative Address Generation and Way Caching for Reducing L1 Data Cache Energy",
 booktitle    = "Proceedings of the 24th International Conference on Computer Design (ICCD 2006)",
 publisher    = "IEEE",
 pages        = "101--107",
 doi          = "10.1109/ICCD.2006.4380801",
)
@book(NielsonEtAl99,
 author       = "F. Nielson and H. Riis Nielson and C. Hankin",
 year         = "1999",
 title        = "{P}rinciples of {P}rogram {A}nalysis",
 publisher    = "Springer Verlag",
 address      = "Berlin -- Heidelberg",
 doi          = "10.1007/978-3-662-03811-6",
)
@book(Roman05,
 author       = "S. Roman",
 year         = "2005",
 title        = "Advanced Linear Algebra",
 edition      = "2nd",
 publisher    = "Springer Verlag",
)
@article(StylesLuk04,
 author       = "H. Styles and W. Luk",
 year         = "2004",
 title        = "Exploiting Program Branch Probabilities in Hardware Compilation",
 journal      = "IEEE Transaction on Computers",
 volume       = "53",
 number       = "11",
 pages        = "1408--1419",
 doi          = "10.1109/TC.2004.96",
)