Follow
Benjamin Chung
Title
Cited by
Cited by
Year
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
1232018
Safely composable type-specific languages
C Omar, D Kurilova, L Nistor, B Chung, A Potanin, J Aldrich
ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014
592014
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
492018
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
372013
KafKa: gradual typing for objects
B Chung, P Li, FZ Nardelli, J Vitek
ECOOP 2018-2018 European Conference on Object-Oriented Programming, 2018
282018
A systematic analysis of the science of sandboxing
M Maass, A Sales, B Chung, J Sunshine
PeerJ Computer Science 2, e43, 2016
272016
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
142020
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
122021
A type system for Julia
B Chung
Northeastern University, 2023
72023
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
42013
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
32024
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
32019
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
22020
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
22019
Towards Typing Julia
B Chung, P Li
The-2th Workshop on New Object-Oriented Languages (NOOL), 2017
22017
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
22014
Monotonic gradual typing in a common calculus
B Chung, J Vitek
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 17-23, 2018
12018
Static Typing Without Static Types–Typing Inheritance from the Bottom Up
B Chung, P Li, J Vitek
Proc. of 1th Workshop on New Object-Oriented Languages (NOOL) 2016, 2017
12017
Application LabVIEW®-based Gain Scheduling Programming to a 6-axis Articulated Robot considering Kinematic Analysis
ASB Kim, BWJ Chung, CJH Bae
Proceedings of the International Conference on Scientific Computing (CSC), 206, 2015
12015
Use Site Checking Considered Harmful
D Racordon, B Chung
Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas …, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20