Benjamin Chung

Postdoctoral Researcher
Email:bchung _at_ ccs.neu.edu

Me

I'm a postdoc studying improving the performance and ease of use of trajectory generation in 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 writing

Thesis Static Typing for Julia