Benjamin Chung

Postdoctoral Researcher
Email:bchung _at_ ccs.neu.edu

Me

I'm a consulting software engineer at JuliaHub working on simulation and code generation of synchronous systems. Previously I postdoc'ed at the Autonomous Control Laboratory at the University of Washington. I did my PhD on typing the Julia programming language advised by Jan Vitek at Northeastern University.

Peer-reviewed publications

PLDI'24 Decidable Subtyping of Existential Types for Julia
OOPSLA'21 Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation
OOPSLA'20 World Age in Julia: Optimizing Method Dispatch in the Presence of Eval
ECOOP'19 Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples
OOPSLA'18 Julia Subtyping: a Rational Reconstruction
OOPSLA'18 Julia: Dynamism and Performance Reconciled by Design
ECOOP'18 KafKa: Gradual Typing for Objects
NOOL'17 Towards Typing Julia
NOOL'16 Static Typing Without Static Types - Typing Inheritance from the Bottom Up
PeerJ A systematic analysis of the science of sandboxing
ECOOP'14 Safely Composable Type-Specific Languages
HotSoS'14 Type-Specific Languages to Fight Injection Attacks
MASPEGHI'13 Wyvern: A Simple, Typed, and Pure Object-Oriented Language
GlobalDSL'13 Type-Directed, Whitespace-Delimited Parsing for Embedded DSLs
OOPSLA SRC '12 Benchmarking Typestate-Oriented Programming Languages

Other publications

SciTech 2025 Ignition Point Reachability for Aerodynamically-Controlled Reusable Launch Vehicles

Other writing

Thesis Static Typing for Julia