Video
Reinforcement Learning for Quadrotor Using AirSim
Example of reinforcement learning with quadrotors using AirSim and CNTK by Ashish Kapoor
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Video
Explaining Inconclusive Outcomes from Software Model Checkers to Users
This talk will be centered on partial verification results. Software model checkers can be used both to find bugs and to prove certain properties hold. However, due to resource bounds or tool limitations, many times…
Video
Vega-Lite: A Grammar of Interactive Graphics
Vega-Lite is a declarative format for rapidly creating interactive visualizations. The simplest form of a Vega-Lite specification describes a single view–a mapping between data values and the visual properties for a single mark type. These…
Publication
Pointing Out SQL Queries From Text
Publication
Learning to Represent Programs with Graphs
Publication
Programming the World
Publication