Minsung Cho -

Registered user since Mon 28 Nov 2022

Name:Minsung Cho

Bio:

I’m a PhD student at Northeastern University interested in effect handlers for modular reasoning about probability and database queries.

Country:United States

Affiliation:Northeastern University

Personal website: https://cho.minsung.pl

Contributions

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