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