Publications
For a full list, see my Google Scholar page.
Stan
I’m best known for Stan. This is the top-level systems overview paper.
- Carpenter B, Gelman A, Hoffman MD, Lee D, Goodrich B, Betancourt M, Brubaker M, Guo J, Li P, Riddell A. 2017. Stan: A Probabilistic Programming Language. Journal of Statistical Software. 2017 76(1).
I also wrote the bulk of the language documentation.
- Stan Development Team. 2021. Stan Language User’s Guide and Stan Language Reference Manual and Stan Functions Reference.
I developed the first version of our automatic differentiation library; it came a long way before this paper, and has come a long way since.
- Carpenter, B., Hoffman, M.D., Brubaker, M., Lee, D., Li, P. and Betancourt, M. 2015. The Stan Math Library: Reverse-mode automatic differentiation in C++. arXiv 1509.07164.
Bayesian Methodology
This paper gathers a bunch of thoughts on how we actually do Bayesian data analysis and predictive inference; we have a contract to turn this into an open-access book with CRC.
- Gelman, A., Vehtari, A., Simpson, D., Margossian, C.C., Carpenter, B., Yao, Y., Kennedy, L., Gabry, J., Bürkner, P.C. and Modrák, M., 2020. Bayesian workflow. arXiv 2011.01808.
Applied Statistics
Recent work on adjusting for non-representative samples with noisy testing.
- Gelman, A. and Carpenter, B., 2020. Bayesian analysis of tests with unknown specificity and sensitivity. Journal of the Royal Statistical Society: Series C 69(5).
I’ve spent a lot of time thinking about crowdsourced and “expert” data coding/labeling/annotation:
- Passonneau, R.J. and Carpenter, B., 2014. The benefits of a model of annotation. Transactions of the Association for Computational Linguistics 2:311–326.
Natural language and programming languages
My very first paper was built up my fixing the typed data structures in Gazdar et al.’s book.
- Gazdar, G., Pullum, G.K., Carpenter, R., Hukari, T.E. and Levine, R.D. 1988. Category structures. Computational Linguistics 14(1).
I kept at data structures for linguistics, eventually writing a whole book treating them as base types for logic programs.
- Carpenter, B., 2005. The Logic of Typed Feature Structures: with Applications to Unification Grammars, Logic Programs and Constraint Resolution. Cambridge University Press.
I worked on type theory, linear logic, and categorial grammars, which I brought together in this monograph.
- Carpenter, B. 1997. Type-Logical Semantics. MIT Press.