Takip et
Benjamin Chung
Benjamin Chung
uw.edu üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
1262018
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
612014
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
502018
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
392013
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
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
132021
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
132020
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
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
32014
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
Use Site Checking Considered Harmful
D Racordon, B Chung
Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas …, 2024
12024
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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20