James Bornholt

homes.cs.washington.edu/~bornholt

I'm a Principal Applied Scientist at Amazon Web Services, where I work on the Amazon S3 object storage service. My research spans formal methods, programming languages, and systems.

Popular posts: 2
Total points: 306
HN comments: 59
Rank: #8,754 personal

Visit homes.cs.washington.edu/~bornholt → On Hacker News Jul 2018 – Nov 2018

Software Engineering 2 Tools & Productivity 1 AI & Machine Learning 1

Most points Most discussed Most cited Newest

Building a Program Synthesizer

2018132 points24 comments Software Engineering details

Build a program synthesis tool, to generate programs from specifications, in 20 lines of code using Rosette.