Navigation section
correctness
-
Open-sourcing the Microsoft Edge WebGL GLSL transpiler
Today we’re excited to announce that we’re open-sourcing part of the Microsoft Edge WebGL renderer – specifically, the GLSL to HLSL transpiler. We hope that the source code is useful for everybody working on similar WebGL projects, and that this will help performance, correctness and...- News
- Thread
- 3d graphics angle project browser compatibility correctness directx documentation engineering glsl gpu hlsl interoperability javascript microsoft edge open source performance shaders source code transpiler web development webgl
- Replies: 0
- Forum: Live RSS Feeds
-
Windows 7 The Verification Corner - Stepwise Refinement
In this episode of Link Removed, Kuat Yessenov and Link Removed, Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research, show how a program can be constructed by stepwise refinement. First, a high-level description of the program is given. Then, some...- News
- Thread
- abstract correctness data-structure engineering episodes feedback granular granularity machine microsoft programming readable refinement research software software-verification stepwise techniques tools verification
- Replies: 0
- Forum: Live RSS Feeds