Microsoft Research Webinar Series
Available on-demand. Register now.
Expanding the possibilities of programming languages with Bosque
The Bosque Programming Language project investigates the implications of explicitly designing a program language with the goal of supporting automated reasoning tools. This webinar, led by Principal Engineer Mark Marron, explains the ideas behind this project, the exciting results that are already coming out of the project, and implications this programming language has on the future of software development.
You will learn about how seemingly simple language choices can result in massive challenges to automated program understanding and how, via alternative design choices, these problems can be avoided. In many ways, perhaps surprisingly, these alternative designs are as ergonomic as original features and can create opportunities for addressing key challenges as programming languages move into a cloud-centric world.
You will also examine some of the cutting-edge results in program verification, testing, and program resource use analysis that have been enabled by the Bosque language. Finally, get a brief look at some of the future opportunities and new programming experiences that may be possible with the advent of the Bosque language.
Together, you’ll explore:
- A new way to think about programming languages and their design
- The introduction of a new category of regularized programming languages
- How this programming model enables previously infeasible developer experiences
- Possibilities for how the Bosque language will evolve in the future
Mark Marron is a Principal Research SDE at Microsoft Research where he works on a range of programming language and software engineering topics. He is currently leading work on the Bosque Programming Language project. His other work includes cloud runtimes, low-overhead diagnostic tracing and time-travel debugging tools, program synthesis, compilers and analysis, and applying machine learning to software engineering problems.
*This on-demand webinar features a previously recorded Q&A session and open captioning.