Add some papers to the papers/ folder
Merge branch 'master' of github.com:JasonGross/personal-website
Update adt-synthesis paper