| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Sat, 31 Aug 2024 18:15:45 GMT
access-control-allow-origin: *
etag: W/"66d35dd1-12e7"
expires: Wed, 31 Dec 2025 02:54:43 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 6471:3827E5:AB3408:C0957E:69548E1B
accept-ranges: bytes
age: 0
date: Wed, 31 Dec 2025 04:45:30 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210064-BOM
x-cache: HIT
x-cache-hits: 0
x-timer: S1767156331.744552,VS0,VE204
vary: Accept-Encoding
x-fastly-request-id: 1279097cc84b914533cea9b62e3185d2e7a81788
content-length: 1495
Email:bchung _at_ ccs.neu.edu
Benjamin Chung
Postdoctoral ResearcherEmail: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
ECOOP'18 KafKa: Gradual Typing for Objects
NOOL'17 Towards Typing Julia
OOPSLA SRC '12 Benchmarking Typestate-Oriented Programming Languages
Other writing
Thesis Static Typing for Julia