Cameron E. Freer

43 papers A* 5A 3C 3Misc 1Journal 30
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Nathanael L. Ackerman, Cameron E. Freer, Mostafa Mirabi
2025 J jnl
Logica Universalis
Nathanael L. Ackerman, Cameron E. Freer, Mohammad Golshani, Mostafa Mirabi, Rehana Patel
2024 J jnl
CoRR
Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, Vikash K. Mansinghka
2024 J jnl
Proc. ACM Program. Lang.
Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, Vikash K. Mansinghka
2024 J jnl
Proc. ACM Program. Lang.
Nathanael L. Ackerman, Cameron E. Freer, Younesse Kaddar, Jacek Karwowski, Sean K. Moss, Daniel M. Roy, Sam Staton, Hongseok Yang
2023 J jnl
CoRR
Nathanael L. Ackerman, Cameron E. Freer, Younesse Kaddar, Jacek Karwowski, Sean K. Moss, Daniel M. Roy, Sam Staton, Hongseok Yang
2022 A* conf
LICS
Nathanael L. Ackerman, Julian Asilis, Jieqi Di, Cameron E. Freer, Jean-Baptiste Tristan
2021 J jnl
CoRR
Nathanael L. Ackerman, Cameron E. Freer, Rehana Patel
2021 J jnl
J. Log. Comput.
Nathanael L. Ackerman, Cameron E. Freer, Rehana Patel
2021 J jnl
CoRR
Nathanael L. Ackerman, Julian Asilis, Jieqi Di, Cameron E. Freer, Jean-Baptiste Tristan
2020 J jnl
J. Log. Comput.
Nathanael L. Ackerman, Cameron E. Freer, Robert S. Lubarsky
2020 Misc conf
LFCS
Nathanael L. Ackerman, Cameron E. Freer, Rehana Patel
2020 J jnl
CoRR
Span Spanbauer, Cameron E. Freer, Vikash Mansinghka
2020 J jnl
CoRR
Feras A. Saad, Cameron E. Freer, Martin C. Rinard, Vikash K. Mansinghka
2020 J jnl
Proc. ACM Program. Lang.
Feras A. Saad, Cameron E. Freer, Martin C. Rinard, Vikash K. Mansinghka
2020 A conf
AISTATS
Feras Saad, Cameron E. Freer, Martin C. Rinard, Vikash Mansinghka
2020 J jnl
CoRR
Feras A. Saad, Cameron E. Freer, Martin C. Rinard, Vikash K. Mansinghka
2019 A conf
AISTATS
Feras A. Saad, Cameron E. Freer, Nathanael L. Ackerman, Vikash K. Mansinghka
2019 J jnl
CoRR
Feras A. Saad, Cameron E. Freer, Nathanael L. Ackerman, Vikash K. Mansinghka
2019 A* conf
LICS
Nathanael L. Ackerman, Jeremy Avigad, Cameron E. Freer, Daniel M. Roy, Jason M. Rute
2019 J jnl
Log. Methods Comput. Sci.
Nathanael L. Ackerman, Cameron E. Freer, Robert S. Lubarsky
2019 J jnl
J. ACM
Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy
2018 J jnl
CoRR
Nathanael L. Ackerman, Jeremy Avigad, Cameron E. Freer, Daniel M. Roy, Jason M. Rute
2018 A* conf
ICALP
Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy
2018 J jnl
CoRR
Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy
2017 J jnl
Ann. Pure Appl. Log.
Nathanael L. Ackerman, Cameron E. Freer, Aleksandra Kwiatkowska, Rehana Patel
2017 J jnl
CoRR
Nathanael L. Ackerman, Cameron E. Freer, Robert S. Lubarsky
2017 C conf
WoLLIC
Nathanael L. Ackerman, Cameron E. Freer
2017 J jnl
Math. Struct. Comput. Sci.
Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy
2017 J jnl
CoRR
Nathanael L. Ackerman, Cameron E. Freer
2016 J jnl
Eur. J. Comb.
Nathanael L. Ackerman, Cameron E. Freer, Jaroslav Nesetril, Rehana Patel
2015 A* conf
LICS
Nathanael L. Ackerman, Cameron E. Freer, Robert S. Lubarsky
2015 J jnl
CoRR
Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy
2014 J jnl
Comput.
Cameron E. Freer, Bjørn Kjos-Hanssen, André Nies, Frank Stephan
2014 ch.
Turing's Legacy
Cameron E. Freer, Daniel M. Roy, Joshua B. Tenenbaum
2013 C conf
TAMC
Nathanael L. Ackerman, Cameron E. Freer
2012 J jnl
Ann. Pure Appl. Log.
Cameron E. Freer, Daniel M. Roy
2012 J jnl
CoRR
Cameron E. Freer, Daniel M. Roy, Joshua B. Tenenbaum
2011 A* conf
LICS
Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy
2010 J jnl
CoRR
Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy
2010 A conf
AISTATS
Cameron E. Freer, Daniel M. Roy
2009 C conf
CiE
Cameron E. Freer, Daniel M. Roy
2009 J jnl
CoRR
Cameron E. Freer, Daniel M. Roy