Joshua B. Leners

about me

I am currently a software engineer working on distributed storage at Two Sigma. Before that I was a Ph.D. student at UT Austin and a visiting student at NYU's Courant Institute. I am also an alumnus of the Laboratory for Advanced Systems Research (LASR). As an undergrad, I attended The University of Chicago where I received a B.S. in Mathematics and a B.S. in Computer Science. I like powerlifting and cooking.

You can reach me by email at leners


Yesquel: scalable SQL storage for Web applications
Marcos K. Aguilera, Joshua B. Leners, and Michael Walfish
25th ACM Symposium on Operating Systems Principles
SOSP 2015 Monterey, CA, October 2015

A new approach to detecting failures in distributed systems
Joshua B. Leners
Dissertation, The University of Texas at Austin, Austin, TX, August 2015

Taming uncertainty in distributed systems with help from the network
Joshua B. Leners, Trinabh Gupta, Marcos K. Aguilera, and Michael Walfish
10th ACM European Conference on Computer Systems
Eurosys 2015, Bordeaux, France, April 2015.

Improving availability in distributed systems with failure informers
Joshua B. Leners, Trinabh Gupta, Marcos K. Aguilera, and Michael Walfish
10th USENIX Symposium on Networked Systems Design and Implementation
NSDI 2013, Lombard, IL, April 2013.

Detecting failures in distributed systems with the FALCON spy network
Joshua B. Leners, Hao Wu, Wei-Lun Hung, Marcos K. Aguilera, and Michael Walfish
23rd ACM Symposium on Operating Systems Principles
SOSP 2011 Cascais, Portugal, October 2011 [Project page] [video]

It's On Me! The Benefit of Altruism in BAR Environments
Edmund L. Wong, Joshua B. Leners, and Lorenzo Alvisi
24th International Symposium on Distributed Computing
DISC 2010 Boston, MA, September 2010

useful links

Valgrind: How to deal with memory errors
git: The fast version control system


autumn 2008 - theory and practice of secure systems
autumn 2008 - wireless networks
spring 2009 - distributed systems
autumn 2009 - cryptography
autumn 2009 - game theory I
spring 2010 - game theory II
autumn 2010 - operating systems implementation
autumn 2011 - data mining: a mathematical perspective
spring 2012 - formal semantics and verification

unsolicited advice/opinions

Leslie Lamport gives brief and excellent talk advice [mirror]
Royden's Real Analysis is the single greatest book in mathematics
Sometimes it's okay to rely on syncrony
How I sometimes feel about cellphones. (Apologies to Faulkner)