| Julia: Dynamism and performance reconciled by design J Bezanson, J Chen, B Chung, S Karpinski, VB Shah, J Vitek, L Zoubritzky Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-23, 2018 | 157 | 2018 |
| Safely composable type-specific languages C Omar, D Kurilova, L Nistor, B Chung, A Potanin, J Aldrich European Conference on Object-Oriented Programming, 105-130, 2014 | 61 | 2014 |
| Julia subtyping: a rational reconstruction F Zappa Nardelli, J Belyakova, A Pelenitsyn, B Chung, J Bezanson, ... Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018 | 49 | 2018 |
| Wyvern: A simple, typed, and pure object-oriented language L Nistor, D Kurilova, S Balzer, B Chung, A Potanin, J Aldrich Proceedings of the 5th Workshop on MechAnisms for SPEcialization …, 2013 | 40 | 2013 |
| A systematic analysis of the science of sandboxing M Maass, A Sales, B Chung, J Sunshine PeerJ Computer Science 2, e43, 2016 | 38 | 2016 |
| KafKa: gradual typing for objects B Chung, P Li, FZ Nardelli, J Vitek ECOOP 2018-2018 European Conference on Object-Oriented Programming, 2018 | 30 | 2018 |
| Type stability in Julia: Avoiding performance pathologies in JIT compilation A Pelenitsyn, J Belyakova, B Chung, R Tate, J Vitek Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-26, 2021 | 14 | 2021 |
| World age in julia: Optimizing method dispatch in the presence of eval J Belyakova, B Chung, J Gelinas, J Nash, R Tate, J Vitek Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-26, 2020 | 14 | 2020 |
| A type system for Julia B Chung Northeastern University, 2023 | 9 | 2023 |
| Type-specific languages to fight injection attacks D Kurilova, C Omar, L Nistor, B Chung, A Potanin, J Aldrich Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 1-2, 2014 | 4 | 2014 |
| Type-directed, whitespace-delimited parsing for embedded DSLs C Omar, B Chung, D Kurilova, A Potanin, J Aldrich Proceedings of the First Workshop on the Globalization of Domain Specific …, 2013 | 4 | 2013 |
| Decidable Subtyping of Existential Types for Julia J Belyakova, B Chung, R Tate, J Vitek Proceedings of the ACM on Programming Languages 8 (PLDI), 1091-1114, 2024 | 3 | 2024 |
| Julia's efficient algorithm for subtyping unions and covariant tuples (Pearl) B Chung, FZ Nardelli, J Vitek ECOOP 2019-33rd European Conference of Object-Oriented Programming, 2019 | 3 | 2019 |
| Ignition Point Reachability for Aerodynamically-Controlled Reusable Launch Vehicles B Chung, K Echigo, B Acikmese AIAA SCITECH 2025 Forum, 1897, 2025 | 2 | 2025 |
| Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Artifact) A Pelenitsyn, J Belyakova, B Chung, R Tate, J Vitek Zenodo, 2021 | 2 | 2021 |
| World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version) J Belyakova, B Chung, J Gelinas, J Nash, R Tate, J Vitek arXiv preprint arXiv:2010.07516, 2020 | 2 | 2020 |
| Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples B Chung, F Zappa Nardelli, J Vitek European Conference on Object-Oriented Programming (ECOOP), 2019 | 2 | 2019 |
| Towards Typing Julia B Chung, P Li The-2th Workshop on New Object-Oriented Languages (NOOL), 2017 | 2 | 2017 |
| Use Site Checking Considered Harmful D Racordon, B Chung Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas …, 2024 | 1 | 2024 |
| Monotonic gradual typing in a common calculus B Chung, J Vitek Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 17-23, 2018 | 1 | 2018 |
