Programming languages and software engineering
Project
Microsoft MakeCode
Microsoft MakeCode is a joint project between Microsoft Research and Visual Studio to make it simple to program microcontroller-based devices using a modern web app.
Tool
Strippets Browser visual
These visuals operate on any kind of tagged document content being visualized in Power BI. This can include key phrases, real-world entities such as people, places, and organizations, or abstract concepts that have been tagged…
Video
Scalable Trust-Region Method for Deep Reinforcement Learning Using Kronecker-Factored Approximation
In this work, we propose to apply trust region optimization to deep reinforcement learning using a recently proposed Kronecker-factored approximation to the curvature. We extend the framework of natural policy gradient and propose to optimize…
Video
Mining Input Grammars for Security Testing
Knowing which part of a program processes which parts of an input can reveal the structure of the input as well as the structure of the program. In a URL “http://www.example.com/path/”, for instance, the protocol…
Video
Foundations for Natural Proofs and Quantifier Instantiation
The logics required to support program verification go much beyond the class of decidable logics available today, and beyond the quantifier-free logics supported by SMT solvers today. In particular, when dealing with unbounded structures such…
Video
Dynamic Data Collection and Diagnostics for Improving JavaScript Applications
JavaScript is becoming one of the most popular languages, yet it is known for its suboptimal design. To effectively use JavaScript despite its design flaws, lightweight static analyses, implemented in “lint-like” tools, are widely used…
