Programming languages and software engineering
Video
Reinforcement Learning for Quadrotor Using AirSim
Example of reinforcement learning with quadrotors using AirSim and CNTK by Ashish Kapoor
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
Learning to Represent Programs with Graphs
Publication
Pointing Out SQL Queries From Text
Publication
Programming the World
Publication