Expanding the possibilities of programming languages with Bosque

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=6xl3k7YkMFQ


Duration: 55:22
6,814 views
46

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

𝗥𝗲𝘀𝗼𝘂𝗿𝗰𝗲 𝗹𝗶𝘀𝘁:

■ Bosque programming language (GitHub) - https://github.com/microsoft/BosqueLanguage
■ Bosque programming language (project page) - https://www.microsoft.com/en-us/research/project/bosque-programming-language
■ Morgan Stanley Morphir (GitHub) - https://github.com/finos/morphir
■ Morphir examples (GitHub) - https://github.com/finos/morphir-examples
■ Mark Marron (Researcher Profile) - https://www.microsoft.com/en-us/research/people/marron

*This on-demand webinar features a previously recorded Q&A session and open captioning.

This webinar originally aired on May 27, 2020

Explore more Microsoft Research webinars: https://aka.ms/msrwebinars



Other Videos By Microsoft Research


2021-05-27Pushing the frontier of neural text to speech
2021-05-27Foundations of Real-World Reinforcement Learning
2021-05-27Homomorphic Encryption with Microsoft SEAL
2021-05-27Data Visualization: Bridging the Gap Between Users and Information
2021-05-26Exploring Reinforcement Learning Methods from Algorithm to Application
2021-05-26Microsoft Rocket: Hybrid Edge + Cloud Video Analytics Platform
2021-05-26Harnessing high-fidelity simulation for autonomous systems through AirSim
2021-05-26Microsoft ElectionGuard—enabling voters to verify that their votes are correctly counted
2021-05-26Designing Computer Vision Algorithms to Describe the Visual World to People Who Are Blind/Low Vision
2021-05-26The next generation of developer tools for data programming
2021-05-26Expanding the possibilities of programming languages with Bosque
2021-05-26Harnessing the problem-solving power of quantum computing
2021-05-25Introducing Developer Velocity Lab to improve developers’ work and well-being
2021-05-24Machine Learning and Fairness
2021-05-24Post-quantum cryptography: Supersingular isogenies for beginners
2021-05-24Quantum-safe cryptography: Securing today’s data against tomorrow’s computers
2021-05-20Failures of imagination: Discovering and measuring harms in language technologies
2021-05-13Cities Unlocked – Introducing 3D Sound for Greater Mobility and Independence
2021-05-13The Journey to Microsoft Soundscape
2021-05-13Microsoft Soundscape - Lighting up the World with Sound
2021-05-12Platform for Situated Intelligence Workshop | Day 1


Tags:
Bosque Programming Language
Bosque
programming languages
Mark Marron
Microsoft Research