Benjamin Chung

22 papers A 3B 1Journal 13Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Ignition Point Reachability for Aerodynamically-Controlled Reusable Launch Vehicles.
CoRR
Benjamin Chung, Kazuya Echigo, Behçet Açikmese
2024 J jnl
Decidable Subtyping of Existential Types for Julia.
Proc. ACM Program. Lang.
Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
2024 — conf
Use Site Checking Considered Harmful.
Onward!
Dimi Racordon, Benjamin Chung
2023 — conf
A Retrospective on Julia (Invited Talk).
ICOOOLPS@ECOOP
Benjamin Chung
2023 J jnl
A Type System for Julia.
CoRR
Benjamin Chung
2021 B conf
ProGNet: prostate gland segmentation on MRI with deep learning.
Image Processing
Simon John Christoph Soerensen, Richard E. Fan, Arun Seetharaman, Leo C. Chen, Wei Shao, Indrani Bhattacharya, Michael Borre, Benjamin Chung, Katherine J. To'o, Geoffrey A. Sonn, Mirabela Rusu
2021 J jnl
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version).
CoRR
Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
2021 J jnl
Type stability in Julia: avoiding performance pathologies in JIT compilation.
Proc. ACM Program. Lang.
Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
2020 J jnl
World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version).
CoRR
Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek
2020 J jnl
World age in Julia: optimizing method dispatch in the presence of eval.
Proc. ACM Program. Lang.
Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek
2019 A conf
Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl).
ECOOP
Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek
2019 J jnl
On Julia's Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact).
Dagstuhl Artifacts Ser.
Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek
2018 J jnl
Julia subtyping: a rational reconstruction.
Proc. ACM Program. Lang.
Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, Jan Vitek
2018 J jnl
Julia: dynamism and performance reconciled by design.
Proc. ACM Program. Lang.
Jeff Bezanson, Jiahao Chen, Benjamin Chung, Stefan Karpinski, Viral B. Shah, Jan Vitek, Lionel Zoubritzky
2018 J jnl
KafKa: Gradual Typing for Objects (Artifact).
Dagstuhl Artifacts Ser.
Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek
2018 A conf
KafKa: Gradual Typing for Objects.
ECOOP
Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek
2018 — conf
Monotonic gradual typing in a common calculus.
ISSTA/ECOOP Workshops
Benjamin Chung, Jan Vitek
2016 J jnl
A systematic analysis of the science of sandboxing.
PeerJ Comput. Sci.
Michael Maass, Adam Sales, Benjamin Chung, Joshua Sunshine
2015 J jnl
A Theory of Tagged Objects (Artifact).
Dagstuhl Artifacts Ser.
Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin, Benjamin Chung
2014 A conf
Safely Composable Type-Specific Languages.
ECOOP
Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
2014 — conf
Type-specific languages to fight injection attacks.
HotSoS
Darya Kurilova, Cyrus Omar, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
2013 — conf
Type-directed, whitespace-delimited parsing for embedded DSLs.
GlobalDSL@ECOOP
Cyrus Omar, Benjamin Chung, Darya Kurilova, Alex Potanin, Jonathan Aldrich