Articulating the ineffable. Programming language theory 
cognitive psychology. PhD @Stanford
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
- What if we used program synthesis to not replace programmers, but teach them? - What if we used synthesis to evaluate speculative API features? - What does program synthesis look like beyond examples? Some musings on "Human-Centric Program Synthesis":https://arxiv.org/abs/1909.12281
To appear at PLATEAU (http://plateau-workshop.org/ ). Catch my presentation at 1:30pm on Thursday, October 24!
