Benjamin Chung
Benjamin Chung
Verifierad e-postadress på ccs.neu.edu - Startsida
Titel
Citeras av
Citeras av
År
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
492014
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
372018
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
332013
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
152018
Kafka: Gradual typing for objects
B Chung, P Li, FZ Nardelli, J Vitek
ECOOP 2018-2018 European Conference on Object-Oriented Programming, 2018
152018
A systematic analysis of the science of sandboxing
M Maass, A Sales, B Chung, J Sunshine
PeerJ Computer Science 2, e43, 2016
122016
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
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
2*2020
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
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
12019
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
Colour terms in Tibeto-Burman languages
T Mark, C Benjamin
Rocznik Orientalistyczny/Yearbook of Oriental Studies 71 (2), 198-248, 2018
2018
KafKa: Gradual Typing for Objects (Artifact)
B Chung, P Li, FZ Nardelli, J Vitek
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018
2018
A Theory of Tagged Objects (Artifact)
J Lee, J Aldrich, T Shaw, A Potanin, B Chung
DARTS-Dagstuhl Artifacts Series 1, 2015
2015
Safely Composable Type-Specific Languages (Technical Report)
C Omar, D Kurilova, L Nistor, B Chung, A Potanin, J Aldrich
2014
Benchmarking typestate-oriented programming languages
BW Chung
Proceedings of the 3rd annual conference on Systems, programming, and …, 2012
2012
ACQUISTI, Alessandro CMU-ISR-14-116 AGARWAL, Yuvraj CMU-ISR-14-116 ALDRICH, Jonathan CMU-ISR-14-106, CMU-ISR-14-112
H ALMUHIMEDI, KM CARLEY, LR CARLEY, B CHUNG, L CRANOR, ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–18