Ignition Point Reachability for Aerodynamically-Controlled Reusable Launch Vehicles.

Benjamin Chung

Benjamin Chung Kazuya Echigo Behçet Açikmese Ignition Point Reachability for Aerodynamically-Controlled Reusable Launch Vehicles. 2025 March abs/2503.11862 CoRR https://doi.org/10.48550/arXiv.2503.11862 db/journals/corr/corr2503.html#abs-2503-11862 streams/journals/corr

Julia Belyakova Benjamin Chung Ross Tate Jan Vitek Decidable Subtyping of Existential Types for Julia. 1091-1114 2024 8 Proc. ACM Program. Lang. PLDI https://doi.org/10.1145/3656421 db/journals/pacmpl/pacmpl8.html#BelyakovaCTV24 streams/journals/pacmpl

Dimi Racordon Benjamin Chung Use Site Checking Considered Harmful. 275-287 2024 Onward! https://doi.org/10.1145/3689492.3689814 conf/onward/2024 db/conf/onward/onward2024.html#RacordonC24 Benjamin Chung A Retrospective on Julia (Invited Talk). 2 2023 ICOOOLPS@ECOOP https://doi.org/10.1145/3605158.3608956 conf/icooolps/2023 db/conf/icooolps/icooolps2023.html#Chung23

Benjamin Chung A Type System for Julia. 2023 abs/2310.16866 CoRR https://doi.org/10.48550/arXiv.2310.16866 db/journals/corr/corr2310.html#abs-2310-16866

Artem Pelenitsyn Julia Belyakova Benjamin Chung Ross Tate Jan Vitek Type stability in Julia: avoiding performance pathologies in JIT compilation. 1-26 2021 5 Proc. ACM Program. Lang. OOPSLA https://doi.org/10.1145/3485527 https://www.wikidata.org/entity/Q123357294 db/journals/pacmpl/pacmpl5.html#PelenitsynBCTV21

Simon John Christoph Soerensen Richard E. Fan Arun Seetharaman Leo C. Chen Wei Shao 0008 Indrani Bhattacharya Michael Borre Benjamin Chung Katherine J. To'o Geoffrey A. Sonn Mirabela Rusu ProGNet: prostate gland segmentation on MRI with deep learning. 2021 Image Processing https://doi.org/10.1117/12.2580448 conf/miip/2021 db/conf/miip/miip2021.html#SoerensenFSC0BB21 Artem Pelenitsyn Julia Belyakova Benjamin Chung Ross Tate Jan Vitek Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Artifact). 2021 September https://doi.org/10.5281/zenodo.5500548 Zenodo streams/repo/zenodo

Artem Pelenitsyn Julia Belyakova Benjamin Chung Ross Tate Jan Vitek Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version). 2021 abs/2109.01950 CoRR https://arxiv.org/abs/2109.01950 db/journals/corr/corr2109.html#abs-2109-01950

Julia Belyakova Benjamin Chung Jack Gelinas Jameson Nash Ross Tate Jan Vitek World age in Julia: optimizing method dispatch in the presence of eval. 207:1-207:26 2020 4 Proc. ACM Program. Lang. OOPSLA https://doi.org/10.1145/3428275 https://www.wikidata.org/entity/Q123130532 db/journals/pacmpl/pacmpl4.html#BelyakovaCGNTV20

Julia Belyakova Benjamin Chung Jack Gelinas Jameson Nash Ross Tate Jan Vitek World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version). 2020 abs/2010.07516 CoRR https://arxiv.org/abs/2010.07516 db/journals/corr/corr2010.html#abs-2010-07516

Benjamin Chung Francesco Zappa Nardelli Jan Vitek On Julia's Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact). 08:1-08:2 2019 5 Dagstuhl Artifacts Ser. 2 https://doi.org/10.4230/DARTS.5.2.8 db/journals/darts/darts5.html#ChungNV19

Benjamin Chung Francesco Zappa Nardelli Jan Vitek Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl). 24:1-24:15 2019 ECOOP https://doi.org/10.4230/LIPIcs.ECOOP.2019.24 conf/ecoop/2019 db/conf/ecoop/ecoop2019.html#ChungNV19

Benjamin Chung Paley Li Francesco Zappa Nardelli Jan Vitek KafKa: Gradual Typing for Objects (Artifact). 10:1-10:3 2018 4 Dagstuhl Artifacts Ser. 3 https://doi.org/10.4230/DARTS.4.3.10 db/journals/darts/darts4.html#ChungLNV18

Francesco Zappa Nardelli Julia Belyakova Artem Pelenitsyn Benjamin Chung Jeff Bezanson Jan Vitek Julia subtyping: a rational reconstruction. 113:1-113:27 2018 2 Proc. ACM Program. Lang. OOPSLA https://doi.org/10.1145/3276483 https://www.wikidata.org/entity/Q123332941 db/journals/pacmpl/pacmpl2.html#NardelliBPCBV18

Jeff Bezanson Jiahao Chen 0001 Benjamin Chung Stefan Karpinski Viral B. Shah Jan Vitek Lionel Zoubritzky Julia: dynamism and performance reconciled by design. 120:1-120:23 2018 2 Proc. ACM Program. Lang. OOPSLA https://doi.org/10.1145/3276490 https://www.wikidata.org/entity/Q122178219 db/journals/pacmpl/pacmpl2.html#BezansonCCKSVZ18

Benjamin Chung Paley Li Francesco Zappa Nardelli Jan Vitek KafKa: Gradual Typing for Objects. 12:1-12:24 2018 ECOOP https://doi.org/10.4230/LIPIcs.ECOOP.2018.12 conf/ecoop/2018 db/conf/ecoop/ecoop2018.html#ChungLNV18 Benjamin Chung Jan Vitek Monotonic gradual typing in a common calculus. 17-23 2018 ISSTA/ECOOP Workshops https://doi.org/10.1145/3236454.3236475 conf/issta/2018w db/conf/issta/issta2018w.html#ChungV18

Michael Maass Adam Sales Benjamin Chung Joshua Sunshine A systematic analysis of the science of sandboxing. e43 2016 2 PeerJ Comput. Sci. https://doi.org/10.7717/peerj-cs.43 https://www.wikidata.org/entity/Q58450611 db/journals/peerj-cs/peerj-cs2.html#MaassSCS16

Joseph Lee Jonathan Aldrich Troy Shaw Alex Potanin Benjamin Chung A Theory of Tagged Objects (Artifact). 03:1-03-3 2015 1 Dagstuhl Artifacts Ser. 1 https://doi.org/10.4230/DARTS.1.1.3 db/journals/darts/darts1.html#LeeASPC15

Cyrus Omar Darya Kurilova Ligia Nistor Benjamin Chung Alex Potanin Jonathan Aldrich Safely Composable Type-Specific Languages. 105-130 2014 ECOOP https://doi.org/10.1007/978-3-662-44202-9_5 conf/ecoop/2014 db/conf/ecoop/ecoop2014.html#OmarKNCPA14 Darya Kurilova Cyrus Omar Ligia Nistor Benjamin Chung Alex Potanin Jonathan Aldrich Type-specific languages to fight injection attacks. 18 2014 HotSoS https://doi.org/10.1145/2600176.2600194 conf/hotsos/2014 db/conf/hotsos/hotsos2014.html#KurilovaONCPA14 Cyrus Omar Benjamin Chung Darya Kurilova Alex Potanin Jonathan Aldrich Type-directed, whitespace-delimited parsing for embedded DSLs. 8-11 2013 GlobalDSL@ECOOP https://doi.org/10.1145/2489812.2489815 conf/ecoop/2013globaldsl db/conf/ecoop/globaldsl2013.html#OmarCKPA13 Behçet Açikmese Jonathan Aldrich Julia Belyakova Jeff Bezanson Indrani Bhattacharya Michael Borre Jiahao Chen 0001 Leo C. Chen Kazuya Echigo Richard E. Fan Jack Gelinas Stefan Karpinski Darya Kurilova Joseph Lee Paley Li Michael Maass Francesco Zappa Nardelli Jameson Nash Ligia Nistor Cyrus Omar Artem Pelenitsyn Alex Potanin Dimi Racordon Mirabela Rusu Adam Sales Arun Seetharaman Viral B. Shah Wei Shao 0008 Troy Shaw Simon J. C. SoerensenSimon John Christoph Soerensen Geoffrey A. Sonn Joshua Sunshine Ross Tate Katherine J. To'o Jan Vitek Lionel Zoubritzky