Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Minsung Cho
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
ICSE 2024 profile
PLDI 2023 profile
Registered user since Mon 28 Nov 2022
Name:
Minsung Cho
Country:
United States
Contributions
2025
SPLASH
Author of Scaling Optimization Over Uncertainty via Compilation within the OOPSLA-track
2024
Mining Software Repositories
Author of Thirty-Three Years of Mathematicians and Software Engineers: A Case Study of Domain Expertise and Participation in Proof Assistant Ecosystems within the Technical Papers-track
2023
DRAGSTERS
Author of Scaling Decision--Theoretic Probabilistic Programming Through Factorization within the DRAGSTERS 2023-track
PLDI
Author of Scaling Decision-Theoretic Probabilistic Programs Through Factorization within the SRC-track
Share
x
Mon 3 Nov 04:50