Programming languages and software engineering
Video
Designing AI Systems with Steerable Long-Term Dynamics
The feedback that users provide through their choices (e.g. clicks, purchases) is one of the most common types of data readily available for training autonomous systems, and it is widely used in online platforms. However,…
Project
Trusted AI-assisted Programming
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,…
Publication
An Empirical Study of Log Analysis at Microsoft
Video
Challenges in Evolving a Successful Database Product (SQL Server) to a Cloud Service (SQL Azure)
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…
Video
5 Lessons Learned Contributing to an Ethereum Open Source Project
5 Lessons Learned Contributing to an Ethereum Open Source Project – Austin Akers
