Programming languages and software engineering
Group
Grounded Reasoning and Interactive Learning (GRAIL)
The GRAIL (Grounded Reasoning and Interactive Learning) team brings together the advances our team has made on NL→Code neural program synthesis technologies and interactive machine teaching to build new classes of system that enable people…
Video
Harnessing the problem-solving power of quantum computing
Quantum computers are not only set to revolutionize the way we think about computing, but they also hold the potential to change our understanding of the world. The ability to leverage unique quantum phenomena such…
Webinar
Harnessing the problem-solving power of quantum computing webinar
In this webinar, Anita Ramanan, a Senior Quantum Software Engineer at Microsoft, will take you on a quantum journey, starting with a walk-through of potential applications and continuing with an explanation of what makes quantum…
Publication
The F# Language Design RFCs (F# 5.0)
Video
Better design, implementation, and testing of async systems with Coyote
Software is becoming increasingly more distributed, making asynchronous programming the norm, yet programming languages and tools have been slow to provide the help needed to really address all the complexities that arise when building reliable…
Webinar
Better design, implementation, and testing of async systems with Coyote webinar
In this webinar, Chris Lovett, Principal Software Engineer at Microsoft Research, will introduce Coyote and demonstrate how it can help developers write correct async code with confidence. To convey this complicated subject in a practical…
Event
Workshop on Research Highlights in Programming Languages
The Indian Association for Research in Computing Science (IARCS) announces the inaugural Workshop on Research Highlights in Programming Languages. The workshop will take place over 2 days concurrent with the main FSTTCS conference scheduled to…