We are revisiting the problem of safe program merge and conducting research towards eliminating bad merges (including merge conflicts) of any form by exploring and combining techniques from program verification (for precise formulation of correctness),…
Microsoft is proud to be a sponsor of the 27th ACM SIGPLAN International Conference on Functional Programming (opens in new tab). Nikhil Swamy Nikhil Swamy
Apply AI techniques for software engineering Code intelligence project aims to leverage AI techniques to help software developers improve the productivity of the development process. We focus on building large-scale pre-trained models to understand and…