Programming languages and software engineering
Video
Algorithmic Improvisation for Dependable and Secure Autonomy
Algorithmic Improvisation, also called control improvisation, is a new framework for automatically synthesizing systems with random but controllable behavior. In this talk, I will present the theory of algorithmic improvisation and show how it can…
Publication
Revisiting the refactoring mechanics
Publication
Differential Regression Testing for REST APIs
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…
