%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Andreas Krause at 2014-07-04 14:54:47 +0200


%% Saved with string encoding Unicode (UTF-8)


@string{NY = {New York}}

@string{NYC = {New York, } # NY}

@string{acmpress = {ACM Press, } # NYC}

@string{ak = {Alaska}}

@string{al = {Alabama}}

@string{alb = {Alberta}}

@string{argonne = {{Argonne National Laboratory}}}

@string{asplos = {}}

@string{az = {Arizona}}

@string{bbn = {{BBN Laboratories}}}

@string{bc = {British Columbia}}

@string{bellsysj = {AT\&T Bell Laboratories Technical Journal}}

@string{University = {Univ.}}

@string{berkeley = University # { of California, Berkeley}}

@string{BERKELEY = University # { of California, Berkeley}}

@string{berkeleycs = {Computer Science Division, } # BERKELEY}

@string{MA = {Massachussetts}}

@string{boston = {Boston, } # MA}

@string{byte = {BYTE}}

@string{ca = {California}}

@string{caltech = {California Institute of Technology}}

@string{Department = {Dept.}}

@string{CSDEPT = {Computer Science } # Department # {, }}

@string{CALTECH = {California Institute of Technology}}

@string{caltechcs = CSDEPT # CALTECH}

@string{cmu = {Carnegie-Mellon } # University}

@string{CMU = {Carnegie-Mellon } # University}

@string{cmucs = {School of Computer Science, } # CMU}

@string{co = {Colorado}}

@string{columbia = {Columbia } # University}

@string{COLUMBIA = {Columbia } # University}

@string{columbiacs = CSDEPT # COLUMBIA}

@string{compdesign = {Computer Design}}

@string{compj = {Computer Journal}}

@string{comprev = {Computings Reiews.}}

@string{computer = {Computer}}

@string{computing = {Computing}}

@string{computlang = {Computer Languages}}

@string{computsys = {Computing Systems}}

@string{compweekly = {Computer Weekly}}

@string{conference_record = {Conf. Record}}

@string{conference_record_of = {Conf. Record of}}

@string{conference_record_of_the = {Conf. Record of the}}

@string{cornell = {Cornell } # University}

@string{DEPTCS = Department # { of Computer Science, }}

@string{CORNELL = {Cornell } # University}

@string{cornellcs = DEPTCS # CORNELL}

@string{NYU = {New York } # University}

@string{courant = {Courant Institute of Mathematical Sciences, } # NYU}

@string{cpe = {Concurrency: Practice and Experience}}

@string{cray = {{Cray Research, Inc.}}}

@string{FL = {Florida}}

@string{crcpress = {CRC Press, Boca Raton, } # FL}

@string{csdept = {Computer Science } # Department # {, }}

@string{csrd = {{Center for Supercomputing Research and Development}}}

@string{ct = {Connecticut}}

@string{dbadvisor = {Data Based Advisor}}

@string{dbms = {DBMS}}

@string{dc = {Washington, D.C.}}

@string{de = {Delaware}}

@string{decsrc = {{DEC Systems Research Center}}}

@string{decwrl = {{DEC Western Research Laboratory}}}

@string{department = {Dept.}}

@string{deptcs = Department # { of Computer Science, }}

@string{digital = {{Digital Equipment Corporation}}}

@string{discmath = {Discrete Mathematics}}

@string{drdobbs = {Dr. Dobb's Journal}}

@string{duke = {Duke } # University}

@string{DUKE = {Duke } # University}

@string{dukecs = CSDEPT # DUKE}

@string{encore = {{Encore Computer Corporation}}}

@string{fl = {Florida}}

@string{ga = {Georgia}}

@string{harvard = {Harvard } # University}

@string{HARVARD = {Harvard } # University}

@string{harvardaiken = {Aiken Computation Laboratory, } # HARVARD}

@string{hi = {Hawaii}}

@string{hp = {{Hewlett-Packard}}}

@string{hplabs = {{Hewlett-Packard Laboratories}}}

@string{ia = {Iowa}}

@string{ibmarc = {{IBM Almaden Research Center}}}

@string{ibmpasc = {{IBM Palo Alto Scientific Center}}}

@string{ibmtjw = {{IBM Thomas J. Watson Research Center}}}

@string{ibmtrl = {{IBM Tokyo Research Laboratory}}}

@string{icpp = {}}

@string{icsi = {International Computer Science Institute}}

@string{id = {Idaho}}

@string{ieeeexpert = {IEEE Expert}}

@string{ieeehist = {IEEE Annals of the History of Computing}}

@string{ieeejsac = {IEEE Journal on Selected Areas in Communications}}

@string{ieeemicro = {IEEE Micro}}

@string{CA = {California}}

@string{ieeepress = {IEEE Computer Society Press, Los Alamitos, } # CA}

@string{DC = {Washington, D.C.}}

@string{ieeepress_dc = {IEEE Computer Society Press, } # DC}

@string{ieeepress_ny = {IEEE, } # NYC}

@string{ieeesw = {IEEE Software}}

@string{ieeetpds = {IEEE Transactions on Parallel and Distributed Systems}}

@string{ijcis = {International Journal of Computer and Information Sciences}}

@string{ijcm = {International Journal of Computer Mathematics}}

@string{ijpp = {International Journal of Parallel Programming}}

@string{ijsa = {International Journal of Supercomputer Applications}}

@string{il = {Illinois}}

@string{in = {Indiana}}

@string{intel = {{Intel Corporation}}}

@string{irvine = University # { of California, Irvine}}

@string{IRVINE = University # { of California, Irvine}}

@string{irvinecs = Department # { of Information and Computer Science, } # IRVINE}

@string{jamstat = {Journal of the American Statistical Association}}

@string{japplmeteo = {Journal of Applied Meteorology}}

@string{jcompphysics = {Journal of Computational Physics}}

@string{jpdc = {Journal of Parallel and Distributed Computing}}

@string{jsuper = {Journal of Supercomputing}}

@string{jsyssoft = {Journal of Systems and Software}}

@string{ks = {Kansas}}

@string{ky = {Kentucky}}

@string{la = {Louisiana}}

@string{lanl = {{Los Alamos National Laboratory}}}

@string{lispsymcomp = {LISP and Symbolic Computation}}

@string{llnl = {{Lawrence Livermore National Laboratory}}}

@string{lncs = {Lecture Notes in Computer Science}}

@string{loplas = {ACM Letters on Programming Languages and Systems}}

@string{ma = {Massachussetts}}

@string{maspar = {{MasPar Computer Corporation}}}

@string{md = {Maryland}}

@string{me = {Maine}}

@string{mi = {Michigan}}

@string{micromicro = {Microprocessing \& Microprogramming}}

@string{mit = {Massachussets Institute of Technology}}

@string{MIT = {Massachussets Institute of Technology}}

@string{mitailab = MIT # { Artificial Intelligence Laboratory}}

@string{mitcs = Department # { of Electrical Engineering and Computer Science, } # MIT}

@string{mitlcs = {Laboratory for Computer Science, } # MIT}

@string{mn = {Minnesota}}

@string{mo = {Missouri}}

@string{ms = {Mississippi}}

@string{mt = {Montana}}

@string{nasa_arc = {{NASA Ames Research Center}}}

@string{nature = {Nature}}

@string{nb = {New Brunswick}}

@string{nc = {North Carolina}}

@string{nd = {North Dakaota}}

@string{ne = {Nebraska}}

@string{nfd = {Newfoundland}}

@string{nh = {New Hampshire}}

@string{nj = {New Jersey}}

@string{nm = {New Mexico}}

@string{ns = {Nova Scotia}}

@string{nv = {Nevada}}

@string{nwt = {Northwest Territories}}

@string{ny = {New York}}

@string{nyc = {New York, } # NY}

@string{nyu = {New York } # University}

@string{nyucs = CSDEPT # NYU}

@string{oh = {Ohio}}

@string{ok = {Oklahoma}}

@string{ont = {Ontario}}

@string{oopsla = {}}

@string{or = {Oregon}}

@string{pa = {Pennsylvania}}

@string{paracomp = {Parallel Computing}}

@string{parc = {{Xerox Palo Alto Research Center}}}

@string{pcmag = {PC Magazine}}

@string{pei = {Prince Edward Island}}

@string{pepm = {}}

@string{pldi = {}}

@string{popl = {}}

@string{ppopp = {}}

@string{pr = {Puerto Rico}}

@string{princeton = {Princeton } # University}

@string{PRINCETON = {Princeton } # University}

@string{princetoncs = CSDEPT # PRINCETON}

@string{proceedings = {Proc.}}

@string{proceedings_of = {Proc. of}}

@string{proceedings_of_the = {Proc. of the}}

@string{psde = {}}

@string{purdue = {Purdue } # University}

@string{PURDUE = {Purdue } # University}

@string{purduecs = CSDEPT # PURDUE}

@string{que = {Quebec}}

@string{ri = {Rhode Island}}

@string{rice = {Rice } # University}

@string{RICE = {Rice } # University}

@string{ricecs = CSDEPT # RICE}

@string{rochester = University # { of Rochester}}

@string{ROCHESTER = University # { of Rochester}}

@string{rochestercs = CSDEPT # ROCHESTER}

@string{rutgers = {Rutgers University}}

@string{RUTGERS = {Rutgers University}}

@string{rutgerscs = DEPTCS # RUTGERS}

@string{sas = {Saskatchewan}}

@string{sc = {South Carolina}}

@string{sciamer = {Scientific American}}

@string{science = {Science}}

@string{scinst = {Supercomputing Institute, St. Petersburg, } # FL}

@string{sd = {South Dakota}}

@string{sequent = {{Sequent Computer Systems, Inc.}}}

@string{sf = {San Francisco, } # CA}

@string{sigact = {SIGACT News}}

@string{sigada = {SIGADA Ada Letters}}

@string{sigapl = {SIGAPL APL Quote Quad}}

@string{sigarch = {SIGARCH Computer Architecture News}}

@string{sigart = {SIGART Bulletin}}

@string{sigchi = {SIGCHI Bulletin}}

@string{sigcomm = {SIGCOMM Computer Communication Review}}

@string{sigforth = {SIGFORTH Newsletter}}

@string{siggraph = {SIGGRAPH Computer Graphics}}

@string{sigmetrics = {SIGMETRICS Performance Evaluation Review}}

@string{sigmicro = {SIGMICRO Newsletter}}

@string{sigmod = {SIGMOD Record}}

@string{sigops = {SIGOPS Operating Systems Review}}

@string{sigplan = {SIGPLAN Notices}}

@string{sigplan_fortran = {SIGPLAN {F{\sc ortran}} Forum}}

@string{sigplan_lisp = {SIGPLAN Lisp Pointers}}

@string{sigplan_oops = {SIGPLAN OOPS Messenger}}

@string{sigsam = {SIGSAM Bulletin}}

@string{sigsim = {SIGSIM Simulation Digest}}

@string{sigsoft = {SIGSOFT Software Engineering Notes}}

@string{sijam = {SIAM Journal on Applied Mathematics}}

@string{siscistat = {SIAM Journal on Scientific and Statistical Computing}}

@string{sosp = {}}

@string{spaa = {}}

@string{spe = {Software -- Practice and Experience}}

@string{spec = {{Standard Performance Evaluation Corporation}}}

@string{spectrum = {IEEE Spectrum}}

@string{springer = {Springer-Verlag}}

@string{stanford = {Stanford } # University}

@string{STANFORD = {Stanford } # University}

@string{stanfordcs = CSDEPT # STANFORD}

@string{sun = {{Sun Microsystems}}}

@string{technical_report = {Tech. Rept.}}

@string{tecs = {ACM Transactions on Embedded Computing Systems}}

@string{tera = {{TERA Computer Company}}}

@string{tmc = {{Thinking Machines Corporation}}}

@string{tn = {Tennessee}}

@string{toronto = University # { of Toronto}}

@string{TORONTO = University # { of Toronto}}

@string{torontocs = CSDEPT # TORONTO}

@string{tx = {Texas}}

@string{ucla = {University of California, Los Angeles}}

@string{UCLA = {University of California, Los Angeles}}

@string{uclacs = CSDEPT # UCLA}

@string{ucsd = University # { of California, San Diego}}

@string{UCSD = University # { of California, San Diego}}

@string{ucsdcs = Department # { of Computer Science and Engineering, } # UCSD}

@string{uiuc = University # { of Illinois at Urbana-Champaign}}

@string{UIUC = University # { of Illinois at Urbana-Champaign}}

@string{uiuccs = CSDEPT # UIUC}

@string{university = {Univ.}}

@string{PA = {Pennsylvania}}

@string{upennaddr = {University Park, } # PA}

@string{upennpress = {Pennsylvania State University Press}}

@string{usenix = {Usenix Association, Berkeley, } # CA}

@string{ut = {Utah}}

@string{uw = University # { of Washington}}

@string{UW = University # { of Washington}}

@string{uwcs = DEPTCS # UW}

@string{va = {Virginia}}

@string{vi = {Virgin Islands}}

@string{vienna = University # { of Vienna}}

@string{VIENNA = University # { of Vienna}}

@string{viennacs = CSDEPT # VIENNA}

@string{vt = {Vermont}}

@string{wa = {Washington}}

@string{wi = {Wisconsin}}

@string{wisconsin = University # { of Wisconsin at Madison}}

@string{WISCONSIN = University # { of Wisconsin at Madison}}

@string{wisconsincs = {Computer Sciences } # Department # {, } # WISCONSIN}

@string{wv = {West Virginia}}

@string{wy = {Wyoming}}

@string{yale = {Yale } # University}

@string{YALE = {Yale } # University}

@string{yalecs = CSDEPT # YALE}


@inproceedings{andrzejewski07statistical,
	Title = {Statistical debugging using latent topic models},
	Author = {Andrzejewski, David and Mulhern, Anne and Liblit, Ben and Zhu, Xiaojin},
	Booktitle = {Proceedings of the 18th European Conference on Machine Learning},
	Year = {2007}}

@inproceedings{allamanis13mining,
	Title = {Mining Source Code Repositories at Massive Scale using Language Modeling},
	Author = {Allamanis, Miltos and Sutton, Charles},
	Booktitle = {Working Conference on Mining Software Repositories (MSR)},
	Year = {2013}}

@inproceedings{Allamanis:2014:Idioms,
 author = {Allamanis, Miltiadis and Sutton, Charles},
 title = {Mining Idioms from Source Code},
 booktitle = {Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering},
 series = {FSE 2014},
 year = {2014},
 location = {Hong Kong, China},
 pages = {472--483},
 publisher = {ACM},
}

@incollection{blei09topic,
	Title = {Topic Models},
	Author = {Blei, David and Lafferty, John},
	Booktitle = {Text Mining: Classification, Clustering, and Applications},
	Year = {2009}}

@inproceedings{liang10learning,
	Author = {Liang, Percy and Jordan, Michael I. and Klein, Dan},
  Title = {Learning Programs: A Hierarchical Bayesian Approach},
  Booktitle = {Proceedings of the 27th International Conference on on Machine Learning},
	Year = {2010}}

@article{tsochantaridis05large,
	Author = {Tsochantaridis, Ioannis and Joachims, Thorsten and Hofmann, Thomas and Altun, Yasemin},
	Journal = {Journal of Machine Learning Research},
	Pages = {1453-1484},
	Title = {Large Margin Methods for Structured and Interdependent Output Variables},
	Volume = {6, 2005}
}

@inproceedings{Thummalapenta:2007,
	Author = {Thummalapenta, Suresh and Xie, Tao},
  Title = {Parseweb: A Programmer Assistant for Reusing Open Source Code on the Web},
  Booktitle = {Proceedings of the Twenty-second IEEE/ACM International Conference on Automated Software Engineering},
  Series = {ASE '07},
	Year = {2007}}

@inproceedings{Srivastava:2010,
	Author = {Srivastava, Saurabh and Gulwani, Sumit and Foster, Jeffrey S.},  
	Title = {From program verification to program synthesis},
  Booktitle = {Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  Series = {POPL '10},
  Year = {2010},
  Pages = {313--326},
  Publisher = {ACM}}

@inproceedings{Solar-Lezama:2008,
	Author = {Solar-Lezama, Armando and Jones, Christopher Grant and Bod\'{\i}k, Rastislav},
	Booktitle = {Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation},
  Series = {PLDI '08},
	Pages = {136-148},
	Title = {Sketching concurrent data structures},
	Year = {2008},
  Publisher = {ACM}}

@inproceedings{Solar-Lezama:2006,
 Author = {Solar-Lezama, Armando and Tancau, Liviu and Bod\'{\i}k, Rastislav and Seshia, Sanjit and Saraswat, Vijay},
 title = {Combinatorial Sketching for Finite Programs},
 booktitle = {Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems},
 series = {ASPLOS XII},
 year = {2006},
 Pages = {404-415}}

@book{Clarke:MC,
 author = {Clarke,Jr., Edmund M. and Grumberg, Orna and Peled, Doron A.},
 title = {Model Checking},
 year = {1999},
 isbn = {0-262-03270-8},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
}

@inproceedings{Raychev:2014,
 author = {Raychev, Veselin and Vechev, Martin and Yahav, Eran},
 title = {Code Completion with Statistical Language Models},
 booktitle = {Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI '14},
 year = {2014},
 pages = {419--428},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{Damas:1982,
 author = {Damas, Luis and Milner, Robin},
 title = {Principal Type-schemes for Functional Programs},
 booktitle = {Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '82},
 year = {1982},
 pages = {207--212},
 publisher = {ACM}}

@inproceedings{Cousot:AI,
 author = {Cousot, Patrick and Cousot, Radhia},
 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},
 year = {1977},
 pages = {238--252},
 publisher = {ACM}}

@inproceedings{Steensgaard:1996,
	Author = {Steensgaard, Bjarne},
  title = {Points-to Analysis in Almost Linear Time},
  booktitle = {Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  series = {POPL '96},
  year = {1996},
  pages = {32--41},
  publisher = {ACM}}

@inproceedings{Fink:2006:ETV:1146238.1146254,
	Author = {Fink, Stephen and Yahav, Eran and Dor, Nurit and Ramalingam, G. and Geay, Emmanuel},
	Booktitle = {Proceedings of the 2006 international symposium on Software testing and analysis},
	Pages = {133--144},
	Publisher = {ACM},
	Series = {ISSTA '06},
	Title = {Effective typestate verification in the presence of aliasing},
	Year = {2006}}

@inproceedings{Shoham:ISSTA07,
	Author = {Shoham, Sharon and Yahav, Eran and Fink, Stephen and Pistoia, Marco},
  title = {Static Specification Mining Using Automata-based Abstractions},
 booktitle = {Proceedings of the 2007 International Symposium on Software Testing and Analysis},
 series = {ISSTA '07},
 year = {2007},
 pages = {174--184},
 publisher = {ACM},
}

@inproceedings{Mishne:OOPSLA12,
	Author = {Mishne, Alon and Shoham, Sharon and Yahav, Eran},
  Booktitle = {Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications},
  Series = {OOPSLA '12},
	Title = {Typestate-based semantic code search over partial programs},
  Pages = {997--1016},
	Year = {2012}}

@inproceedings{Vechev:2007,
	Author = {Vechev, Martin T. and Yahav, Eran and Bacon, David F. and Rinetzky, Noam},
  title = {CGCExplorer: A Semi-automated Search Procedure for Provably Correct Concurrent Collectors},
  booktitle = {Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation},
  series = {PLDI '07},
  year = {2007},
  pages = {456--467},
  publisher = {ACM}}

@inproceedings{Vechev:2008,
	author = {Vechev, Martin and Yahav, Eran},
  title = {Deriving Linearizable Fine-grained Concurrent Objects},
  booktitle = {Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation},
  series = {PLDI '08},
  year = {2008},
  pages = {125--135},
  publisher = {ACM}}

@inproceedings{Hindle:2012,
 author = {Hindle, Abram and Barr, Earl T. and Su, Zhendong and Gabel, Mark and Devanbu, Premkumar},
 title = {On the Naturalness of Software},
 booktitle = {Proceedings of the 34th International Conference on Software Engineering},
 series = {ICSE '12},
 year = {2012},
 pages = {837--847},
 publisher = {IEEE Press},
}

@inproceedings{Gvero:2013,
	Acmid = {2462192},
	Author = {Gvero, Tihomir and Kuncak, Viktor and Kuraj, Ivan and Piskac, Ruzica},
  title = {Complete Completion Using Types and Weights},
  booktitle = {Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation},
  series = {PLDI '13},
  year = {2013}
 }

@inproceedings{Ammons:2002,
	Author = {Ammons, Glenn and Bod\'{\i}k, Rastislav and Larus, James R.},
  title = {Mining Specifications},
  booktitle = {Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  series = {POPL '02},
  year = {2002},
  pages = {4--16},
  publisher = {ACM}}

@misc{uciml,
	Howpublished = {https://archive.ics.uci.edu/ml/},
	Title = {UCI Machine Learning Repository}
}

@misc{wikisgd,
	Howpublished = {https://en.wikipedia.org/wiki/Stochastic\_gradient\_descent},
	Title = {{Wikipedia: SGD}}
}

@misc{stanmodels,
	Howpublished = {https://github.com/stan-dev/example-models},
	Title = {{Stan model repository}}
}

@misc{forestdb,
	Howpublished = {http://forestdb.org/},
	Title = {{ForestDB model repository}}
}

@misc{StackOverflow,
	Howpublished = {http://www.stackoverflow.com/},
	Title = {Stack Overflow}}

@misc{VogellaMedia,
	Howpublished = {http://www.vogella.com/articles/AndroidMedia/article.html},
	Title = {Vogella tutorials}}

@misc{AndroidBrightness,
	Howpublished = {http://www.tutorialforandroid.com/2009/01/changing-screen-brightness.html},
	Title = {Tutorial For Android}}
  
@misc{AndroidWifi,
	Howpublished = {http://www.tutorialforandroid.com/2009/10/turn-off-turn-on-wifi-in-android-using.html},
	Title = {Tutorial For Android}}

@misc{AndroidWallpaper,
	Howpublished = {http://android-er.blogspot.ch/2011/03/set-wallpaper-using-wallpapermanager.html},
	Title = {Android-er}}

@misc{AndroidWebPage,
	Howpublished = {https://sites.google.com/site/androidhowto/how-to-1/display-a-web-page},
	Title = {Android How-to's}}

@article{Bengio:2003,
	Author = {Bengio, Yoshua and Ducharme, R{\'e}jean and Vincent, Pascal and Janvin, Christian},
	Journal = {The Journal of Machine Learning Research},
	Month = mar,
	Numpages = {19},
	Pages = {1137--1155},
	Publisher = {JMLR.org},
	Title = {A Neural Probabilistic Language Model},
  Year = {2003}}

@inproceedings{Reiss:ICSE09,
author = {Reiss, Steven P.},
 title = {Semantics-based Code Search},
 booktitle = {Proceedings of the 31st International Conference on Software Engineering},
 series = {ICSE '09},
 year = {2009},
 pages = {243--253},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA}}

@inproceedings{LK:FSE06,
author = {Lo, David and Khoo, Siau-Cheng},
 title = {SMArTIC: Towards Building an Accurate, Robust and Scalable Specification Miner},
 booktitle = {Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering},
 series = {FSE-14},
 year = {2006},
 pages = {265--275},
 publisher = {ACM}}

@inproceedings{WZL:FSE07,
author = {Wasylkowski, Andrzej and Zeller, Andreas and Lindig, Christian},
 title = {Detecting Object Usage Anomalies},
 booktitle = {Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering},
 series = {ESEC-FSE '07},
 year = {2007},
 pages = {35--44},
 publisher = {ACM}}

@inproceedings{DLWZ:WODA06,
 author = {Dallmeier, Valentin and Lindig, Christian and Wasylkowski, Andrzej and Zeller, Andreas},
 title = {Mining Object Behavior with ADABU},
 booktitle = {Proceedings of the 2006 International Workshop on Dynamic Systems Analysis},
 series = {WODA '06},
 year = {2006},
 pages = {17--24},
 publisher = {ACM}}

@inproceedings{whaley02component,
author = {Whaley, John and Martin, Michael C. and Lam, Monica S.},
 title = {Automatic Extraction of Object-oriented Component Interfaces},
 booktitle = {Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis},
 series = {ISSTA '02},
 year = {2002},
 pages = {218--228},
 publisher = {ACM},
 address = {New York, NY, USA}}

@inproceedings{livshits05dynamine,
 author = {Livshits, Benjamin and Zimmermann, Thomas},
 title = {DynaMine: Finding Common Error Patterns by Mining Software Revision Histories},
 booktitle = {Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering},
 series = {ESEC/FSE-13},
 year = {2005},
 Pages = {296--305}}

@inproceedings{Yang:ICSE06,
author = {Yang, Jinlin and Evans, David and Bhardwaj, Deepali and Bhat, Thirumalesh and Das, Manuvir},
 title = {Perracotta: Mining Temporal API Rules from Imperfect Traces},
 booktitle = {Proceedings of the 28th International Conference on Software Engineering},
 series = {ICSE '06},
 year = {2006},
 pages = {282--291},
 publisher = {ACM}}

@article{Cook:TOSEM98,
author = {Cook, Jonathan E. and Wolf, Alexander L.},
 title = {Discovering Models of Software Processes from Event-based Data},
 journal = {ACM Trans. Softw. Eng. Methodol.},
 issue_date = {July 1998},
 volume = {7},
 number = {3},
 month = jul,
 year = {1998},
 pages = {215--249}}

@inproceedings{MAPO,
	author = {Zhong, Hao and Xie, Tao and Zhang, Lu and Pei, Jian and Mei, Hong},
  title = {MAPO: Mining and Recommending API Usage Patterns},
 booktitle = {Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming},
 series = {Genoa},
 year = {2009},
 pages = {318--343}}

@inproceedings{HM:ICSE05,
author = {Holmes, Reid and Murphy, Gail C.},
 title = {Using Structural Context to Recommend Source Code Examples},
 booktitle = {Proceedings of the 27th International Conference on Software Engineering},
 series = {ICSE '05},
 year = {2005},
 pages = {117--125},
 publisher = {ACM}}

@inproceedings{Rosenfeld00twodecades,
	Author = {Rosenfeld, Ronald},
	Booktitle = {Proceedings of the IEEE},
	Pages = {2000},
	Title = {Two decades of statistical language modeling: Where do we go from here},
	Year = {2000}}

@inproceedings{KombrinkMKB11,
	Author = {Kombrink, Stefan and Mikolov, Tomas and Karafi{\'a}t, Martin and Burget, Luk{\'a}s},
	Booktitle = {INTERSPEECH},
	Ee = {http://www.isca-speech.org/archive/interspeech_2011/i11_2877.html},
	Pages = {2877-2880},
	Title = {Recurrent Neural Network Based Language Modeling in Meeting Recognition},
	Year = {2011}}

@article{elman90findingStructure,
	Author = {Jeffrey L. Elman},
	Journal = {Cognitive Science},
	Number = {2},
	Pages = {179--211},
	Title = {Finding structure in time},
	Volume = {14},
	Year = {1990},}

@article{WittenB91,
	Author = {Witten, Ian H. and Bell, Timothy C.},
	Journal = {IEEE Transactions on Information Theory},
	Number = 4,
	Pages = {1085-1094},
	Title = {The zero-frequency problem: Estimating the probabilities of novel events in adaptive text compression.},
	Year = {1991}}

@inproceedings{Katz1987,
	Author = {Katz, Slava M.},
	Booktitle = {IEEE Trans. on Acoustics, Speech and Singal processing},
	Month = {March},
	Number = 3,
	Owner = {Yifan Peng},
	Title = {Estimation of probabilities from sparse data for the language model component of a speech recognizer},
	Year = 1987}

@inproceedings{Kneser1995,
	Author = {Kneser, Reinhard and Ney, Hermann},
	Booktitle = {In Proceedings of the IEEE International Conference on Acoustics, Speech and Signal Processing},
	Month = May,
	Owner = {Yifan Peng},
	Title = {Improved backing-off for m-gram language modeling},
	Volume = {I},
	Year = 1995}

@inproceedings{soot,
 author = {Vall{\'e}e-Rai, Raja and Co, Phong and Gagnon, Etienne and Hendren, Laurie and Lam, Patrick and Sundaresan, Vijay},
 title = {Soot - a Java Bytecode Optimization Framework},
 booktitle = {Proceedings of the 1999 Conference of the Centre for Advanced Studies on Collaborative Research},
 series = {CASCON '99},
 year = {1999},
 Pages = {125--135}}

@article{stolcke2002sel,
	Author = {Stolcke, A.},
	Journal = {International Conference on Spoken Language Processing},
	Publisher = {ISCA},
	Title = {{SRILM-an Extensible Language Modeling Toolkit}},
	Year = {2002}}

@inproceedings{RNNLM,
	Author = {Mikolov, Tomas and Kombrink, Stefan and Deoras, Anoop and Burget, Lukas and Cernocky, Jan Honza},
	Booktitle = {ASRU 2011},
	Pages = {1--4},
	Publisher = {IEEE Signal Processing Society},
	Title = {RNNLM - Recurrent Neural Network Language Modeling Toolkit},
	Year = {2011}}

@inproceedings{LargeRNN,
	Author = {Mikolov. Tomas and Deoras, Anoop and Povey, Daniel and Burget, Lukas and Cernocky, Jan},
	Booktitle = {ASRU 2011},
	Publisher = {IEEE Signal Processing Society},
	Title = {Strategies for Training Large Scale Neural Network Language Models},
	Year = {2011}}

@misc{KodersURL,
	Key = {Koders},
	Note = {http://www.koders.com/},
	Title = {Koders}}

@misc{github-url,
	Key = {gibhub},
	Note = {https://github.com/search},
	Title = {GitHub code search}}

@misc{bitbucket-url,
	Key = {BitBucket},
	Note = {https://bitbucket.org/},
	Title = {Atlassian BitBucket}}

@misc{KrugleURL,
	Note = {http://www.krugle.com/},
	Title = {Krugle}}

@misc{ClosureCompiler,
	Key = {ClosureCompiler},
	Note = {https://developers.google.com/closure/compiler/},
	Title = {Closure Compiler}}

@misc{TypeScript,
	Key = {TypeScript},
	Note = {http://www.typescriptlang.org/},
	Title = {TypeScript language}
}

@misc{BigCode,
	Key = {DARPA},
	Note = {http://www.darpa.mil/NewsEvents/Releases/2014/03/06a.aspx},
	Title = {Mining Big Code to Improve Software Reliability and Construction}
}

@incollection{Weimer:TACAS05,
author = {Weimer, Westley and Necula, George C.},
 title = {Mining Temporal Specifications for Error Detection},
 booktitle = {Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
 series = {TACAS'05},
 year = {2005},
 pages = {461--476},
 publisher = {Springer-Verlag},
}

@inproceedings{Mandelin2005,
author = {Mandelin, David and Xu, Lin and Bod\'{\i}k, Rastislav and Kimelman, Doug},
 title = {Jungloid Mining: Helping to Navigate the API Jungle},
 booktitle = {Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI '05},
 year = {2005},
 pages = {48--61},
 publisher = {ACM}}

@inproceedings{WZ:ASE11,
author = {Wasylkowski, Andrzej and Zeller, Andreas},
 title = {Mining Temporal Specifications from Object Usage},
 booktitle = {Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering},
 series = {ASE '09},
 year = {2009},
 pages = {295--306},
 publisher = {IEEE Computer Society},
}

@incollection{Gvero:2011,
 author = {Gvero, Tihomir and Kuncak, Viktor and Piskac, Ruzica},
 title = {Interactive Synthesis of Code Snippets},
 booktitle = {Proceedings of the 23rd International Conference on Computer Aided Verification},
 series = {CAV'11},
 year = {2011},
 pages = {418--423},
 publisher = {Springer-Verlag},
}

@incollection{BDA:ECOOP11,
author = {Beckman, Nels E. and Kim, Duri and Aldrich, Jonathan},
 title = {An Empirical Study of Object Protocols in the Wild},
 booktitle = {Proceedings of the 25th European Conference on Object-oriented Programming},
 series = {ECOOP'11},
 year = {2011},
 pages = {2--26},
 publisher = {Springer-Verlag}
}

@inproceedings{AZB:ISR10,
	Author = {Alnusair, A. and Tian Zhao and Bodden, E.},
booktitle={2010 IEEE International Conference on Information Reuse Integration}, 
	Pages = {7 -12},
	Title = {Effective {API} navigation and reuse},
	Year = {2010}}

@inproceedings{HWM:FSE05,
author = {Holmes, Reid and Walker, Robert J. and Murphy, Gail C.},
 title = {Strathcona Example Recommendation Tool},
 booktitle = {Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering},
 series = {ESEC/FSE-13},
 year = {2005},
 pages = {237--240},
 publisher = {ACM},
}

@inproceedings{ppa,
author = {Dagenais, Barth{\'e}l{\'e}my and Hendren, Laurie},
 title = {Enabling Static Analysis for Partial Java Programs},
 booktitle = {Proceedings of the 23rd ACM SIGPLAN Conference on Object-oriented Programming Systems Languages and Applications},
 series = {OOPSLA '08},
 year = {2008},
 pages = {313--328},
 publisher = {ACM},
}

@book{Koller+Friedman:09,
	Author = {D. Koller and N. Friedman},
	Publisher = {MIT Press},
	Title = {Probabilistic Graphical Models: Principles and Techniques},
	Year = 2009}

@inproceedings{Karaivanov:2014,
 author = {Karaivanov, Svetoslav and Raychev, Veselin and Vechev, Martin},
 title = {Phrase-Based Statistical Translation of Programming Languages},
booktitle = {Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming \& Software},
 series = {Onward! 2014},
 year = {2014},
 pages = {173--184},
 publisher = {ACM},
}

@inproceedings{Lawrie2010,
	Author = {Lawrie, Dawn and Binkley, David and Morrell, Christopher},
	Booktitle = {Proc. of the International Working Conference on Reverse Engineering},
	Title = {Normalizing Source Code Vocabulary},
	Year = 2010}

@inproceedings{Caprile:2000:RPI:850948.853439,
	Author = {Caprile, Bruno and Tonella, Paolo},
	Booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM'00)},
	Publisher = {IEEE Computer Society},
	Series = {ICSM '00},
	Title = {Restructuring Program Identifier Names},
	Year = {2000}}

@inproceedings{TAJS,
	Author = {Jensen, Simon Holm and M{\o}ller, Anders and Thiemann, Peter},
		Title = {Type Analysis for JavaScript},
  booktitle = {Proceedings of the 16th International Symposium on Static Analysis},
 series = {SAS '09},
 year = {2009},
 pages = {238--255},
 publisher = {Springer-Verlag},
 }

@inproceedings{Thiemann:2005:TTS:2140708.2140736,
	Author = {Thiemann, Peter},
	Booktitle = {Proceedings of the 14th European Conference on Programming Languages and Systems},
	Pages = {408--422},
	Publisher = {Springer-Verlag},
	Series = {ESOP'05},
	Title = {Towards a Type System for Analyzing Javascript Programs},
	Url = {http://dx.doi.org/10.1007/978-3-540-31987-0_28},
	Year = {2005},
}

@inproceedings{CRF,
	Acmid = {655813},
	Address = {San Francisco, CA, USA},
	Author = {Lafferty, John D. and McCallum, Andrew and Pereira, Fernando C. N.},
	Isbn = {1-55860-778-1},
	Numpages = {8},
	Pages = {282--289},
	Series = {ICML '01},
	Title = {Conditional Random Fields: Probabilistic Models for Segmenting and Labeling Sequence Data},
	Url = {http://dl.acm.org/citation.cfm?id=645530.655813},
	Year = {2001},
	Bdsk-Url-1 = {http://dl.acm.org/citation.cfm?id=645530.655813}}

@inproceedings{BayesianCRF,
title={Diagram structure recognition by Bayesian conditional random fields},
  author={Qi, Yuan and Szummer, Martin and Minka, Thomas P},
  booktitle={Computer Vision and Pattern Recognition, 2005. CVPR 2005. IEEE Computer Society Conference on},
  volume={2},
  pages={191--196},
  year={2005},
  organization={IEEE}
}

@inproceedings{DBLP:conf/oopsla/PalsbergS91,
author = {Palsberg, Jens and Schwartzbach, Michael I.},
 title = {Object-oriented Type Inference},
 booktitle = {Conference Proceedings on Object-oriented Programming Systems, Languages, and Applications},
 series = {OOPSLA '91},
 year = {1991},
 pages = {146--161},
 publisher = {ACM},
 }

@inproceedings{DBLP:conf/nips/TaskarGK03,
author = {Taskar, Ben and Guestrin, Carlos and Koller, Daphne},
 title = {Max-margin Markov Networks},
 booktitle = {Proceedings of the 16th International Conference on Neural Information Processing Systems},
 series = {NIPS'03},
 year = {2003},
 pages = {25--32},
 publisher = {MIT Press},
}

@inproceedings{DBLP:conf/icml/TaskarCKG05,
author = {Taskar, Ben and Chatalbashev, Vassil and Koller, Daphne and Guestrin, Carlos},
 title = {Learning Structured Prediction Models: A Large Margin Approach},
 booktitle = {Proceedings of the 22Nd International Conference on Machine Learning},
 series = {ICML '05},
 year = {2005},
 pages = {896--903},
 publisher = {ACM},
}

@inproceedings{FinleyJ08,
author = {Finley, Thomas and Joachims, Thorsten},
 title = {Training Structural SVMs when Exact Inference is Intractable},
 booktitle = {Proceedings of the 25th International Conference on Machine Learning},
 series = {ICML '08},
 year = {2008},
 pages = {304--311},
 publisher = {ACM},
}

@inproceedings{He:2004:MCR:1896300.1896400,
author = {He, Xuming and Zemel, Richard S. and Carreira-Perpi\~{n}\'{a}n, Miguel \'{A}.},
 title = {Multiscale Conditional Random Fields for Image Labeling},
 booktitle = {Proceedings of the 2004 IEEE Computer Society Conference on Computer Vision and Pattern Recognition},
 series = {CVPR'04},
 year = {2004},
 pages = {695--703},
 publisher = {IEEE Computer Society}
}

@inproceedings{Quattoni04conditionalrandom,
 author = {Quattoni, Ariadna and Collins, Michael and Darrell, Trevor},
 title = {Conditional Random Fields for Object Recognition},
 booktitle = {Proceedings of the 17th International Conference on Neural Information Processing Systems},
 series = {NIPS'04},
 year = {2004},
 pages = {1097--1104},
 publisher = {MIT Press},
}

@inproceedings{Pinto:2003:TEU:860435.860479,
author = {Pinto, David and McCallum, Andrew and Wei, Xing and Croft, W. Bruce},
 title = {Table Extraction Using Conditional Random Fields},
 booktitle = {Proceedings of the 26th Annual International ACM SIGIR Conference on Research and Development in Informaion Retrieval},
 series = {SIGIR '03},
 year = {2003},
 pages = {235--242},
 publisher = {ACM}}

@inproceedings{DBLP:journals/jmlr/RatliffBZ07,
  title = 	 {(Approximate) Subgradient Methods for Structured Prediction},
  author = 	 {Nathan D. Ratliff and J. Andrew Bagnell and Martin A. Zinkevich},
  booktitle = 	 {Proceedings of the Eleventh International Conference on Artificial Intelligence and Statistics},
  pages = 	 {380--387},
  year = 	 {2007},
  volume = 	 {2},
  series = 	 {Proceedings of Machine Learning Research},
  month = 	 {21--24 Mar},
  publisher = 	 {PMLR}}

@article{Bes86,
	Author = {Besag, Julian},
	Journal = {Journal of the Royal Statistical Society. Series B (Methodol.)},
	Number = {3},
	Pages = {259--302},
	Publisher = {Blackwell Publishing for the Royal Statistical Society},
	Title = {{On the Statistical Analysis of Dirty Pictures}},
	Year = {1986}}

@inproceedings{Kappes:2013:CSM:2514950.2516014,
	Acmid = {2516014},
	Author = {Kappes, Jorg H. and others},
title = {A Comparative Study of Modern Inference Techniques for Structured Discrete Energy Minimization Problems},
 journal = {Int. J. Comput. Vision},
 issue_date = {November  2015},
 volume = {115},
 number = {2},
 month = nov,
 year = {2015},
 issn = {0920-5691},
 pages = {155--184},
 publisher = {Kluwer Academic Publishers}}

@inproceedings{zinkevich2010parallelized,
author = {Zinkevich, Martin A. and Weimer, Markus and Smola, Alex and Li, Lihong},
 title = {Parallelized Stochastic Gradient Descent},
 booktitle = {Proceedings of the 23rd International Conference on Neural Information Processing Systems - Volume 2},
 series = {NIPS'10},
 year = {2010},
 pages = {2595--2603},
 publisher = {Curran Associates Inc.}}
	
@book{MLBook,
  title = {Machine learning: a probabilistic perspective},
  author  = {Kevin P Murphy},
  year  = 2012,
  address = {Cambridge, MA}
}

@inproceedings{Gulwani:2007,
 author = {Gulwani, Sumit and Jojic, Nebojsa},
 title = {Program Verification As Probabilistic Inference},
booktitle = {Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '07},
 year = {2007},
 pages = {277--289},
 publisher = {ACM},
}

@inproceedings{Beckman:2011,
 author = {Beckman, Nels E. and Nori, Aditya V.},
 title = {Probabilistic, Modular and Scalable Inference of Typestate Specifications},
booktitle = {Proceedings of the 32Nd ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI '11},
 year = {2011},
 pages = {211--221},
 publisher = {ACM},
}


@inproceedings{Livshits:2009,
 author = {Livshits, Benjamin and Nori, Aditya V. and Rajamani, Sriram K. and Banerjee, Anindya},
 title = {Merlin: Specification Inference for Explicit Information Flow Problems},
 booktitle = {Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI '09},
 year = {2009},
 isbn = {978-1-60558-392-1},
 location = {Dublin, Ireland},
 pages = {75--86},
 publisher = {ACM},
}

@inproceedings{Kremenek:2007,
 author = {Kremenek, Ted and Ng, Andrew Y. and Engler, Dawson},
 title = {A Factor Graph Model for Software Bug Finding},
 booktitle = {Proceedings of the 20th International Joint Conference on Artifical Intelligence},
 series = {IJCAI'07},
 year = {2007},
}

@inproceedings{Kremenek:2006,
 author = {Kremenek, Ted and Twohey, Paul and Back, Godmar and Ng, Andrew and Engler, Dawson},
 title = {From Uncertainty to Belief: Inferring the Specification Within},
 booktitle = {Proceedings of the 7th Symposium on Operating Systems Design and Implementation},
 series = {OSDI '06},
 year = {2006},
 pages = {161--176},
 publisher = {USENIX Association},
}

@inproceedings{Liblit:PLDI2005,
 author = {Liblit, Ben and Naik, Mayur and Zheng, Alice X. and Aiken, Alex and Jordan, Michael I.},
 title = {Scalable Statistical Bug Isolation},
 series = {PLDI '05},
 year = {2005},
 pages = {15--26},
 acmid = {1065014},
 publisher = {ACM},
}

@article{GenerativeICML14,
author = {Maddison, Chris J. and Tarlow, Daniel},
 title = {Structured Generative Models of Natural Source Code},
 booktitle = {Proceedings of the 31st International Conference on International Conference on Machine Learning - Volume 32},
 series = {ICML'14},
 year = {2014},
 pages = {II-649--II-657},
 publisher = {JMLR.org},
}

@inproceedings{jsnice15,
 author = {Raychev, Veselin and Vechev, Martin and Krause, Andreas},
 title = {Predicting Program Properties from "Big Code"},
 booktitle = {Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '15},
 year = {2015},
 pages = {111--124},
 publisher = {ACM},
}

@incollection{NIPS2001_2020,
title = {On Discriminative vs. Generative Classifiers: A comparison of logistic regression and naive Bayes},
author = {Andrew Y. Ng and Michael I. Jordan},
booktitle = {Advances in Neural Information Processing Systems 14},
editor = {T.G. Dietterich and S. Becker and Z. Ghahramani},
pages = {841--848},
year = {2002},
publisher = {MIT Press},
}

@inproceedings{LCLint,
 author = {Evans, David and Guttag, John and Horning, James and Tan, Yang Meng},
 title = {LCLint: A Tool for Using Specifications to Check Code},
booktitle = {Proceedings of the 2Nd ACM SIGSOFT Symposium on Foundations of Software Engineering},
 series = {FSE '94},
 year = {1994},
 pages = {87--96},
 publisher = {ACM},
}


@article{Coverity,
 author = {Bessey, Al and Block, Ken and Chelf, Ben and Chou, Andy and Fulton, Bryan and Hallem, Seth and Henri-Gros, Charles and Kamsky, Asya and McPeak, Scott and Engler, Dawson},
 title = {A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World},
 journal = {Commun. ACM},
 issue_date = {February 2010},
 volume = {53},
 number = {2},
 month = feb,
 year = {2010},
 pages = {66--75},
 publisher = {ACM}
}

@ARTICLE{FindBugs,
author={Ayewah, N. and Hovemeyer, D. and Morgenthaler, J.D. and Penix, J. and Pugh, William},
journal={Software, IEEE},
title={Using Static Analysis to Find Bugs},
year={2008},
month={Sept},
volume={25},
number={5},
pages={22-29},
}

@inproceedings{Clousot,
 author = {F\"{a}hndrich, Manuel and Logozzo, Francesco},
 title = {Static Contract Checking with Abstract Interpretation},
 series = {FoVeOOS'10},
 year = {2011},
 pages = {10--30},
 numpages = {21},
 publisher = {Springer-Verlag},
}

@inproceedings{Hogwild,
  author    = {Benjamin Recht and
               Christopher Re and
               Stephen J. Wright and
               Feng Niu},
  title     = {Hogwild: {A} Lock-Free Approach to Parallelizing Stochastic Gradient
               Descent},
  series    = {NIPS'11},
  pages     = {693--701},
}

@inproceedings{BruchMM09,
  author    = {Marcel Bruch and
               Martin Monperrus and
               Mira Mezini},
  title     = {Learning from examples to improve code completion systems},
  booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
               Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
               of Software Engineering, 2009, Amsterdam, The Netherlands, August
               24-28, 2009},
  pages     = {213--222},
  year      = {2009},
}

@inproceedings{Cramer:1985:Genetic,
 author = {Cramer, Nichael Lynn},
 title = {A Representation for the Adaptive Generation of Simple Sequential Programs},
 booktitle = {Proceedings of the 1st International Conference on Genetic Algorithms},
 year = {1985},
 pages = {183--187},
 publisher = {L. Erlbaum Associates Inc.},
}

@phdthesis{Smith:1980:Genetic,
 author = {Smith, Stephen Frederick},
 title = {A Learning System Based on Genetic Adaptive Algorithms},
 year = {1980},
 note = {AAI8112638},
 publisher = {University of Pittsburgh},
 address = {Pittsburgh, PA, USA},
}

@book{Banzhaf:1998:GeneticBook,
 author = {Banzhaf, Wolfgang and Francone, Frank D. and Keller, Robert E. and Nordin, Peter},
 title = {Genetic Programming: An Introduction: on the Automatic Evolution of Computer Programs and Its Applications},
 year = {1998},
 isbn = {1-55860-510-X},
 publisher = {Morgan Kaufmann Publishers Inc.},
 address = {San Francisco, CA, USA},
}

@inproceedings{Gathercole:1994:DynamicSubsetSelection,
 author = {Gathercole, Chris and Ross, Peter},
 title = {Dynamic Training Subset Selection for Supervised Learning in Genetic Programming},
 booktitle = {Proceedings of the International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature: Parallel Problem Solving from Nature},
 series = {PPSN III},
 year = {1994},
 pages = {312--321},
 publisher = {Springer-Verlag},
}

@inproceedings{Baker:1987:GeneticBias,
 author = {Baker, James E.},
 title = {Reducing Bias and Inefficiency in the Selection Algorithm},
 booktitle = {Proceedings of the Second International Conference on Genetic Algorithms on Genetic Algorithms and Their Application},
 year = {1987},
 pages = {14--21},
 publisher = {L. Erlbaum Associates Inc.},
}

@inproceedings{Nguyen:2013:SemanticLM,
 author = {Nguyen, Tung Thanh and Nguyen, Anh Tuan and Nguyen, Hoan Anh and Nguyen, Tien N.},
 title = {A Statistical Semantic Language Model for Source Code},
 booktitle = {Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering},
 series = {ESEC/FSE 2013},
 year = {2013},
 pages = {532--542},
 acmid = {2491458},
 publisher = {ACM},
}

@inproceedings{Nguyen:2015:Graph,
 author = {Nguyen, Anh Tuan and Nguyen, Tien N.},
 title = {Graph-based Statistical Language Model for Code},
 booktitle = {Proceedings of the 37th International Conference on Software Engineering - Volume 1},
 series = {ICSE '15},
 year = {2015},
 pages = {858--868},
 publisher = {IEEE Press},
}

@inproceedings{Och:2003:MERT,
 author = {Och, Franz Josef},
 title = {Minimum Error Rate Training in Statistical Machine Translation},
 booktitle = {Proceedings of the 41st Annual Meeting on Association for Computational Linguistics - Volume 1},
 series = {ACL '03},
 year = {2003},
 location = {Sapporo, Japan},
 pages = {160--167},
 publisher = {Association for Computational Linguistics},
}

@inproceedings{Schkufza:2013:Superoptimization,
 author = {Schkufza, Eric and Sharma, Rahul and Aiken, Alex},
 title = {Stochastic Superoptimization},
 booktitle = {Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems},
 series = {ASPLOS '13},
 year = {2013},
 pages = {305--316},
 numpages = {12},
 acmid = {2451150},
 publisher = {ACM},
}

@inproceedings{Nori:2015:PSketch,
 author = {Nori, Aditya V. and Ozair, Sherjil and Rajamani, Sriram K. and Vijaykeerthy, Deepak},
 title = {Efficient Synthesis of Probabilistic Programs},
 booktitle = {Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI 2015},
 year = {2015},
 isbn = {978-1-4503-3468-6},
 pages = {208--217},
 publisher = {ACM},
}


@article{kozen1981semantics,
  title={Semantics of probabilistic programs},
  author={Kozen, Dexter},
  journal={Journal of Computer and System Sciences},
  volume={22},
  number={3},
  pages={328--350},
  year={1981},
  publisher={Elsevier}
}


@article{morgan1996probabilistic,
  title={Probabilistic predicate transformers},
  author={Morgan, Carroll and McIver, Annabelle and Seidel, Karen},
  journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
  volume={18},
  number={3},
  year={1996},
}

@inproceedings{barthe2012probabilistic,
author = {Barthe, Gilles and K\"{o}pf, Boris and Olmedo, Federico and Zanella-B{\'e}guelin, Santiago},
 title = {Probabilistic Relational Reasoning for Differential Privacy},
 journal = {ACM Trans. Program. Lang. Syst.},
 issue_date = {November 2013},
 volume = {35},
 number = {3},
 month = nov,
 year = {2013},
 pages = {9:1--9:49},
 publisher = {ACM},
}


@incollection{di2002probabilistic,
  title={Probabilistic abstract interpretation and statistical testing},
  author={Di Pierro, Alessandra and Wiklicky, Herbert},
  booktitle={Process Algebra and Probabilistic Methods: Performance Modeling and Verification},
  pages={211--212},
  year={2002},
  publisher={Springer}
}

@incollection{monniaux2000abstract,
  title={Abstract interpretation of probabilistic semantics},
  author={Monniaux, David},
  booktitle={Static Analysis},
  pages={322--339},
  year={2000},
  publisher={Springer}
}

@article{mardziel2013dynamic,
  title={Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation.},
  author={Mardziel, Piotr and Magill, Stephen and Hicks, Michael and Srivatsa, Mudhakar},
  journal={Journal of Computer Security},
  volume={21},
  number={4},
  pages={463--532},
  year={2013},
  publisher={Citeseer}
}

@incollection{cousot2012probabilistic,
  title={Probabilistic abstract interpretation},
  author={Cousot, Patrick and Monerau, Michael},
  booktitle={Programming Languages and Systems},
  pages={169--193},
  year={2012},
  publisher={Springer}
}

@inproceedings{shan2017exact,
  title={Exact Bayesian inference by symbolic disintegration},
  author={Shan, Chung-chieh and Ramsey, Norman},
  booktitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages},
 series = {POPL 2017},
 year = {2017},
 location = {Paris, France},
 pages = {130--144},
 publisher = {ACM}
}

@inproceedings{sanner2012symbolic,
  title={Symbolic Variable Elimination for Discrete and Continuous Graphical Models.},
  author={Sanner, Scott and Abbasnejad, Ehsan},
booktitle = {Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence},
 series = {AAAI'12},
 year = {2012},
 pages = {1954--1960},
 publisher = {AAAI Press},
}

@inproceedings{monniaux2001backwards,
  title={Backwards abstract interpretation of probabilistic programs},
  author={Monniaux, David},
  booktitle={European Symposium on Programming},
  pages={367--382},
  year={2001},
  organization={Springer}
}

@article{wangpmaf,
  title={PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs},
 author = {Wang, Di and Hoffmann, Jan and Reps, Thomas},
 booktitle = {Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI 2018},
 year = {2018},
 pages = {513--528},
 publisher = {ACM},
}
 
@article{sankaranarayanan2013static,
author = {Sankaranarayanan, Sriram and Chakarov, Aleksandar and Gulwani, Sumit},
 title = {Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths},
 booktitle = {Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI '13},
 year = {2013},
 pages = {447--458},
 publisher = {ACM},
}

@inproceedings{filieri2013reliability,
  author={Filieri, A. and P{\u{a}}s{\u{a}}reanu, C. and Visser, W.},
  title = {Reliability Analysis in Symbolic Pathfinder},
 booktitle = {Proceedings of the 2013 International Conference on Software Engineering},
 series = {ICSE '13},
 year = {2013},
 pages = {622--631},
 numpages = {10},
 publisher = {IEEE Press},
}

@article{smith2008probabilistic,
  title={Probabilistic abstract interpretation of imperative programs using truncated normal distributions},
  author={Smith, Michael},
  journal={Electronic Notes in Theoretical Computer Science},
  volume={220},
  number={3},
  pages={43--59},
  year={2008},
  publisher={Elsevier}
}

@book{park2005probabilistic,
  title={A probabilistic language based upon sampling functions},
  author={Park, Sungwoo and Pfenning, Frank and Thrun, Sebastian},
  volume={40},
  number={1},
  year={2005},
  publisher={ACM}
}




@incollection{hinton2006prism,
  title={PRISM: A tool for automatic verification of probabilistic systems},
  author={Hinton, Andrew and Kwiatkowska, Marta and Norman, Gethin and Parker, David},
  booktitle={Tools and Algorithms for the Construction and Analysis of Systems},
  pages={441--444},
  year={2006},
  publisher={Springer}
}

@inproceedings{bao2013fly,
  title={On-the-fly detection of instability problems in floating-point program execution},
  author={Bao, Tao and Zhang, Xiangyu},
booktitle = {Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages and Applications},
 series = {OOPSLA '13},
 year = {2013},
 pages = {817--832},
 publisher = {ACM},
}

@inproceedings{sampson2014expressing,
  title={Expressing and verifying probabilistic assertions},
  author={Sampson, Adrian and Panchekha, Pavel and Mytkowicz, Todd and McKinley, Kathryn S and Grossman, Dan and Ceze, Luis},
booktitle = {Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI '14},
 year = {2014},
 pages = {112--122},
 publisher = {ACM},
}

@book{nelsen2007introduction,
  title={An introduction to copulas},
  author={Nelsen, Roger B},
  year={2007},
  publisher={Springer Science \& Business Media}
}

@article{crestaux2009polynomial,
  title={Polynomial chaos expansion for sensitivity analysis},
  author={Crestaux, Thierry and Le Ma{\i}ˆtre, Olivier and Martinez, Jean-Marc},
  journal={Reliability Engineering \& System Safety},
  volume={94},
  number={7},
  pages={1161--1172},
  year={2009},
  publisher={Elsevier}
}

@incollection{platte2010chebfun,
  title={Chebfun: a new kind of numerical computing},
  author={Platte, Rodrigo B and Trefethen, Lloyd N},
  booktitle={Progress in Industrial Mathematics at ECMI 2008},
  pages={69--87},
  year={2010},
  publisher={Springer}
}






@article{noorshams2013belief,
  title={Belief propagation for continuous state spaces: Stochastic message-passing with quantitative guarantees},
  author={Noorshams, Nima and Wainwright, Martin J},
  journal={The Journal of Machine Learning Research},
  volume={14},
  number={1},
  pages={2799--2835},
  year={2013},
}

@book{wolfram1988mathematica,
  title={The Mathematica{\textregistered} book},
  author={Wolfram, Stephen},
  year={1988},
  publisher={Cambridge university press}
}

@article{char1983maple,
  title={The Maple symbolic computation system},
  author={Char, Bruce and Geddes, Keith and Gonnet, Gaston},
  journal={ACM SIGSAM Bulletin},
  volume={17},
  number={3-4},
  pages={31--42},
  year={1983},
  publisher={ACM}
}

@book{von2013modern,
  title={Modern computer algebra},
  author={Von Zur Gathen, Joachim and Gerhard, J{\"u}rgen},
  year={2013},
  publisher={Cambridge university press}
}

@inproceedings{de2008z3,
  title={Z3: An efficient SMT solver},
  author={De Moura, Leonardo and Bj{\o}rner, Nikolaj},
  booktitle={International conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages={337--340},
  year={2008},
  organization={Springer}
}


@inproceedings{chaudhuri2010smooth,
 author = {Chaudhuri, Swarat and Solar-Lezama, Armando},
 title = {Smooth Interpretation},
 booktitle = {Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI '10},
 year = {2010},
 pages = {279--291},
 publisher = {ACM},
}

@inproceedings{chaudhuri2011proving,
  title={Proving programs robust},
  author={Chaudhuri, Swarat and Gulwani, Sumit and Lublinerman, Roberto and Navidpour, Sara},
booktitle = {Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering},
 series = {ESEC/FSE '11},
 year = {2011},
 pages = {102--112},
 publisher = {ACM},
}

@inproceedings{minka2001expectation,
  title={Expectation propagation for approximate Bayesian inference},
  author={Minka, Thomas P},
  booktitle={Proceedings of the Seventeenth conference on Uncertainty in artificial intelligence},
  pages={362--369},
  year={2001},
  organization={Morgan Kaufmann Publishers Inc.}
}

@misc{mathematica,
title = {Mathematica},
year = 2015,
note = {https://www.wolfram.com/mathematica/}
}

@misc{maple,
title = {{Maple}},
year = 2015,
note = {www.maplesoft.com/products/maple/}
}

@misc{mapleheavy,
title = {{Maple Heaviside Function}},
year = 2015,
note = {http://www.maplesoft.com/support/help/Maple/ view.aspx?path=Heaviside}
}


article{gelman2015stan,
  title={Stan A Probabilistic Programming Language for Bayesian Inference and Optimization},
  author={Gelman, Andrew and Lee, Daniel and Guo, Jiqiang},
  journal={Journal of Educational and Behavioral Statistics},
  year={2015},
  publisher={SAGE Publications}
}




@article{hershey2012dimple,
  title={Accelerating inference: towards a full language, compiler and hardware stack},
  author={Hershey, Shawn and Bernstein, Jeff and Bradley, Bill and Schweitzer, Andrew and Stein, Noah and Weber, Theo and Vigoda, Ben},
  journal={arXiv preprint arXiv:1212.2991},
  year={2012}
}







@inproceedings{chakarov2013probabilistic,
  title={Probabilistic program analysis with martingales},
  author={Chakarov, Aleksandar and Sankaranarayanan, Sriram},
  booktitle={International Conference on Computer Aided Verification},
  pages={511--526},
  year={2013},
  organization={Springer}
}

@incollection{bhat2013deriving,
  title={Deriving probability density functions from probabilistic functional programs},
  author={Bhat, Sooraj and Borgstr{\"o}m, Johannes and Gordon, Andrew D and Russo, Claudio},
  booktitle={Tools and Algorithms for the Construction and Analysis of Systems},
  pages={508--522},
  year={2013},
  publisher={Springer}
}

@inproceedings{bhat2012type,
  title={A type theory for probability density functions},
  author={Bhat, Sooraj and Agarwal, Ashish and Vuduc, Richard and Gray, Alexander},
  booktitle={ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  pages={545--556},
  year={2012},
  publisher={ACM}
}

@article{scibior2015practical,
  title={Practical Probabilistic Programming with Monads},
  author={Scibior, Adam and Ghahramani, Zoubin and Gordon, Andrew D},
  year={2015},
  publisher={Department of Engineering, University of Cambridge}
}

@inproceedings{ramsey2002stochastic,
  title={Stochastic lambda calculus and monads of probability distributions},
  author={Ramsey, Norman and Pfeffer, Avi},
booktitle = {Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '02},
 year = {2002},
 pages = {154--165},
 publisher = {ACM}
}


@article{roth1996hardness,
  title={On the hardness of approximate reasoning},
  author={Roth, Dan},
  journal={Artificial Intelligence},
  volume={82},
  number={1},
  pages={273--302},
  year={1996},
  publisher={Elsevier}
}


@article{dagum1993approximating,
  title={Approximating probabilistic inference in Bayesian belief networks is NP-hard},
  author={Dagum, Paul and Luby, Michael},
  journal={Artificial intelligence},
  volume={60},
  number={1},
  pages={141--153},
  year={1993},
  publisher={Elsevier}
}

@incollection{carette2016simplifying,
  title={Simplifying probabilistic programs using computer algebra},
  author={Carette, Jacques and Shan, Chung-chieh},
  booktitle={Practical Aspects of Declarative Languages},
  pages={135--152},
  year={2016},
  publisher={Springer}
}

@incollection{katoen2010linear,
  title={Linear-invariant generation for probabilistic programs},
  author={Katoen, Joost-Pieter and McIver, Annabelle K and Meinicke, Larissa A and Morgan, Carroll C},
  booktitle={Static Analysis},
  pages={390--406},
  year={2010},
  publisher={Springer}
}

@article{audebaud2009proofs,
  title={Proofs of randomized algorithms in Coq},
  author={Audebaud, Philippe and Paulin-Mohring, Christine},
  journal={Science of Computer Programming},
  volume={74},
  number={8},
  pages={568--589},
  year={2009},
  publisher={Elsevier}
}

@incollection{eberl2015verified,
  title={A verified compiler for probability density functions},
  author={Eberl, Manuel and H{\"o}lzl, Johannes and Nipkow, Tobias},
  booktitle={Programming Languages and Systems},
  pages={80--104},
  year={2015},
  publisher={Springer}
}

@book{hasan2015formalized,
  title={Formalized Probability Theory and Applications Using Theorem Proving},
  author={Hasan, Osman},
  year={2015},
  publisher={IGI Global}
}

@phdthesis{hurd2001formal,
  title={Formal verification of probabilistic algorithms},
  author={Hurd, Joe},
  year={2001},
  school={University of Cambridge}
}


@article{indyk2007sketching,
  title={Sketching, streaming and sublinear-space algorithms},
  author={Indyk, Piotr},
  journal={Graduate course notes, available at \url{http://stellar.mit.edu/S/course/6/fa07/6.895/} },
  year={2007}
}

@Inbook{Narayanan2016s,
author="Narayanan, Praveen
and Carette, Jacques
and Romano, Wren
and Shan, Chung-chieh
and Zinkov, Robert",
title="Probabilistic Inference by Program Transformation in Hakaru (System Description)",
booktitle="13th International Symposium on Functional and Logic Programming (FLOPS 2016)",
year="2016"
}


@inproceedings{psi,
  title={PSI: Exact Symbolic Inference for Probabilistic Programs},
  author={Gehr, Timon and Misailovic, Sasa and Vechev, Martin},
  booktitle={International Conference on Computer Aided Verification},
  pages={62--83},
  year={2016},
  organization={Springer}
}

@inproceedings{barthe2015relational,
  title={Relational reasoning via probabilistic coupling},
  author={Barthe, Gilles and Espitau, Thomas and Gr{\'e}goire, Benjamin and Hsu, Justin and Stefanesco, L{\'e}o and Strub, Pierre-Yves},
  booktitle={Logic for Programming, Artificial Intelligence, and Reasoning},
  pages={387--401},
  year={2015},
  organization={Springer}
}

@inproceedings{psense,
  title={PSense: Automatic Sensitivity Analysis for Probabilistic Programs},
  author={Huang, Zixin and Wang, Zhenbang and Misailovic, Sasa},
  booktitle={16th International Symposium on Automated Technology for Verification and Analysis},
  series={ATVA},
  year={2018},
}

@inproceedings{mahmoud17wax,
  title={Leveraging Software Testing to Explore Input Dependence for Approximate Computing},
  author={Mahmoud, Abdulrahman and Venkatagiri, Radha and Ahmed, Khalique and Adve, Sarita and Marinov, Darko and Misailovic, Sasa},
  booktitle={WAX},
  year={2017}
}

@inproceedings{gligoric2017mutation,
  title={Mutation testing meets approximate computing},
  author={Gligoric, Milos and Khurshid, Sarfraz and Misailovic, Sasa and Shi, August},
  booktitle={Proceedings of the 39th International Conference on Software Engineering: New Ideas and Emerging Results Track},
  pages={3--6},
  year={2017},
  organization={IEEE Press}
}


@inproceedings{barthe2017proving,
 author = {Barthe, Gilles and Espitau, Thomas and Gr{\'e}goire, Benjamin and Hsu, Justin and Strub, Pierre-Yves},
 title = {Proving Expected Sensitivity of Probabilistic Programs},
 journal = {Proc. ACM Program. Lang.},
 issue_date = {January 2018},
 volume = {2},
 number = {POPL},
 year = {2017}
}


@inproceedings{shachter1990symbolic,
  title={Symbolic Probabilistic Inference in Belief Networks.},
  author={Shachter, Ross D and D'Ambrosio, Bruce and Del Favero, Brendan},
  booktitle={AAAI},
  volume={90},
  pages={126--131},
  year={1990}
}

@article{chang1995symbolic,
  title={Symbolic probabilistic inference with both discrete and continuous variables},
  author={Chang, Kuo-Chu and Fung, Robert},
  journal={Systems, Man and Cybernetics, IEEE Transactions on},
  volume={25},
  number={6},
  pages={910--916},
  year={1995},
  publisher={IEEE}
}

@incollection{moral2001mixtures,
  title={Mixtures of truncated exponentials in hybrid Bayesian networks},
  author={Moral, Seraf{\'\i}n and Rum{\'\i}, Rafael and Salmer{\'o}n, Antonio},
  booktitle={Symbolic and Quantitative Approaches to Reasoning with Uncertainty},
  pages={156--167},
  year={2001},
  publisher={Springer}
}

@article{shenoy2011inference,
  title={Inference in hybrid Bayesian networks using mixtures of polynomials},
  author={Shenoy, Prakash P and West, James C},
  journal={International Journal of Approximate Reasoning},
  volume={52},
  number={5},
  year={2011},
}


@misc{probmods2,
  title = {{Probabilistic Models of Cognition}},
  edition = {Second},
  author = {Goodman, N. and J. Tenenbaum},
  howpublished = {\url{probmods.org}},
}

@article{holtzen2017probabilistic,
  title={Probabilistic Program Abstractions},
  author={Holtzen, Steven and Millstein, Todd and Broeck, Guy Van den},
  journal={arXiv preprint arXiv:1705.09970},
  year={2017}
}

@inproceedings{chan2004sensitivity,
  title={Sensitivity analysis in Bayesian networks: From single to multiple parameters},
  author={Chan, Hei and Darwiche, Adnan},
  booktitle = {Proceedings of the 20th Conference on Uncertainty in Artificial Intelligence},
 series = {UAI '04},
 year = {2004},
 pages = {67--75},
 publisher = {AUAI Press},
}

@inproceedings{llerena2017probabilistic,
 author = {Llerena, Yamilet R. Serrano and Su, Guoxin and Rosenblum, David S.},
 title = {Probabilistic Model Checking of Perturbed MDPs with Applications to Cloud Computing},
 booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering},
 series = {ESEC/FSE 2017},
 year = {2017},
 pages = {454--464},
 publisher = {ACM},
}

@article{albarghouthi2017fairsquare,
  title={FairSquare: probabilistic verification of program fairness},
  author={Albarghouthi, A. and D'Antoni, L. and Drews, S. and Nori, A.},
  journal={Proceedings of the ACM on Programming Languages},
  volume={1},
  number={OOPSLA},
  pages={80},
  year={2017},
  publisher={ACM}
}

@article{borgonovo2016sensitivity,
  title={Sensitivity analysis: a review of recent advances},
  author={Borgonovo, Emanuele and Plischke, Elmar},
  journal={European Journal of Operational Research},
  volume={248},
  number={3},
  pages={869--887},
  year={2016},
  publisher={Elsevier}
}

@article{van2007sensitivity,
  title={Sensitivity analysis of probabilistic networks},
  author={van der Gaag, Linda and Renooij, Silja and Coup{\'e}, Veerle},
  journal={Advances in probabilistic graphical models},
  pages={103--124},
  year={2007},
  publisher={Springer}
}

@article{iooss2016introduction,
  title={Introduction to Sensitivity Analysis},
  author={Iooss, Bertrand and Saltelli, Andrea},
  journal={Handbook of Uncertainty Quantification},
  pages={1--20},
  year={2016},
  publisher={Springer}
}


@article{sun2018perses,
  title={Perses: Syntax-Guided Program Reduction},
  author={Sun, Chengnian and Li, Yuanbo and Zhang, Qirun and Gu, Tianxiao and Su, Zhendong},
  year={2018}
}

@misc{RStanIssue,
  title = {Stan Issue Reporting Instruction},
  key = {RStanIssue},
  year = {2018},
  month = {Feb},
  note = "\url{http://mc-stan.org/users/issues/index.html}"
}




@inproceedings{carbin2011detecting,
  title={Detecting and escaping infinite loops with jolt},
  author={Carbin, Michael and Misailovic, Sasa and Kling, Michael and Rinard, Martin C},
  booktitle={European Conference on Object-Oriented Programming},
  pages={609--633},
  year={2011},
  organization={Springer}
}

@inproceedings{kling2012bolt,
  title={Bolt: on-demand infinite loop escape in unmodified binaries},
  author={Kling, Michael and Misailovic, Sasa and Carbin, Michael and Rinard, Martin},
  booktitle = {Proceedings of the 2012 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages and  Applications},
  series = {OOPSLA '12},
  year={2012},
  organization={ACM}
}


@online{webppl,
title={The Design and Implementation of Probabilistic Programming Languages},
author={Goodman, Noah D and Stuhlm{\"u}ller, Andreas},
year={2014},
url={http://dippl.org},
lastaccessed={April 18, 2018},
}


@misc{PyTorchWebPage,
  title = {PyTorch},
  key = {PyTorchWebPage},
  year = {2018},
  LONGmonth = {Feb},
  note = "\url{http://pytorch.org}"
}


@misc{TensorFlowWebPage,
  title = {TensorFlow},
  key = {TensorFlowWebPage},
  year = {2018},
  LONGmonth = {Feb},
  note = "\url{https://www.tensorflow.org}"
}


@inproceedings{amtoft2016theory,
  title={A theory of slicing for probabilistic control flow graphs},
  author={Amtoft, Torben and Banerjee, Anindya},
  booktitle={International Conference on Foundations of Software Science and Computation Structures},
  pages={180--196},
  year={2016},
  organization={Springer}
}

@inproceedings{dwyer2015probabilistic,
  title={Probabilistic program analysis},
  author={Dwyer, Matthew B and Filieri, Antonio and Geldenhuys, Jaco and Gerrard, Mitchell and P{\u{a}}s{\u{a}}reanu, Corina S and Visser, Willem},
  booktitle={International Summer School on Generative and Transformational Techniques in Software Engineering},
  pages={1--25},
  year={2015},
  organization={Springer}
}

@inproceedings{wang2018pmaf,
  title={PMAF: an algebraic framework for static analysis of probabilistic programs},
  author={Wang, Di and Hoffmann, Jan and Reps, Thomas},
  booktitle={Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation},
  pages={513--528},
  year={2018},
  organization={ACM}
}

@inproceedings{barthe2018assertion,
  title={An Assertion-Based Program Logic for Probabilistic Programs},
  author={Barthe, Gilles and Espitau, Thomas and Gaboardi, Marco and Gr{\'e}goire, Benjamin and Hsu, Justin and Strub, Pierre-Yves},
  booktitle={European Symposium on Programming},
  pages={117--144},
  year={2018},
  organization={Springer}
}


@inproceedings{barthe2016proving,
  title={Proving differential privacy via probabilistic couplings},
  author={Barthe, Gilles and Gaboardi, Marco and Gr{\'e}goire, Benjamin and Hsu, Justin and Strub, Pierre-Yves},
  booktitle={Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science},
  pages={749--758},
  year={2016},
  organization={ACM}
}

@article{barthe2009formal,
  title={Formal certification of code-based cryptographic proofs},
  author={Barthe, Gilles and Gr{\'e}goire, Benjamin and Zanella B{\'e}guelin, Santiago},
booktitle = {Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '09},
 year = {2009},
 pages = {90--101},
 publisher = {ACM},
}

@inproceedings{carbin2013verifying,
  title={Verifying quantitative reliability for programs that execute on unreliable hardware},
  author={Carbin, Michael and Misailovic, Sasa and Rinard, Martin C},
  booktitle = {Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages and Applications},
 series = {OOPSLA '13},
 year = {2013},
 pages = {33--52},
 publisher = {ACM},
}

@inproceedings{misailovic2014chisel,
  title={Chisel: Reliability-and accuracy-aware optimization of approximate computational kernels},
  author={Misailovic, Sasa and Carbin, Michael and Achour, Sara and Qi, Zichao and Rinard, Martin C},
  booktitle = {Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages \& Applications},
 series = {OOPSLA '14},
 year = {2014},
}


@article{gustafson1996local,
  title={Local sensitivity analysis},
  author={Gustafson, Paul and Srinivasan, C and Wasserman, Larry},
  journal={Bayesian statistics},
  volume={5},
  pages={197--210},
  year={1996},
  publisher={Oxford University Press}
}

@inproceedings{huang2017compiling,
author = {Huang, Daniel and Tristan, Jean-Baptiste and Morrisett, Greg},
 title = {Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling},
 booktitle = {Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI 2017},
 year = {2017},
 pages = {111--125},
 publisher = {ACM}
}

@book{saltelli2008global,
  title={Global\,sensitivity\,analysis:\,the\,primer},
  _author={Salteli, A. and \mbox{et al.}},
  author={Saltelli, A. and Ratto, M. and Andres, T. and Campolongo, F. and Cariboni, J. and Gatelli, D. and Saisana, M. and Tarantola, S.},
  year={2008},
  publisher={John Wiley\,\&\,Sons}
}

@article{marzouk2007stochastic,
  title={Stochastic spectral methods for efficient Bayesian solution of inverse problems},
  author={Marzouk, Youssef M and Najm, Habib N and Rahn, Larry A},
  journal={Journal of Computational Physics},
  volume={224},
  number={2},
  pages={560--586},
  year={2007},
  publisher={Elsevier}
}

@inproceedings{dutta2018probfuzz,
  title={Testing Probabilistic Programming Systems},
  author={Dutta, Saikat and Legunsen, Owolabi and Huang, Zixin and Misailovic, Sasa },
  booktitle={FSE},
  year={2018},
}

@inproceedings{misherghi2006hdd,
  title={HDD: hierarchical delta debugging},
  author={Misherghi, Ghassan and Su, Zhendong},
  booktitle={Proceedings of the 28th international conference on Software engineering},
  pages={142--151},
  year={2006},
  organization={ACM}
}


@incollection{huber2011robust,
  title={Robust statistics},
  author={Huber, Peter J},
  booktitle={International Encyclopedia of Statistical Science},
  pages={1248--1251},
  year={2011},
  publisher={Springer}
}

@article{walia2018efficient,
  title={Efficient compilation of array probabilistic programs},
  author={Walia, Rajan and Carette, Jacques and Narayanan, Praveen and Shan, Chung-chieh and Tobin-Hochstadt, Sam},
  journal={arXiv preprint arXiv:1805.06562},
  year={2018}
}


@inproceedings{zeller2002isolating,
  title={Isolating cause-effect chains from computer programs},
  author={Zeller, Andreas},
  booktitle={Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering},
  pages={1--10},
  year={2002},
  organization={ACM}
}



@inproceedings{nandi2017debugging,
  title={Debugging probabilistic programs},
  author={Nandi, Chandrakana and Grossman, Dan and Sampson, Adrian and Mytkowicz, Todd and McKinley, Kathryn S},
  booktitle={Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages},
  pages={18--26},
  year={2017},
  organization={ACM}
}


@inproceedings{carbin2012,
  title={Proving acceptability properties of relaxed nondeterministic approximate programs},
  author={Carbin, Michael and Kim, Deokhwan and Misailovic, Sasa and Rinard, Martin C},
  booktitle={33rd ACM SIGPLAN Conference on Programming Language Design and Implementation},
  series={PLDI},
  year={2012},
}

@inproceedings{zhu12,
  title={Randomized accuracy-aware program transformations for efficient approximate computations},
  author={Zhu, Zeyuan Allen and Misailovic, Sasa and Kelner, Jonathan A and Rinard, Martin},
  booktitle={39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 
},
  series={POPL},
  year={2012},
}

@inproceedings{misailovic2011probabilistically,
  title={Probabilistically accurate program transformations},
  author={Misailovic, Sasa and Roy, Daniel M and Rinard, Martin C},
  booktitle={International Static Analysis Symposium},
  pages={316--333},
  year={2011},
  organization={Springer}
}

@inproceedings{gehr2018bayonet,
  title={Bayonet: probabilistic inference for networks},
  author={Gehr, Timon and Misailovic, Sasa and Tsankov, Petar and Vanbever, Laurent and Wiesmann, Pascal and Vechev, Martin},
  booktitle={Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation},
  pages={586--602},
  year={2018},
  organization={ACM}
}

@article{reed2010distance,
  author={Reed, Jason and Pierce, Benjamin C},
  title = {Distance Makes the Types Grow Stronger: A Calculus for Differential Privacy},
 booktitle = {Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming},
 series = {ICFP '10},
 year = {2010},
 pages = {157--168},
 publisher = {ACM},
}

@inproceedings{benton2004simple,
  author={Benton, Nick},
  title = {Simple Relational Correctness Proofs for Static Analyses and Program Transformations},
  booktitle = {Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  series = {POPL '04},
  year = {2004},
  pages = {14--25},
  publisher = {ACM},
}

@inproceedings{gretz2013prinsys,
  title={Prinsys—on a quest for probabilistic loop invariants},
  author={Gretz, Friedrich and Katoen, Joost-Pieter and McIver, Annabelle},
  booktitle={International Conference on Quantitative Evaluation of Systems},
  pages={193--208},
  year={2013},
  organization={Springer}
}

@inproceedings{partush2014abstract,
author = {Partush, Nimrod and Yahav, Eran},
 title = {Abstract Semantic Differencing via Speculative Correlation},
 booktitle = {Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages \& Applications},
 series = {OOPSLA '14},
 year = {2014},
 pages = {811--828},
 publisher = {ACM},
}

@inproceedings{yang2012memoized,
  title={Memoized symbolic execution},
  author={Yang, Guowei and P{\u{a}}s{\u{a}}reanu, Corina S and Khurshid, Sarfraz},
  booktitle={Proceedings of the 2012 International Symposium on Software Testing and Analysis},
  pages={144--154},
  year={2012},
  organization={ACM}
}

@article{de2012software,
  title={Software for exact integration of polynomials over polyhedra},
  author={De Loera, Jes{\'u}s A and Dutra, Brandon and Koeppe, Matthias and Moreinis, Stanislav and Pinto, Gregory and Wu, Jianqiu},
  journal={ACM Communications in Computer Algebra},
  volume={45},
  number={3/4},
  pages={169--172},
  year={2012},
  publisher={ACM}
}

@inproceedings{xu2018videochef,
  title={VideoChef: Efficient Approximation for Streaming Video Processing Pipelines},
  author={Xu, Ran and Koo, Jinkyu and Kumar, Rakesh and Bai, Peter and Mitra, Subrata and Misailovic, Sasa and Bagchi, Saurabh},
  booktitle={2018 USENIX Annual Technical Conference (USENIX ATC 2018)},
  year={2018}
}

@incollection{boucheron2004concentration,
  title={Concentration inequalities},
  author={Boucheron, St{\'e}phane and Lugosi, G{\'a}bor and Bousquet, Olivier},
  booktitle={Advanced Lectures on Machine Learning},
  pages={208--240},
  year={2004},
  publisher={Springer}
}

@inproceedings{clarke2000counterexample,
  title={Counterexample-guided abstraction refinement},
  author={Clarke, Edmund and Grumberg, Orna and Jha, Somesh and Lu, Yuan and Veith, Helmut},
  booktitle={International Conference on Computer Aided Verification},
  pages={154--169},
  year={2000},
  organization={Springer}
}


@inproceedings{hariri2018approximate,
  title={Approximate Transformations as Mutation Operators},
  author={Hariri, Farah and Shi, August and Legunsen, Owolabi and Gligoric, Milos and Khurshid, Sarfraz and Misailovic, Sasa},
  booktitle={Conference on Software Testing, Validation and Verification},
  booktitle={ICST},
  year={2018}
}

@inproceedings{Cusumano-TownerEtAlPLDI2018,
 author = {Marco Cusumano-Towner and Benjamin Bichsel and Timon Gehr and Vikash K. Mansinghka and Martin Vechev},
 title = {Incremental Inference for Probabilistic Programs},
 booktitle = {PLDI},
 year = {2018},
 pages = {Conditionally Accepted},
}

@inproceedings{VikashEtAlPLDI2018,
 author = {Vikash Mansinghka and Ulrich Schaechtle and Shivam Handa and Alexey Radul and Yutian Chen and Martin Rinard},
 title = {Custom Inference Strategies for Probabilistic Programming Languages},
 booktitle = {PLDI},
 year = {2018},
 pages = {Conditionally Accepted},
}

@ARTICLE{zhusuan2017,
 title={{ZhuSuan}: A Library for Bayesian Deep Learning},
 author={Shi, Jiaxin and Chen, Jianfei. and Zhu, Jun and Sun, Shengyang and Luo, Yucen and Gu, Yihong and Zhou, Yuhao},
 journal={arXiv preprint arXiv:1709.05870},
 year=2017,
}

@inproceedings{ArcuriAndBriandUsingStatisticalTests,
 author = {Arcuri, Andrea and Briand, Lionel},
 title = {A Practical Guide for Using Statistical Tests to Assess Randomized Algorithms in Software Engineering},
 booktitle = {ICSE},
 year = {2011},
 pages = {1--10},
} 

@inproceedings{grosse2016measuring,
  title={Measuring the reliability of MCMC inference with bidirectional Monte Carlo},
  author={Grosse, Roger B and Ancha, Siddharth and Roy, Daniel M},
  booktitle={Advances in Neural Information Processing Systems},
  booktitle={NIPS},
  pages={2451--2459},
  year={2016}
}

@article{selsam2017developing,
  title={Developing Bug-Free Machine Learning Systems With Formal Mathematics},
  author={Selsam, Daniel and Liang, Percy and Dill, David L},
  journal={arXiv preprint arXiv:1706.08605},
  year={2017}
}


@article{SeguraETAlMetamorphicTestingSurvey, 
author={S. Segura and G. Fraser and A. B. Sanchez and A. Ruiz-Cortés}, 
journal={TSE}, 
title={A Survey on Metamorphic Testing}, 
year={2016}, 
volume={42}, 
number={9}, 
pages={805-824}, 
}

@techreport{chen1998metamorphic,
  title={Metamorphic testing: a new approach for generating next test cases},
  author={Chen, Tsong Y and Cheung, Shing C and Yiu, Siu Ming},
  year={1998},
  institution={CS Department, Hong Kong University of Science and Technology}
}

@inproceedings{zhou2004metamorphic,
  title={Metamorphic testing and its applications},
  author={Zhou, Zhi Quan and Huang, DH and Tse, TH and Yang, Zongyuan and Huang, Haitao and Chen, TY},
  booktitle={Proceedings of the 8th International Symposium on Future Software Technology (ISFST 2004)},
  booktitle={ISFST},
  pages={346--351},
  year={2004}
}

@inproceedings{chen2002metamorphic,
  title={Metamorphic testing of programs on partial differential equations: a case study},
  author={Chen, Tsong Yueh and Feng, Jianqiang and Tse, TH},
  booktitle={Computer Software and Applications Conference, 2002. COMPSAC 2002. Proceedings. 26th Annual International},
  booktitle={COMPSAC},
  pages={327--333},
  year={2002},
}

@inproceedings{gotlieb2003AutomatedMetamorphic,
  title={Automated metamorphic testing},
  author={Gotlieb, Arnaud and Botella, Bernard},
  booktitle={Computer Software and Applications Conference, 2003. COMPSAC 2003. Proceedings. 27th Annual International},
  booktitle={COMPSAC},
  pages={34--40},
  year={2003},
}

@inproceedings{murphy2008properties,
  title={Properties of Machine Learning Applications for Use in Metamorphic Testing.},
  author={Murphy, Christian and Kaiser, Gail E and Hu, Lifeng and Wu, Leon},
  booktitle={SEKE},
  pages={867--872},
  year={2008}
}

@article{liu2014effectively,
  title={How effectively does metamorphic testing alleviate the oracle problem?},
  author={Liu, Huai and Kuo, Fei-Ching and Towey, Dave and Chen, Tsong Yueh},
  journal={TSE},
  volume={40},
  number={1},
  pages={4--22},
  year={2014},
}

@article{xie2011testing,
  title={Testing and validating machine learning classifiers by metamorphic testing},
  author={Xie, Xiaoyuan and Ho, Joshua WK and Murphy, Christian and Kaiser, Gail and Xu, Baowen and Chen, Tsong Yueh},
  journal={JSS},
  volume={84},
  number={4},
  pages={544--558},
  year={2011},
}

@techreport{murphy2008improving,
 title = {Improving the dependability of machine learning applications},
 author = {Murphy, Christian and Kaiser, Gail E},
 year = {2010},
 institution = {CS Department, Columbia University},
} 

@InProceedings{psiPaper,
author="Gehr, Timon and Misailovic, Sasa and Vechev, Martin",
title="{PSI}: Exact Symbolic Inference for Probabilistic Programs",
booktitle="Computer Aided Verification",
booktitle="CAV",
year="2016",
pages="62--83",
}

@inproceedings{ChoudharyEtALWEBDIFF, 
author={S. Roy Choudhary and H. Versee and A. Orso}, 
booktitle={2010 IEEE International Conference on Software Maintenance},
booktitle={ICSM},
title={{WEBDIFF}: Automated identification of cross-browser issues in web applications}, 
year={2010}, 
pages={1-10}, 
}

@inproceedings{LiEtAlMultiImplementationTesting,
 author = {Li, Nuo and Hwang, JeeHyun and Xie, Tao},
 title = {Multiple-implementation Testing for XACML Implementations},
 booktitle = {Proceedings of the 2008 Workshop on Testing, Analysis, and Verification of Web Services and Applications},
 booktitle = {TAV-WEB},
 year = {2008},
 pages = {27--33},
} 

@inproceedings{TanejaEtAlMiTV,
 author = {Taneja, Kunal and Li, Nuo and Marri, Madhuri R. and Xie, Tao and Tillmann, Nikolai},
 title = {{MiTV}: Multiple-implementation Testing of User-input Validators for Web Applications},
 booktitle = {Proceedings of the IEEE/ACM International Conference on Automated Software Engineering},
 booktitle = {ASE},
 year = {2010},
 pages = {131--134},
}

@article{mckeeman1998differential,
  title={Differential testing for software},
  author={McKeeman, William M},
  journal={DEC Digital Technical Journal},
  volume={10},
  number={1},
  pages={100--107},
  year={1998}
}

@inproceedings{groce2007randomized,
  title={Randomized differential testing as a prelude to formal verification},
  author={Groce, Alex and Holzmann, Gerard and Joshi, Rajeev},
  booktitle={29th International Conference on Software Engineering},
  booktitle={ICSE},
  pages={621--631},
  year={2007},
}

@inproceedings{xie2007towards,
  title={Towards a framework for differential unit testing of object-oriented programs},
  author={Xie, Tao and Taneja, Kunal and Kale, Shreyas and Marinov, Darko},
  booktitle={Proceedings of the Second International Workshop on Automation of Software Test},
  booktitle={AST},
  year={2007},
}


@inproceedings{HollerEtAlFuzzingWithCodeFragments,
 author = {Holler, Christian and Herzig, Kim and Zeller, Andreas},
 title = {Fuzzing with Code Fragments},
 booktitle = {Proceedings of the 21st USENIX Conference on Security Symposium},
 booktitle = {USENIX Security},
 year = {2012},
 pages = {38--38},
} 

@inproceedings{GodefroidETAlGrammarBasedFuzzing,
 author = {Godefroid, Patrice and Kiezun, Adam and Levin, Michael Y.},
 title = {Grammar-based Whitebox Fuzzing},
 booktitle = {Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 booktitle = {PLDI},
 year = {2008},
 pages = {206--215},
}

@inproceedings{MajumdarAndXuTestGenWithSymbolicGrammars,
 author = {Majumdar, Rupak and Xu, Ru-Gang},
 title = {Directed Test Generation Using Symbolic Grammars},
 booktitle = {Proceedings of the Twenty-second IEEE/ACM International Conference on Automated Software Engineering},
 booktitle = {ASE},
 year = {2007},
 pages = {134--143},
}

@inproceedings{SirerProductionGrammarsInTesting,
 author = {Sirer, Emin G\"{u}n and Bershad, Brian N.},
 title = {Using Production Grammars in Software Testing},
 booktitle = {Proceedings of the 2Nd Conference on Domain-specific Languages},
 booktitle = {DSL},
 year = {1999},
 pages = {1--13},
} 

@ARTICLE{MaurerTestGenerationWithCFG, 
author={P. M. Maurer}, 
journal={IEEE Software}, 
title={Generating test data with enhanced context-free grammars}, 
year={1990}, 
volume={7}, 
number={4}, 
pages={50-55}, 
LONGmonth={July},
}

@inproceedings{godefroid2008automated,
  title={Automated whitebox fuzz testing.},
  author={Godefroid, Patrice and Levin, Michael Y and Molnar, David A and others},
  booktitle={NDSS},
  pages={151--166},
  year={2008}
}

@book{SuttonFuzzingBook,
 author = {Sutton, Michael and Greene, Adam and Amini, Pedram},
 title = {Fuzzing: Brute Force Vulnerability Discovery},
 year = {2007},
 publisher = {Addison-Wesley Professional},
}

@Article{Purdom1972,
author="Purdom, Paul",
title="A sentence generator for testing parsers",
journal="BIT Numerical Mathematics",
year="1972",
LONGmonth="Sep",
volume="12",
number="3",
pages="366--375",
}

@article{MillerEmpirical1990,
 author = {Miller, Barton P. and Fredriksen, Louis and So, Bryan},
 title = {An Empirical Study of the Reliability of UNIX Utilities},
 journal = {CACM},
 volume = {33},
 number = {12},
 LONGmonth = dec,
 year = {1990},
 pages = {32--44},
} 

@inproceedings{ShuDetectingFlawsbyFuzzing,
author="Shu, Guoqiang and Hsu, Yating and Lee, David",
title="Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning",
booktitle="Formal Techniques for Networked and Distributed Systems -- FORTE 2008",
booktitle="FORTE",
year="2008",
pages="299--304",
}

@article{OehlertViolatingAssumptionsWithFuzzing,
 author = {Oehlert, Peter},
 title = {Violating Assumptions with Fuzzing},
 journal = {IEEE Security and Privacy},
 volume = {3},
 number = {2},
 LONGmonth = mar,
 year = {2005},
 pages = {58--62},
} 


@inproceedings{LeETALRandomizedISSTA2015,
 author = {Le, Vu and Sun, Chengnian and Su, Zhendong},
 title = {Randomized Stress-testing of Link-time Optimizers},
 booktitle = {Proceedings of the 2015 International Symposium on Software Testing and Analysis},
 booktitle = {ISSTA},
 year = {2015},
 pages = {327--337},
}

@inproceedings{LidburyETALManyCoreCompilerFuzzing,
 author = {Lidbury, Christopher and Lascu, Andrei and Chong, Nathan and Donaldson, Alastair F.},
 title = {Many-core Compiler Fuzzing},
 booktitle = {Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 booktitle = {PLDI},
 year = {2015},
 pages = {65--76},
}


@inproceedings{LeEtAlEMI,
 author = {Le, Vu and Afshari, Mehrdad and Su, Zhendong},
 title = {Compiler Validation via Equivalence Modulo Inputs},
 booktitle = {Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI},
 year = {2014},
 pages = {216--226},
} 

@inproceedings{UditaPaper, 
author={M. Gligoric and T. Gvero and V. Jagannath and S. Khurshid and V. Kuncak and D. Marinov}, 
booktitle={2010 ACM/IEEE 32nd International Conference on Software Engineering},
booktitle={ICSE},
title={Test generation through programming in UDITA}, 
year={2010}, 
pages={225-234}, 
}

@InProceedings{JaganathEtAlReducingCosts2009,
author="Jagannath, Vilas and Lee, Yun Young and Daniel, Brett and Marinov, Darko",
title="Reducing the Costs of Bounded-Exhaustive Testing",
booktitle="Fundamental Approaches to Software Engineering",
booktitle="FASE",
year="2009",
pages="171--185",
}

@inproceedings{ASTGenPaper,
 author = {Daniel, Brett and Dig, Danny and Garcia, Kely and Marinov, Darko},
 title = {Automated Testing of Refactoring Engines},
 booktitle = {Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering},
 booktitle = {ESEC/FSE},
 year = {2007},
 pages = {185--194},
} 

@inproceedings{WangEtAlPLDI2018,
author = {Wang, Di and Hoffmann, Jan and Reps, Thomas},
 title = {PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs},
 booktitle = {Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI 2018},
 year = {2018},
 pages = {513--528},
 publisher = {ACM},
}



@inproceedings{KozenSemanticsofProbabilisticPrograms, 
author={D. Kozen}, 
booktitle={20th Annual Symposium on Foundations of Computer Science (sfcs 1979)},
booktitle={SFCS},
title={Semantics of probabilistic programs}, 
year={1979}, 
pages={101-114},
}

@inproceedings{herault2004approximate,
  title={Approximate probabilistic model checking},
  author={H{\'e}rault, Thomas and Lassaigne, Richard and Magniette, Fr{\'e}d{\'e}ric and Peyronnet, Sylvain},
  booktitle={International Workshop on Verification, Model Checking, and Abstract Interpretation},
  booktitle={VMCAI},
  pages={73--84},
  year={2004},
}

@article{CourcoubetisComplexityOfProbabilisticVerification1995,
 author = {Courcoubetis, Costas and Yannakakis, Mihalis},
 title = {The Complexity of Probabilistic Verification},
 journal = {JACM},
 volume = {42},
 number = {4},
 LONGmonth = jul,
 year = {1995},
 pages = {857--907},
} 

@inproceedings{kwiatkowska2002prism,
  title={{PRISM}: Probabilistic symbolic model checker},
  author={Kwiatkowska, Marta and Norman, Gethin and Parker, David},
  booktitle={International Conference on Modelling Techniques and Tools for Computer Performance Evaluation},
  booktitle={TOOLS},
  pages={200--204},
  year={2002},
}

@inproceedings{sen2005vesta,
  title={Vesta: A statistical model-checker and analyzer for probabilistic systems},
  author={Sen, Koushik and Viswanathan, Mahesh and Agha, Gul},
  booktitle={QEST},
  booktitle={Quantitative Evaluation of Systems, 2005. Second International Conference on the},
  pages={251--252},
  year={2005},
}

@inproceedings{filieri2011run,
  title={Run-time efficient probabilistic model checking},
  author={Filieri, Antonio and Ghezzi, Carlo and Tamburrelli, Giordano},
  booktitle={Proceedings of the 33rd international conference on software engineering},
  booktitle={ICSE},
  pages={341--350},
  year={2011},
}

@inproceedings{han2007counterexamples,
  title={Counterexamples in probabilistic model checking},
  author={Han, Tingting and Katoen, Joost-Pieter},
  booktitle={International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  booktitle={TACAS},
  pages={72--86},
  year={2007},
}

@inproceedings{VardiSFCS85, 
author = {Vardi, Moshe Y.},
 title = {Automatic Verification of Probabilistic Concurrent Finite State Programs},
 booktitle = {Proceedings of the 26th Annual Symposium on Foundations of Computer Science},
 series = {SFCS '85},
 year = {1985},
 pages = {327--338},
 publisher = {IEEE Computer Society},
}

@inproceedings{ChenETAL2016DifferentialTestingJVM,
  author = {Chen, Yuting and Su, Ting and Sun, Chengnian and Su, Zhendong and Zhao, Jianjun},
title = {Coverage-directed Differential Testing of JVM Implementations},
 booktitle = {Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI '16},
 year = {2016},
 pages = {85--99},
 publisher = {ACM},
}

@inproceedings{ChenETAL2013TamingCompilerFuzzers,
  author = {Chen, Yang and Groce, Alex and Zhang, Chaoqiang and Wong, Weng-Keen and Fern, Xiaoli and Eide, Eric and Regehr, John},
  title = {Taming compiler fuzzers},
booktitle = {Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI '13},
 year = {2013},
 pages = {197--208},
 publisher = {ACM},
}

@article{jackson1996elements,
  title={Elements of style: Analyzing a software design feature with a counterexample detector},
  author={Jackson, Daniel and Damon, Craig A},
  journal={IEEE Transactions on software engineering},
  journal={TSE},
  volume={22},
  number={7},
  pages={484--495},
  year={1996},
}

@online{CCGWebPage,
  title = "{{CCG - random C Code Generator}}",
  key = "CCGWebPage",
  author = "Antoine Balestrat",
  year = {2018},
  note = "\mbox{\small\url{https://github.com/Mrktn/ccg}}",
  lastaccessed = "Jan 28, 2018",
}

@inproceedings{SunETAL2016CompilerWarningDefects,
  author = {Sun, Chengnian and Le, Vu and Su, Zhendong},
title = {Finding and Analyzing Compiler Warning Defects},
 booktitle = {Proceedings of the 38th International Conference on Software Engineering},
 series = {ICSE '16},
 year = {2016},
 pages = {203--213},
 publisher = {ACM},
}

@inproceedings{LeETALDeepCompilerBugs,
 author = {Le, Vu and Sun, Chengnian and Su, Zhendong},
 title = {Finding Deep Compiler Bugs via Guided Stochastic Program Mutation},
 booktitle = {Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications},
 series = {OOPSLA 2015},
 year = {2015},
 pages = {386--399},
 publisher = {ACM},
}

@inproceedings{borges2012symbolic,
  title={Symbolic execution with interval solving and meta-heuristic search},
  author={Borges, Mateus and d'Amorim, Marcelo and Anand, Saswat and Bushnell, David and Pasareanu, Corina S},
  booktitle={Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on},
  pages={111--120},
  year={2012},
  organization={IEEE}
}

@inproceedings{fu2017achieving,
  author={Fu, Zhoulai and Su, Zhendong},
  title = {Achieving High Coverage for Floating-point Code via Unconstrained Programming},
  booktitle = {Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI 2017},
 year = {2017},
 pages = {306--319},
 publisher = {ACM},
}

@inproceedings{ZhangETAL2017SkeletalPrograms,
 author = {Zhang, Qirun and Sun, Chengnian and Su, Zhendong},
 title = {Skeletal program enumeration for rigorous compiler testing},
 booktitle = {Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI 2017},
 year = {2017},
 pages = {347--361},
}

@inproceedings{YangETAL11FindingAndUnderstandingBugsInCCompilers,
  author = {Yang, Xuejun and Chen, Yang and Eide, Eric and Regehr, John},
  title = {Finding and understanding bugs in {C} compilers},
  booktitle = {Proceedings of the 32Nd ACM SIGPLAN Conference on Programming Language Design and Implementation},
  series = {PLDI '11},
  year = {2011},
  pages = {283--294},
  publisher = {ACM}
  }

@inproceedings{regehr2012test,
  author={Regehr, John and Chen, Yang and Cuoq, Pascal and Eide, Eric and Ellison, Chucky and Yang, Xuejun},
  title = {Test-case Reduction for C Compiler Bugs},
  booktitle = {Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation},
  series = {PLDI '12},
  year = {2012},
  pages = {335--346},
 publisher = {ACM}
}

@inproceedings{liew2017floating,
  title={Floating-point symbolic execution: A case study in N-version programming},
  author={Liew, Daniel and Schemmel, Daniel and Cadar, Cristian and Donaldson, Alastair F and Zahl, Rafael and Wehrle, Klaus},
  booktitle={Automated Software Engineering (ASE), 2017 32nd IEEE/ACM International Conference on},
  pages={601--612},
  year={2017},
  organization={IEEE}
}

@inproceedings{ngo2018bounded,
  title={Bounded expectations: resource analysis for probabilistic programs},
  author={Ngo, Van Chan and Carbonneaux, Quentin and Hoffmann, Jan},
  booktitle={Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation},
  pages={496--512},
  year={2018},
  organization={ACM}
}

@inproceedings{HuoAndClauseBrittleAssertions,
 author = {Huo, Chen and Clause, James},
 title = {Improving Oracle Quality by Detecting Brittle Assertions and Unused Inputs in Tests},
 booktitle = {Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering},
 booktitle = {FSE},
 year = {2014},
 pages = {621--631},
 numpages = {11},
}

@inproceedings{DiFrancoEtAlASE2017NumericalBugs,
author = {Di Franco, Anthony and Guo, Hui and Rubio-Gonz\'{a}lez, Cindy},
 title = {A Comprehensive Study of Real-world Numerical Bug Characteristics},
 booktitle = {Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering},
 series = {ASE 2017},
 year = {2017},
 pages = {509--519},
 publisher = {IEEE Press},
}

@inproceedings{belle2016component,
  title={Component Caching in Hybrid Domains with Piecewise Polynomial Densities.},
  author={Belle, Vaishak and Van den Broeck, Guy and Passerini, Andrea},
  booktitle={AAAI},
  pages={3369--3375},
  year={2016}
}

@inproceedings{chasins2017data,
  title={Data-driven synthesis of full probabilistic programs},
  author={Chasins, Sarah and Phothilimthana, Phitchaya Mangpo},
  booktitle={International Conference on Computer Aided Verification},
  pages={279--304},
  year={2017},
  organization={Springer}
}

@inproceedings{nori2015efficient,
  title={Efficient synthesis of probabilistic programs},
  author={Nori, Aditya V and Ozair, Sherjil and Rajamani, Sriram K and Vijaykeerthy, Deepak},
  booktitle = {Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation},
  series = {PLDI '15},
  year = {2015},
  pages = {208--217},
  publisher = {ACM},
}

@inproceedings{bornholt2014uncertain,
  title={Uncertain\textless{}T\textgreater{}: A first-order type for uncertain data},
  author={Bornholt, James and Mytkowicz, Todd and McKinley, Kathryn S},
  booktitle = {Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems},
  series = {ASPLOS '14},
  year = {2014},
  pages={51--66},
}

@article{zhang2018empirical,
  title={An Empirical Study on TensorFlow Program Bugs},
  author={Zhang, Yuhao and Chen, Yifan and Cheung, Shing-Chi and Xiong, Yingfei and Zhang, Lu},
  series={ISSTA},
  journal={International Symposium on Software Testing and Analysis},
  year={2018}
}


@inproceedings{bouissou2016uncertainty,
  title={Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities},
  author={Bouissou, Olivier and Goubault, Eric and Putot, Sylvie and Chakarov, Aleksandar and Sankaranarayanan, Sriram},
  booktitle={International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages={225--243},
  year={2016},
  organization={Springer}
}

@inproceedings{holtzen2018sound,
  title={Sound Abstraction and Decomposition of Probabilistic Programs},
  author={Holtzen, Steven and Broeck, Guy and Millstein, Todd},
  booktitle={International Conference on Machine Learning},
  pages={2004--2013},
  year={2018}
}


%% Newly added

@inproceedings{Benton:2004:SRC:964001.964003,
 author = {Benton, Nick},
 title = {Simple Relational Correctness Proofs for Static Analyses and Program Transformations},
 booktitle = {Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '04},
 year = {2004},
 isbn = {1-58113-729-X},
 location = {Venice, Italy},
 pages = {14--25},
 publisher = {ACM},
}

@article{Yang:2007:RSL:1235896.1236122,
 author = {Yang, Hongseok},
 title = {Relational Separation Logic},
 journal = {Theor. Comput. Sci.},
 issue_date = {April, 2007},
 volume = {375},
 number = {1-3},
 month = apr,
 year = {2007},
 issn = {0304-3975},
 pages = {308--334},
 publisher = {Elsevier Science Publishers Ltd.},
}

@inproceedings{Sousa:2016:CHL:2908080.2908092,
 author = {Sousa, Marcelo and Dillig, Isil},
 title = {Cartesian Hoare Logic for Verifying K-safety Properties},
 booktitle = {Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI '16},
 year = {2016},
 isbn = {978-1-4503-4261-2},
 location = {Santa Barbara, CA, USA},
 pages = {57--69},
 publisher = {ACM},
}

@article{Barthe:2009:FCC:1594834.1480894,
 author = {Barthe, Gilles and Gr{\'e}goire, Benjamin and Zanella B{\'e}guelin, Santiago},
 title = {Formal Certification of Code-based Cryptographic Proofs},
 journal = {SIGPLAN Not.},
 issue_date = {January 2009},
 volume = {44},
 number = {1},
 month = jan,
 year = {2009},
 issn = {0362-1340},
 pages = {90--101},
 publisher = {ACM},
}

@inproceedings{Bellare:2006:STE:2171160.2171195,
 author = {Bellare, Mihir and Rogaway, Phillip},
 title = {The Security of Triple Encryption and a Framework for Code-based Game-playing Proofs},
 booktitle = {Proceedings of the 24th Annual International Conference on The Theory and Applications of Cryptographic Techniques},
 series = {EUROCRYPT'06},
 year = {2006},
 isbn = {3-540-34546-9, 978-3-540-34546-6},
 location = {St. Petersburg, Russia},
 pages = {409--426},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
}

@misc{cryptoeprint:2004:332,
    author = {Victor Shoup},
    title = {Sequences of games: a tool for taming complexity in security proofs},
    howpublished = {Cryptology ePrint Archive, Report 2004/332},
    year = {2004},
    note = {\url{https://eprint.iacr.org/2004/332}},
}

@article{doi:10.1137/1035121,
author = {Kallenberg, O.},
title = {Lectures on the Coupling Method (Torgny Lindvall)},
journal = {SIAM Review},
volume = {35},
number = {3},
pages = {525-527},
year = {1993},
doi = {10.1137/1035121},
URL = {https://doi.org/10.1137/1035121},
eprint = {https://doi.org/10.1137/1035121}
}

@article{Larsen:1991:BTP:117588.117589,
 author = {Larsen, Kim G. and Skou, Arne},
 title = {Bisimulation Through Probabilistic Testing},
 journal = {Inf. Comput.},
 issue_date = {Sept. 1991},
 volume = {94},
 number = {1},
 month = sep,
 year = {1991},
 issn = {0890-5401},
 pages = {1--28},
 publisher = {Academic Press, Inc.},
}

@INPROCEEDINGS{151651, 
author={B. Jonsson and K. G. Larsen}, 
booktitle={[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science}, 
title={Specification and refinement of probabilistic processes}, 
year={1991}, 
volume={}, 
number={}, 
pages={266-277}, 
month={July},}

@article{Segala:1995:PSP:642068.642075,
 author = {Segala, Roberto and Lynch, Nancy},
 title = {Probabilistic Simulations for Probabilistic Processes},
 journal = {Nordic J. of Computing},
 issue_date = {Summer 1995},
 volume = {2},
 number = {2},
 month = jun,
 year = {1995},
 issn = {1236-6064},
 pages = {250--273},
 publisher = {Publishing Association Nordic Journal of Computing},
}

@article{strassen1965,
author = "Strassen, V.",
doi = "10.1214/aoms/1177700153",
fjournal = "The Annals of Mathematical Statistics",
journal = "Ann. Math. Statist.",
month = "04",
number = "2",
pages = "423--439",
publisher = "The Institute of Mathematical Statistics",
title = "The Existence of Probability Measures with Given Marginals",
url = "https://doi.org/10.1214/aoms/1177700153",
volume = "36",
year = "1965"
}

@article{Desharnais:2002:BLM:777505.777508,
 author = {Desharnais, Jos{\'e}e and Edalat, Abbas and Panangaden, Prakash},
 title = {Bisimulation for Labelled Markov Processes},
 journal = {Inf. Comput.},
 issue_date = {December 15, 2002},
 volume = {179},
 number = {2},
 month = dec,
 year = {2002},
 issn = {0890-5401},
 pages = {163--193},
 publisher = {Academic Press, Inc.},
}

@article{Desharnais:2003:ALM:873920.873928,
 author = {Desharnais, Jos{\'e}e and Gupta, Vineet and Jagadeesan, Radha and Panangaden, Prakash},
 title = {Approximating Labelled Markov Processes},
 journal = {Inf. Comput.},
 issue_date = {July 10, 2003},
 volume = {184},
 number = {1},
 month = jul,
 year = {2003},
 pages = {160--200},
 publisher = {Academic Press, Inc.},
}

@inproceedings{fijalkow2017expressiveness,
  title={Expressiveness of probabilistic modal logics, revisited},
  author={Fijalkow, Nathana{\"e}l and Klin, Bartek and Panangaden, Prakash},
  booktitle={LIPIcs-Leibniz International Proceedings in Informatics},
  volume={80},
  year={2017},
  organization={Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik}
}

@article{DBLP:journals/corr/abs-1103-4577,
  author    = {Deng, Yuxin and Du, Wenjie},
  title     = {Logical, Metric, and Algorithmic Characterisations of Probabilistic
               Bisimulation},
  journal={arXiv preprint 1103.4577},
  year={2011}
}

@inproceedings{Barthe:2014:PRV:2535838.2535847,
 author = {Barthe, Gilles and Fournet, C{\'e}dric and Gr{\'e}goire, Benjamin and Strub, Pierre-Yves and Swamy, Nikhil and Zanella-B{\'e}guelin, Santiago},
 title = {Probabilistic Relational Verification for Cryptographic Implementations},
 booktitle = {Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '14},
 year = {2014},
 pages = {193--205},
 numpages = {13},
 publisher = {ACM},
}



@article{gretz2014operational,
  title={Operational versus weakest pre-expectation semantics for the probabilistic guarded command language},
  author={Gretz, Friedrich and Katoen, Joost-Pieter and McIver, Annabelle},
  journal={Performance Evaluation},
  volume={73},
  pages={110--132},
  year={2014},
  publisher={Elsevier}
}


@inproceedings{rosenblumfse,
 author = {Llerena, Yamilet and Böhme, Marcel and Brünink, Marc and Su, Guoxin and  Rosenblum, David},
 title = {Verifying the Long-Run Behavior of Probabilistic System
                  Models in the Presence of Uncertainty},
 booktitle = {Symposium of Foundations of Software Engineering},
 series = {FSE '18},
 year = {2018},
 publisher = {ACM},
}


@book{huber1981robust,
  title={Robust statistics},
  author={Huber, Peter and Ronchetti, Elvezio},
  publisher={Wiley, New York},
  year={1981}
}

@inproceedings{cusumano2018incremental,
  title={Incremental inference for probabilistic programs},
  author={Cusumano-Towner, Marco and Bichsel, Benjamin and Gehr, Timon and Vechev, Martin and Mansinghka, Vikash K},
  booktitle={Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation},
  pages={571--585},
  year={2018},
  organization={ACM}
}

@article{stanley2018hardware,
  title={A Hardware Platform for Efficient Multi-Modal Sensing with Adaptive Approximation},
  author={Stanley-Marbell, Phillip and Rinard, Martin},
  journal={arXiv preprint arXiv:1804.09241},
  year={2018}
}

@article{he2018verifying,
  title={Verifying relative safety, accuracy, and termination for program approximations},
  author={He, Shaobo and Lahiri, Shuvendu K and Rakamari{\'c}, Zvonimir},
  journal={Journal of Automated Reasoning},
  volume={60},
  number={1},
  pages={23--42},
  year={2018},
  publisher={Springer}
}

@misc{warp,
	Howpublished = {https://github.com/physical-computation/Warp},
	Title = {Warp Design Online}
}


@inproceedings{malacaria,
 author = { Malacaria,Pasquale and  Khouzani, Mhr and  Pasareanu, Corina and  Phan, Quoc-Sang and  Luckow, Kasper },
 title = {Symbolic Side-Channel Analysis for Probabilistic Programs},
 booktitle = {31st IEEE Computer Security Foundations Symposium},
 series = {CSF '18},
 year = {2018},
 publisher = {ACM},
}


@book{koller2009probabilistic,
  title={Probabilistic graphical models: principles and techniques},
  author={Koller, Daphne and Friedman, Nir},
  year={2009},
  publisher={MIT press}
}

@article{masreliez1977robust,
  title={Robust Bayesian estimation for the linear model and robustifying the Kalman filter},
  author={Masreliez, Cl and Martin, R},
  journal={IEEE transactions on Automatic Control},
  volume={22},
  number={3},
  pages={361--371},
  year={1977},
  publisher={IEEE}
}

@book{mcelreath2020statistical,
  title={Statistical rethinking: A Bayesian course with examples in R and Stan},
  author={McElreath, Richard},
  year={2020},
  publisher={Chapman and Hall/CRC}
}

@article{akaike1974new,
  title={A new look at the statistical model identification},
  author={Akaike, Hirotugu},
  journal={IEEE transactions on automatic control},
  volume={19},
  number={6},
  pages={716--723},
  year={1974},
  publisher={Ieee}
}

@book{ando2010bayesian,
  title={Bayesian model selection and statistical modeling},
  author={Ando, Tomohiro},
  year={2010},
  publisher={CRC Press}
}

@article{watanabe2010asymptotic,
  title={Asymptotic equivalence of Bayes cross validation and widely applicable information criterion in singular learning theory.},
  author={Watanabe, Sumio and Opper, Manfred},
  journal={Journal of machine learning research},
  volume={11},
  number={12},
  year={2010}
}

@article{stone1974cross,
  title={Cross-validatory choice and assessment of statistical predictions},
  author={Stone, Mervyn},
  journal={Journal of the royal statistical society: Series B (Methodological)},
  volume={36},
  number={2},
  pages={111--133},
  year={1974},
  publisher={Wiley Online Library}
}

@article{kass1995bayes,
  title={Bayes factors},
  author={Kass, Robert E and Raftery, Adrian E},
  journal={Journal of the american statistical association},
  volume={90},
  number={430},
  pages={773--795},
  year={1995},
  publisher={Taylor \& Francis}
}

@article{burkner2020approximate,
  title={Approximate leave-future-out cross-validation for Bayesian time series models},
  author={B{\"u}rkner, Paul-Christian and Gabry, Jonah and Vehtari, Aki},
  journal={Journal of Statistical Computation and Simulation},
  volume={90},
  number={14},
  pages={2499--2523},
  year={2020},
  publisher={Taylor \& Francis}
}

@inproceedings{huang2021aqua,
  title={Aqua: Automated quantized inference for probabilistic programs},
  author={Huang, Zixin and Dutta, Saikat and Misailovic, Sasa},
  booktitle={Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18--22, 2021, Proceedings 19},
  pages={229--246},
  year={2021},
  organization={Springer}
}
