Joshua B. Leners

about me

I am a fifth year Computer Science graduate student at the University of Texas at Austin. I work in 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. In my off time I cook and do Krav Maga.

You can reach me by email at leners@cs.utexas.edu

publications

Improving availability in distributed systems with failure informers
Joshua B. Leners, Trinabh Gupta, Marcos K. Aguilera, and Michael Walfish
To appear in 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 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
Erlang: A fun parallel functional programming language

classes

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)