Google
Research Interests
Concurrency, Memory Models, Formal Verification, Static Analysis
Education
University of Hawai'i at Manoa, Honolulu, Hawai'i, United States
Bachelor of Science, Computer Science August 2001 — May 2006
Professional Experience
Quantstamp, San Francisco, California, United States
Smart-contract Verification ConsultantJuly 2018 — present
The Filament Group, Boston, Massachusetts, United States
ConsultantAugust 2013 — present
Adobe Systems, San Francisco, California, United States
Senior Computer ScientistJuly 2011 — August 2013
Originate Labs, Los Angeles, California, United States
Tech Lead, Director of EngineeringAugust 2009 — July 2011
The Henson Group, New York City, New York, United States
Software ConsultantNovember 2007 — August 2009
Publications
Bender, J., Lesani, M., Palsberg, J., "Declarative Fence Insertion", OOPSLA, 2015
Bender, J., Palsberg, J., "A Logic for Concurrency with Specified Orders", POPL (submitted), 2018
Funding
Bender, J., Palsberg, J., "Concurrency with Specified Orders", NSF, 2018
Teaching
F'14, S'16, F'17, CS 132, Compilers, University of California, Los Angeles
W'18, CS 232, Static Analysis, University of California, Los Angeles
Open Source
Vagrant
Co-CreatorFebruary, 2010 — Present
A command line tool for simplifying the use of virtual machines as development environments. Contributed initial source, testing, internal abstractions, and features. http://www.vagrantup.com
jQuery Mobile
Development LeadNovember, 2010 — Present
A JavaScript library for mobile compatability and UI consistency. Contributed project guidance, features, build support, testing tools, and operations support. http://www.jquerymobile.com
Service
Referee, Transactions on Programming Languages and Systems, 2016
Honors/Awards
National Championship, NCAA Division I Men's Volleyball, 2002
National Player of the Week, NCAA Division I Men's Volleyball, 2004, 2005
Letterman, University of Hawai'i, NCAA Division I Men's Volleyball, 2001 — 2005
References
available upon request