Swarat Chaudhuri Profile picture
CS Prof @UTCompSci. Programming Languages + Automated Reasoning + Machine Learning.
May 7, 2018 5 tweets 2 min read
(1/5) I grew up in the Programming Languages research community and have recently begun attending Machine Learning conferences. One perspective that I don't see much in either community is that #MachineLearning is a form of #programming. (2/5) PL/formal methods researchers tend to think of programs as engineered objects, and study abstractions/tools for principled engineering. But the big assumption here is that you can formalize your goals and the world in which your programs run. That's not always realistic.