Type-directed, whitespace-delimited parsing for embedded DSLs. - Cyrus Omar; Benjamin Chung; Darya Kurilova; Alex Potanin; Jonathan Aldrich (GlobalDSL@ECOOP, 2013)

Safely Composable Type-Specific Languages. - Cyrus Omar; Darya Kurilova; Ligia Nistor; Benjamin Chung; Alex Potanin; Jonathan Aldrich (ECOOP, 2014)

Type-specific languages to fight injection attacks. - Darya Kurilova; Cyrus Omar; Ligia Nistor; Benjamin Chung; Alex Potanin; Jonathan Aldrich (HotSoS, 2014)

A Theory of Tagged Objects (Artifact). - Joseph Lee; Jonathan Aldrich; Troy Shaw; Alex Potanin; Benjamin Chung (Dagstuhl Artifacts Ser., 2015)

A systematic analysis of the science of sandboxing. - Michael Maass; Adam Sales; Benjamin Chung; Joshua Sunshine (PeerJ Comput. Sci., 2016)

KafKa: Gradual Typing for Objects. - Benjamin Chung; Paley Li; Francesco Zappa Nardelli; Jan Vitek (ECOOP, 2018)

Monotonic gradual typing in a common calculus. - Benjamin Chung; Jan Vitek (ISSTA/ECOOP Workshops, 2018)

KafKa: Gradual Typing for Objects (Artifact). - Benjamin Chung; Paley Li; Francesco Zappa Nardelli; Jan Vitek (Dagstuhl Artifacts Ser., 2018)

Julia: dynamism and performance reconciled by design. - Jeff Bezanson; Jiahao Chen 001; Benjamin Chung; Stefan Karpinski; Viral B. Shah; Jan Vitek; Lionel Zoubritzky (Proc. ACM Program. Lang., 2018)

Julia subtyping: a rational reconstruction. - Francesco Zappa Nardelli; Julia Belyakova; Artem Pelenitsyn; Benjamin Chung; Jeff Bezanson; Jan Vitek (Proc. ACM Program. Lang., 2018)

Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl). - Benjamin Chung; Francesco Zappa Nardelli; Jan Vitek (ECOOP, 2019)

On Julia's Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact). - Benjamin Chung; Francesco Zappa Nardelli; Jan Vitek (Dagstuhl Artifacts Ser., 2019)

World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version). - Julia Belyakova; Benjamin Chung; Jack Gelinas; Jameson Nash; Ross Tate; Jan Vitek (CoRR, 2020)

World age in Julia: optimizing method dispatch in the presence of eval. - Julia Belyakova; Benjamin Chung; Jack Gelinas; Jameson Nash; Ross Tate; Jan Vitek (Proc. ACM Program. Lang., 2020)

ProGNet: prostate gland segmentation on MRI with deep learning. - Simon John Christoph Soerensen; Richard E. Fan; Arun Seetharaman; Leo C. Chen; Wei Shao 008; Indrani Bhattacharya; Michael Borre; Benjamin Chung; Katherine J. To'o; Geoffrey A. Sonn; Mirabela Rusu (Image Processing, 2021)

Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version). - Artem Pelenitsyn; Julia Belyakova; Benjamin Chung; Ross Tate; Jan Vitek (CoRR, 2021)

Type stability in Julia: avoiding performance pathologies in JIT compilation. - Artem Pelenitsyn; Julia Belyakova; Benjamin Chung; Ross Tate; Jan Vitek (Proc. ACM Program. Lang., 2021)

Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Artifact). - Artem Pelenitsyn; Julia Belyakova; Benjamin Chung; Ross Tate; Jan Vitek (Zenodo, 2021)

A Retrospective on Julia (Invited Talk). - Benjamin Chung (ICOOOLPS@ECOOP, 2023)

A Type System for Julia. - Benjamin Chung (CoRR, 2023)

Use Site Checking Considered Harmful. - Dimi Racordon; Benjamin Chung (Onward!, 2024)

Decidable Subtyping of Existential Types for Julia. - Julia Belyakova; Benjamin Chung; Ross Tate; Jan Vitek (Proc. ACM Program. Lang., 2024)

Ignition Point Reachability for Aerodynamically-Controlled Reusable Launch Vehicles. - Benjamin Chung; Kazuya Echigo; Behçet Açikmese (CoRR, 2025)