Benjamin Chung

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 17

Top Topics

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
Decidable Subtyping of Existential Types for Julia. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Benjamin Chung
A Retrospective on Julia (Invited Talk). ICOOOLPS@ECOOP (2023)
Benjamin Chung
A Type System for Julia. CoRR (2023)
Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version). CoRR (2021)
Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
Type stability in Julia: avoiding performance pathologies in JIT compilation. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
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
ProGNet: prostate gland segmentation on MRI with deep learning. Medical Imaging: Image Processing (2021)
Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek
World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version). CoRR (2020)
Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek
World age in Julia: optimizing method dispatch in the presence of eval. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek
Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl). ECOOP (2019)
Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek
On Julia's Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact). Dagstuhl Artifacts Ser. 5 (2) (2019)
Jeff Bezanson, Jiahao Chen, Benjamin Chung, Stefan Karpinski, Viral B. Shah, Jan Vitek, Lionel Zoubritzky
Julia: dynamism and performance reconciled by design. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek
KafKa: Gradual Typing for Objects. ECOOP (2018)
Benjamin Chung, Jan Vitek
Monotonic gradual typing in a common calculus. ISSTA/ECOOP Workshops (2018)
Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, Jan Vitek
Julia subtyping: a rational reconstruction. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek
KafKa: Gradual Typing for Objects (Artifact). Dagstuhl Artifacts Ser. 4 (3) (2018)
Michael Maass, Adam Sales, Benjamin Chung, Joshua Sunshine
A systematic analysis of the science of sandboxing. PeerJ Comput. Sci. 2 (2016)
Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin, Benjamin Chung
A Theory of Tagged Objects (Artifact). Dagstuhl Artifacts Ser. 1 (1) (2015)
Darya Kurilova, Cyrus Omar, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
Type-specific languages to fight injection attacks. HotSoS (2014)
Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
Safely Composable Type-Specific Languages. ECOOP (2014)
Cyrus Omar, Benjamin Chung, Darya Kurilova, Alex Potanin, Jonathan Aldrich
Type-directed, whitespace-delimited parsing for embedded DSLs. GlobalDSL@ECOOP (2013)