Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Benjamin Chung
conf.researchr.org general profile
ECOOP 2015 profile
ECOOP 2019 profile
ECOOP and ISSTA 2018 profile
ECOOP and ISSTA 2023 profile
ICFP 2019 profile
ICFP 2021 profile
ICFP/SPLASH 2025 profile
ISSTA/ECOOP 2024 profile
PLDI 2024 profile
SPLASH 2012 profile
SPLASH 2016 profile
SPLASH 2017 profile
SPLASH 2018 profile
SPLASH 2019 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2022 profile
SPLASH 2023 profile
Registered user since Sat 19 Oct 2019
Name:
Benjamin Chung
Affiliation:
JuliaHub
Contributions
2025
SPLASH
Committee Member in OOPSLA Review Committee within the OOPSLA-track
2024
ICOOOLPS
Committee Member in Program Committee within the ICOOOLPS 2024-track
MPLR
Committee Member in Program Committee within the MPLR 2024-track
PLDI
Author of Decidable Subtyping of Existential Types for Julia within the PLDI Research Papers-track
2023
SPLASH
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ICOOOLPS
Invited Speaker of A Retrospective on Julia within the ICOOOLPS 2023-track
2022
SPLASH
Video Co-Chair in Organizing Committee
2021
SPLASH
Committee Member in External Review Committee within the OOPSLA-track
Hybridization and Video Co-Chair in Organizing Committee
ICFP
Committee Member in Virtualization Committee
Video Co-Chair in Organizing Committee
2020
SPLASH
AV Co-Chair in Organizing Committee
Author of World Age in Julia: Optimizing Method Dispatch in the Presence of Eval within the OOPSLA-track
2019
SPLASH
Video Chair in Organizing Committee
ICFP
Video Co-Chair in Organizing Committee
ECOOP
Author of Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples within the Research Papers-track
Video Chair in Organizing Committee
2018
PLATEAU
Author of Julia: Dynamism and Performance Reconciled by Design - Preview within the PLATEAU 2018-track
SPLASH
Author of Julia Subtyping: a Rational Reconstruction within the OOPSLA-track
Video Chair in Organizing Committee
Author of Julia: Dynamism and Performance Reconciled by Design within the OOPSLA-track
Author of Julia Subtyping: a Rational Reconstruction within the Artifacts-track
FTfJP
Author of Monotonic Gradual Typing in a Common Calculus within the FTfJP-track
ECOOP/ISSTA
Committee Member in Program Committee within the Doc Symposium-track
2017
NOOL
Author of Towards Typing Julia within the NOOL 2017-track
2016
NOOL
Author of Static Typing Without Static Types - Typing Inheritance from the Bottom Up within the NOOL-track
2015
ECOOP
Author of A Theory of Tagged Objects within the Artifacts-track
2012
SPLASH
Author of Benchmarking Typestate-Oriented Programming Languages within the ACM Student Research Competition-track
Share
x
Mon 30 Dec 15:37
