James Bornholt

James Bornholt

I’m a Principal Applied Scientist at Amazon Web Services, where I work on the Amazon S3 object storage service. I lead development on S3’s open-source projects, including Mountpoint for Amazon S3. I also work on backend services like ShardStore and on the Shuttle concurrency testing framework for Rust.

Before AWS, I was a professor of computer science at the University of Texas at Austin. My research spans formal methods, programming languages, and systems. I work to make systems software faster and safer to build by applying automated verification and synthesis techniques at scale. My work has received best paper awards from SOSP, OSDI, ASPLOS, and EuroSys.


Conference Papers

Journal Papers

Workshop Papers

Posters & Talks