Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Joshua B. Tenenbaum
conf.researchr.org general profile
PLDI 2018 profile
PLDI 2021 profile
PLDI 2022 profile
POPL 2023 profile
POPL 2024 profile
POPL 2025 profile
Not registered as user
Name:
Joshua B. Tenenbaum
Country:
United States
Affiliation:
Massachusetts Institute of Technology
Contributions
2025
LAFI
Author of A Domain-Specific PPL for Reasoning about Reasoning (or: a memo on memo) within the LAFI 2025-track
Author of Lazy Knowledge Compilation for Discrete PPLs within the LAFI 2025-track
2024
LAFI
Author of Toward Probabilistic Coarse-to-Fine Program Synthesis within the LAFI 2024-track
2023
POPL
Author of Top-Down Synthesis for Library Learning within the POPL-track
Author of Combining Functional and Automata Synthesis to Discover Causal Reactive Programs within the POPL-track
2022
PLDI
Author of (PLDI 2021) DreamCoder: Bootstrapping inductive program synthesis with wake-sleep library learning within the SIGPLAN Track-track
2021
PLDI
Author of DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning within the PLDI-track
2018
MAPS
Author of The Three Pillars of Machine Programming within the MAPL 2018-track
Share
x
Sun 22 Dec 13:44