Research Interests
Concurrency, Memory Models, Formal Verification, Static Analysis
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
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
Bender, J., Palsberg, J., "Concurrency with Specified Orders", NSF, 2018
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
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.
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.
Referee, Transactions on Programming Languages and Systems, 2016
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
available upon request