@inproceedings(Agat00,
 author       = "Johan Agat",
 year         = "2000",
 title        = "Transforming out timing leaks",
 booktitle    = "Proceedings of POPL'00",
 publisher    = "ACM",
 pages        = "40--53",
 doi          = "10.1145/325694.325702",
)
@book(BenIsraelGreville03,
 author       = "Adi Ben-Israel and Thomas Nall Eden Greville",
 year         = "2003",
 title        = "Gereralized Inverses -- Theory and Applications",
 edition      = "second",
 series       = "CMS Books in Mathematics",
 publisher    = "Springer Verlag",
 address      = "New York",
)
@article(BodikJobstmann13,
 author       = "Rastislav Bodik and Barabara Jobstmann",
 year         = "2013",
 title        = "Algorithmic Program Synthesis: Introduction",
 journal      = "Int. J. Softw. Tools Technol. Transfer",
 volume       = "15",
 pages        = "397--411",
 doi          = "10.1007/s10009-013-0287-9",
)
@inproceedings(ClochardEtAl14,
 author       = "Swarat Chaudhuri and Martin Clochard and Armando Solar-Lezama",
 year         = "2014",
 title        = "Bridging Boolean and Quantitative Synthesis Using Smoothed Proof Search",
 booktitle    = "Proceedings of POPL '14",
 publisher    = "ACM",
 pages        = "207--220",
 doi          = "10.1145/2535838.2535859",
)
@inproceedings(CousotCousot77a,
 author       = "Patrick Cousot and Radhia 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    = "Proceedings of POPL'77",
 pages        = "238--252",
 doi          = "10.1145/512950.512973",
)
@inproceedings(CousotCousot79a,
 author       = "Patrick Cousot and Radhia Cousot",
 year         = "1979",
 title        = "Systematic {D}esign of {P}rogram {A}nalysis {F}rameworks",
 booktitle    = "Proceedings of POPL'79",
 pages        = "269--282",
 doi          = "10.1145/567752.567778",
)
@inproceedings(CousotMonerau12,
 author       = "Patrick Cousot and Micha{\"e}l Monerau",
 year         = "2012",
 title        = "Probabilistic Abstract Interpretation",
 editor       = "H. Seidel",
 booktitle    = "Proceedings of ESOP12",
 series       = "Lecture Notes in Computer Science",
 volume       = "7211",
 publisher    = "Springer Verlag",
 pages        = "166--190",
 doi          = "10.1007/978-3-642-28869-2\_9",
)
@article(TCS04,
 author       = "Alessandra {Di Pierro} and Chris Hankin and Herbert Wiklicky",
 year         = "2005",
 title        = "Measuring the Confinement of Probabilistic Systems",
 journal      = "Theoretical Computer Science",
 volume       = "340",
 number       = "1",
 pages        = "3--56",
 doi          = "10.1016/j.tcs.2005.03.002",
)
@inproceedings(APLAS07,
 author       = "Alessandra {Di Pierro} and Chris Hankin and Herbert Wiklicky",
 year         = "2007",
 title        = "A Systematic Approach to Probabilistic Pointer Analysis",
 booktitle    = "Proceedings of APLAS'07",
 series       = "Lecture Notes in Computer Science",
 volume       = "4807",
 publisher    = "Springer Verlag",
 pages        = "335--350",
 doi          = "10.1007/978-3-540-76637-7\_23",
)
@inproceedings(ICICS08,
 author       = "Alessandra {Di Pierro} and Chris Hankin and Herbert Wiklicky",
 year         = "2008",
 title        = "Quantifying Timing Leaks and Cost Optimisation",
 booktitle    = "Proceedings of ICICS'08",
 series       = "Lecture Notes in Computer Science",
 volume       = "5308",
 publisher    = "Springer Verlag",
 pages        = "81--96",
 doi          = "10.1007/978-3-540-88625-9\_6",
)
@incollection(Bertinoro10,
 author       = "Alessandra {Di Pierro} and Chris Hankin and Herbert Wiklicky",
 year         = "2010",
 title        = "Probabilistic Semantics and Analysis",
 booktitle    = "Formal Methods for Quantitative Aspects of Programming Languages",
 series       = "Lecture Notes in Computer Science",
 volume       = "6155",
 publisher    = "Springer Verlag",
 pages        = "1--42",
 doi          = "10.1007/978-3-642-13678-8\_1",
)
@article(IJIS11,
 author       = "Alessandra {Di Pierro} and Chris Hankin and Herbert Wiklicky",
 year         = "2011",
 title        = "Probabilistic timing covert channels: to close or not to close?",
 journal      = "International Journal of Information Security",
 volume       = "10",
 number       = "2",
 pages        = "83--106",
 doi          = "10.1007/s10207-010-0107-0",
)
@inproceedings(QAPL08,
 author       = "Alessandra {Di Pierro} and Pascal Sotin and Herbert Wiklicky",
 year         = "2008",
 title        = "Relational Analysis and Precision via Probabilistic Abstract Interpretation",
 booktitle    = "Proceedings of QAPL'08",
 series       = "ENTCS",
 volume       = "220(3)",
 publisher    = "Elsevier",
 pages        = "23--42",
 doi          = "10.1016/j.entcs.2008.11.017",
)
@inproceedings(PPDP00,
 author       = "Alessandra {Di Pierro} and Herbert Wiklicky",
 year         = "2000",
 title        = "{C}oncurrent {C}onstraint {P}rogramming: Towards {P}robabilistic {A}bstract {I}nterpretation",
 booktitle    = "Proceedings of PPDP'00",
 publisher    = "ACM",
 pages        = "127--138",
 doi          = "10.1145/351268.351284",
)
@inproceedings(LOPSTR00,
 author       = "Alessandra {Di Pierro} and Herbert Wiklicky",
 year         = "2001",
 title        = "Measuring the Precision of Abstract Interpretations",
 booktitle    = "Proceedings of LOPSTR'00",
 series       = "Lecture Notes in Computer Science",
 volume       = "2042",
 publisher    = "Springer Verlag",
 address      = "Berlin -- New York",
 pages        = "147--164",
 doi          = "10.1007/3-540-44651-6",
)
@inproceedings(APLAS13,
 author       = "Alessandra {Di Pierro} and Herbert Wiklicky",
 year         = "2013",
 title        = "Semantics of Probabilistic Programs: A Weak Limit Approach",
 editor       = "Chung chieh Shan",
 booktitle    = "Proceedings of APLAS13 -- 11th Asian Symposium on Programming Languages and Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "8301",
 publisher    = "Springer Verlag",
 pages        = "241--256",
 doi          = "10.1007/978-3-319-03542-0\_18",
)
@inproceedings(FOPARA14,
 author       = "Alessandra {Di Pierro} and Herbert Wiklicky",
 year         = "2014",
 title        = "Probabilistic Analysis of Programs: A Weak Limit Approach",
 booktitle    = "FOPARA'13",
 series       = "Lecture Notes in Computer Science",
 publisher    = "Springer Verlag",
 pages        = "(to appear)",
)
@manual(Octave,
 author       = "John W. Eaton and David Bateman and Soren Hauberg",
 year         = "2007",
 title        = "GNU Octave -- A high-level interactive language for numerical computations",
 edition      = "3rd",
)
@article(Kocher96,
 author       = "Paul C. Kocher",
 year         = "1996",
 title        = "Timing Attacks on Implementations of {Diffie-Hellman}, {RSA}, {DSS}, and Other Systems",
 journal      = "Lecture Notes in Computer Science",
 volume       = "1109",
 pages        = "104--113",
 doi          = "10.1007/3-540-68697-5\_9",
)
@article(Kozen81,
 author       = "Dexter Kozen",
 year         = "1981",
 title        = "Semantics of Probabilistic Programs",
 journal      = "J. Comput. Syst. Sci.",
 volume       = "22",
 number       = "3",
 pages        = "328--350",
 doi          = "10.1016/0022-0000(81)90036-2",
)
@inproceedings(Monniaux00,
 author       = "David Monniaux",
 year         = "2000",
 title        = "Abstract Interpretation of Probabilistic Semantics",
 booktitle    = "SAS'00",
 series       = "Lecture Notes in Computer Science",
 volume       = "1824",
 publisher    = "Springer Verlag",
 pages        = "322--339",
 doi          = "10.1007/978-3-540-45099-3\_17",
)
@book(Roman05,
 author       = "Steven Roman",
 year         = "2005",
 title        = "Advanced Linear Algebra",
 edition      = "2nd",
 publisher    = "Springer Verlag",
)
@phdthesis(SolarLezama08,
 author       = "Armando Solar Lezama",
 year         = "2008",
 title        = "Program Synthesis By Sketching",
 school       = "University of California, Berkeley",
)
@article(SolarLezama13,
 author       = "Armando Solar-Lezama",
 year         = "2013",
 title        = "Program Sketching",
 journal      = "Int. J. Softw. Tools Technol. Transfer",
 volume       = "15",
 pages        = "475--495",
 doi          = "10.1007/s10009-012-0249-7",
)
@book(Stirzaker99,
 author       = "David Stirzaker",
 year         = "1999",
 title        = "Probability and Random Variables -- A Beginners Guide",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511813627",
)
@inproceedings(VechevEtAl10,
 author       = "Martin Vechev and Eran Yahav and Greta Yorsh",
 year         = "2010",
 title        = "Abstraction-guided Synthesis of Synchronization",
 booktitle    = "Proceedings of POPL '10",
 publisher    = "ACM",
 pages        = "327--338",
 doi          = "10.1145/1706299.1706338",
)