Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Machine learning, in particular Large Language Models, has shown great promise at automating several aspects of programming and software development such as coding, testing, integration, static analysis, verification etc. in recent years. In this project,…
Over the past few years, my team at Microsoft worked on evolving our very successful on-prem database product, SQL Server, to a Database Platform as a Service, SQL Azure, running in the cloud managing millions…
5 Lessons Learned Contributing to an Ethereum Open Source Project – Austin Akers
