johnbender
John Bender
John Bender is a PhD student working in the compilers group at UCLA under the supervision of Jens Palsberg. His research interests include complexity results in programming languages, weak memory models, and program logics.
Los Angeles, California
Following (1)
|
beep Ethan Marcotte |
Followers (12)
|
chrisfred Frederic |
|
bee314active Martin Baechi |
|
qqp Rob Powers |
|
jorda0mega Jorge David |
|
jefflembeck Jeffrey Lembeck |
|
daemianmack daemian mack |
|
ipetkov Ivan Petkov |
|
kfalconspb Scott Bollinger |
|
stedaniels Steve Daniels |
|
jaxzin Brian R. Jackson |
Browse others (15)
|
maretbh Maret Baker-Hayes |
|
|
ems Emily Clemens |
|
stecktimdetail Miriam |
|
seequ Jani Mustonen |
|
skado SK |
|
jonathanefine Jonathan Fine |
|
davekeeshan Dave Keeshan |
|
|
sophiekneebone Sophie Kneebone |
|
jmpc0016 Jose Maria Peña Cuevas |
|
amphib_dig James Chen |
