Automatic Alignment of Sequential Monte Carlo Inference in Higher-Order Probabilistic Programs

Metropolis, N., Rosenbluth, A.W., Rosenbluth, M.N., Teller, A.H., Teller, E.: Equation of state calculations by fast computing machines. The Journal of Chemical Physics 21

1953

Earlier work this paper cites.

Hastings, W.K.: Monte carlo sampling methods using markov chains and their applications. Biometrika 57

1970

Earlier work this paper cites.

Steele, Jr., G.L.: Rabbit: A compiler for scheme. Tech. rep., Cambridge, MA, USA (1978)

1978

Earlier work this paper cites.

Pearl, J.: Bayesian networks: A model of self-activated memory for evidential reasoning. In: Proceedings of the 7th Conference of the Cognitive Science Society, 1985 (1985)

1985

Earlier work this paper cites.

Shivers, O.: Control flow analysis in scheme. In: Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation (1988)

1988

Earlier work this paper cites.

Shivers, O.: Control-flow Analysis of Higher-order Languages or Taming Lambda. Ph.D. thesis (1991)

1991

Earlier work this paper cites.

Nee, S., May, R., Harvey, P.: The reconstructed evolutionary process. Philosophical transactions of the Royal Society of London. Series B, Biological sciences 344

1994

Earlier work this paper cites.

Liu, J.S., Chen, R.: Sequential monte carlo methods for dynamic systems. Journal of the American Statistical Association 93

1998

Earlier work this paper cites.

Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer-Verlag (1999)

1999

Cited alongside, same era.

Doucet, A., de Freitas, N., Gordon, N.: An Introduction to Sequential Monte Carlo Methods. Springer New York (2001)

2001

Cited alongside, same era.

Douc, R., Cappe, O.: Comparison of resampling schemes for particle filtering. In: ISPA 2005. Proceedings of the 4th International Symposium on Image and Signal Processing and Analysis. (2005)

2005

Cited alongside, same era.

Bishop, C.M.: Pattern Recognition and Machine Learning (Information Science and Statistics). Springer-Verlag, Berlin, Heidelberg (2006)

2006

Cited alongside, same era.

Nee, S.: Birth-death models in macroevolution. Annual Review of Ecology, Evolution, and Systematics 37

2006

Cited alongside, same era.

Gordon, A.D., Henzinger, T.A., Nori, A.V., Rajamani, S.K.: Probabilistic programming. In: Proceedings of the on Future of Software Engineering (2014)

2014

Later among the works it cites.

Wood, F., van de Meent, J.W., Mansinghka, V.: A new approach to probabilistic programming inference. In: Proceedings of the 17th International conference on Artificial Intelligence and Statistics (2014)

2014

Later among the works it cites.

Borgström, J., Dal Lago, U., Gordon, A.D., Szymczak, M.: A lambda-calculus foundation for universal probabilistic programming. In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (2016)

2016

Later among the works it cites.

Ronquist, F., Lartillot, N., Phillips, M.: Closing the gap between rocks and clocks using total-evidence dating. Philosophical Transactions of the Royal Society B: Biological Sciences 371

2016

Later among the works it cites.