Programming languages and software engineering
Publication
Revisiting the refactoring mechanics
Video
Coverage Guided, Property Based Testing
Property-based random testing, exemplified by frameworks such as Haskell’s QuickCheck, works by testing an executable predicate (a property) on a stream of randomly generated inputs. Property testing works very well in many cases, but not…
Tool
Detours Package
Detours is a software package for monitoring and instrumenting API calls on Windows. Detours has been used by many ISVs and is also used by product teams at Microsoft. Detours is now available under a…
Video
Quantum Computing and Workforce, Curriculum, and Application Development: Overview and access
Transforming Our Future – Quantum Computing and Workforce, Curriculum, and Application Development: An overview and access to hands-on, software-driven curriculum An overview and access to hands-on, software-driven curriculum and, specifically, what makes it pressing and…
Video
Quantum Computing and Workforce, Curriculum, and Application Development: Open Resources
Transforming Our Future – Quantum Computing and Workforce, Curriculum, and Application Development Open source resources: Q# and the Microsoft Quantum Development Kit. Learn about the fastest path to quantum development—the Microsoft Quantum Development Kit and…
Video
Quantum Computing and Workforce, Curriculum, and Application Development: Insight into real-world quantum applications
Transforming Our Future – Quantum Computing and Workforce, Curriculum, and Application Development: Insight into real-world quantum applications We will share results of a partnership with a leading computational chemistry group that yielded open-source, high-performance computational…
Video
Quantum Computing and Workforce, Curriculum, and Application Development: An overview of quantum computing
Transforming Our Future – Quantum Computing and Workforce, Curriculum, and Application Development: An overview of quantum computing. A brief landscape discussion that includes an overview of Microsoft’s unique approach to Quantum Computing, including our “full…
Video
Productivity in Software Development
In this era of “Internet of Code”, data and metadata around open source projects are available in abundance. While research in program synthesis is not new, deep learning systems that take advantage of large scale…
Video
Increasing AI Programmer Productivity
With the advent of machine learning techniques, programmer productivity is poised to significantly improve. The job of a software engineer is changing into one where they learn a model for a function by using vast…
Video
Program Synthesis meets Notebooks
Program Synthesis can now generate readable code for a variety of task domains and in specific target programming languages and making use of specific libraries. Notebooks are emerging as a popular form factor for interacting…
