Benjamin Chung

According to our database, Benjamin Chung authored at least 21 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Decidable Subtyping of Existential Types for Julia.

Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek

Proc. ACM Program. Lang., 2024

2023

A Type System for Julia.

Benjamin Chung

CoRR, 2023

A Retrospective on Julia (Invited Talk).

Benjamin Chung

Proceedings of the 18th ACM International Workshop on Implementation, 2023

2021

Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Artifact).

Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek

Dataset, September, 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 (Extended Version).

Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek

CoRR, 2021

ProGNet: prostate gland segmentation on MRI with deep learning.

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

Proceedings of the Medical Imaging 2021: Image Processing, Online, February 15-19, 2021, 2021

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

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

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

Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl).

Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

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: dynamism and performance reconciled by design.

Jeff Bezanson, Jiahao Chen, Benjamin Chung, Stefan Karpinski, Viral B. Shah, Jan Vitek, Lionel Zoubritzky

Proc. ACM Program. Lang., 2018

KafKa: Gradual Typing for Objects (Artifact).

Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek

Dagstuhl Artifacts Ser., 2018

Monotonic gradual typing in a common calculus.

Benjamin Chung, Jan Vitek

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

KafKa: Gradual Typing for Objects.

Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2016

A systematic analysis of the science of sandboxing.

Michael Maass, Adam Sales, Benjamin Chung, Joshua Sunshine

PeerJ Comput. Sci., 2016

2015

A Theory of Tagged Objects (Artifact).

Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin, Benjamin Chung

Dagstuhl Artifacts Ser., 2015

2014

Type-specific languages to fight injection attacks.

Darya Kurilova, Cyrus Omar, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich

Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

Safely Composable Type-Specific Languages.

Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

Type-directed, whitespace-delimited parsing for embedded DSLs.

Cyrus Omar, Benjamin Chung, Darya Kurilova, Alex Potanin, Jonathan Aldrich

Proceedings of the First Workshop on the Globalization of Domain Specific Languages, 2013