stancon.bib

@book{GelmanHill,
author = {Gelman, Andrew. and Hill, Jennifer},
isbn = {9780521686891},
pages = {625},
publisher = {Cambridge University Press},
title = {{Data analysis using Regression and Multilevel/Hierarchical Models}},
year = {2007}
}

@misc{Gorinova,
  title={{Probabilistic Programming with SlicStan}},
  author={Gorinova, Maria},
  year = {2017},
  howpublished = {\url{http://homepages.inf.ed.ac.uk/s1207807/files/slicstan.pdf}}
}

@article{Neals,
  title={Slice sampling},
  author={Neal, Radford M},
  journal={Annals of statistics},
  pages={705--741},
  year={2003},
  publisher={JSTOR}
}

@article{InfoFlowVolpano,
  title={A sound type system for secure flow analysis},
  author={Volpano, Dennis and Irvine, Cynthia and Smith, Geoffrey},
  journal={Journal of computer security},
  volume={4},
  number={2-3},
  pages={167--187},
  year={1996},
  publisher={IOS Press}
}

@article{InfoFlowSurvey,
  title={Language-based information-flow security},
  author={Sabelfeld, Andrei and Myers, Andrew C},
  journal={IEEE Journal on selected areas in communications},
  volume={21},
  number={1},
  pages={5--19},
  year={2003},
  publisher={IEEE}
}

@article{InfoFlowSmithPrinciples,
  title={Principles of secure information flow analysis},
  author={Smith, Geoffrey},
  journal={Malware Detection},
  pages={291--307},
  year={2007},
  publisher={Springer}
}

@inproceedings{GoguenMeseguer,
  title={Security policies and security models},
  author={Goguen, Joseph A and Meseguer, Jos{\'e}},
  booktitle={Security and Privacy, 1982 IEEE Symposium on},
  pages={11--11},
  year={1982},
  organization={IEEE}
}

@misc{StanManual,
  title={Stan Modeling Language: User's Guide and Reference Manual},
  author={{Stan Development Team}},
  year={2017},
  publisher={Version 2.17.0},
  howpublished={\url{http://mc-stan.org}}
}

@misc{Bayesplot,
  title={bayesplot: Plotting for Bayesian models},
  author={{Stan Development Team}},
  year={2017},
  note={R package version 1.4.0},
  howpublished={\url{http://mc-stan.org/bayesplot/}}
}

@misc{ShinyStan,
  title={shinystan: Interactive Visual and Numerical Diagnostics and Posterior Analysis for Bayesian Models},
  author={{Stan Development Team}},
  year={2017},
  note={R package version 2.4.0},
  howpublished={\url{http://mc-stan.org/shinystan/}}
}

@misc{DiscoursePost,
  title={Generalizing the {Stan} language for {Stan} 3},
  author={Carpenter, Bob},
  year={2017},
  howpublished={\url{http://discourse.mc-stan.org/t/generalizing-the-stan-language-for-stan-3/1599}}
}