Skip to content

Cameron E. Freer

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

13

Venues

8

Active years

2009–2026

Best venue rank

A*

Where they publish

Papers

13 indexed papers, newest first.

YearVenueTitleAuthors
2026CiEComputable Cofinal Frass Limits.Nathanael L. Ackerman, Cameron E. Freer, Mostafa Mirabi
2026ITPThree Roads to de Finetti's Theorem in Lean 4 (Short Paper).Cameron E. Freer
2022LICSComputable PAC Learning of Continuous Features.Nathanael L. Ackerman, Julian Asilis, Jieqi Di, Cameron E. Freer, Jean-Baptiste Tristan
2020AISTATSThe Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions.Feras Saad, Cameron E. Freer, Martin C. Rinard, Vikash Mansinghka
2020LFCSComputability of Algebraic and Definable Closure.Nathanael L. Ackerman, Cameron E. Freer, Rehana Patel
2019AISTATSA Family of Exact Goodness-of-Fit Tests for High-Dimensional Discrete Distributions.Feras A. Saad, Cameron E. Freer, Nathanael L. Ackerman, Vikash K. Mansinghka
2019LICSAlgorithmic barriers to representing conditional independence.Nathanael L. Ackerman, Jeremy Avigad, Cameron E. Freer, Daniel M. Roy, Jason M. Rute
2018ICALPThe Beta-Bernoulli process and algebraic effects.Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy
2017WoLLICGraph Turing Machines.Nathanael L. Ackerman, Cameron E. Freer
2015LICSFeedback Turing Computability, and Turing Computability as Feedback.Nathanael L. Ackerman, Cameron E. Freer, Robert S. Lubarsky
2013TAMCA Notion of a Computational Step for Partial Combinatory Algebras.Nathanael L. Ackerman, Cameron E. Freer
2011LICSNoncomputable Conditional Distributions.Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy
2009CiEComputable Exchangeable Sequences Have Computable de Finetti Measures.Cameron E. Freer, Daniel M. Roy