Skip To Main Content
James Bornholt on Muck Rack

James Bornholt

As seen in: Amazon Science
Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile
Back to James Bornholt’s profile

Articles by James Bornholt

Synthesis-aided crash consistency for storage systems

|
By Xi Wang, Emina Torlak, James Bornholt, Jacob Van Geffen
| Amazon Science
Amazon Web Services (AWS) is looking for a world class applied scientist in Great China Region (GCR). The candidate will work in GCR CTO Office to drive high visible, high impact AI/ML projects for Chinese customers. The candidate will invent, implement, and deploy state of the art machine learning algorithms under engineering AI. You will build prototypes and explore field new solutions. You will interact closely with our customers and with the academic community.
Open in Who Shared View Duplicates (8) Issue with article?

Using lightweight formal methods to validate a key-value storage node in Amazon S3

|
By James Bornholt, Rajeev Joshi, Brendan Cully, Bernhard Kragl
| Amazon Science
The Amazon Web Services Industries (AWSI) team are searching for a seasoned professional who will lead our AWS Industries Business Intelligence and Data Engineering teams and function. The successful candidate will lead a central business operations and analytics function that enables accountability and transparency into AWS Industries business performance for a multi-billion worldwide sales and technical organization.
Open in Who Shared View Duplicates (9) Issue with article?

AWS team wins best-paper award for work on automated reasoning

|
By James Bornholt
| Amazon Science
At last week’s ACM Symposium on Operating Systems Principles (SOSP), my colleagues at Amazon Web Services and I won a best-paper award for our work using automated reasoning to validate that ShardStore — our new S3 storage node microservice — will do what it’s supposed to. Amazon Simple Storage Service (S3) is our fundamental object storage service — fast, cheap, and reliable. ShardStore is the service we run on our storage hardware, responsible for durably storing S3 object data.
Open in Who Shared Issue with article?
Show More