Programming languages and software engineering
Publication
Monadic Refinements for Relational Cost Analysis
Publication
Semantics-aware Program Sampling
Publication
Implementing Algebraic Effects in C
Project
Optimizing Big-Data Queries using Program Reasoning
This project is at the intersection of programming languages and database systems. The goal of the project is to use programming languages techniques to analyze and optimize big-data queries. We show how program synthesis can be…
Video
AirSim Car Demo
AirSim is a simulator for drones and cars built on Unreal Engine. Its open source, cross platform and supports hardware-in-loop with popular platforms such as PixHawk for physically and visually realistic simulations. It is developed…
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…
