Programming languages and software engineering
Publication
A quick look at impredicativity
Video
From Paper to Product
I used to think that creating a product from a research paper was a linear process. First, researchers develop the research, and then, engineers figure out how to transform that research idea into product. After…
Video
Hope Speech and Help Speech: Surfacing Positivity Amidst Hate
Tackling online attacks targeting certain individuals, groups of people, or communities is a major modern-day web challenge. Research efforts in hate speech detection thus far have largely focused on identifying and subsequently filtering out negative…
Project
Divide-and-Conquer Algorithms for Synthesis
This project aims to produce more efficient algorithms for program synthesis using techniques that decompose the task at hand into simpler tasks. Here, instances of the program synthesis problem are solved by finding smaller sub-solutions…
Project
Quantitative Specifications for Reactive Systems
In this project, we attempt to construct a quantitative specification framework for analysis of reactive systems. Our framework is built on a novel notion called simulation distances. A simulation distance measures some aspect of “match”…
Project
Performance-aware Synthesis for Concurrency
Usable concurrency synthesis has been a long-standing goal, with over three decades of active research going into it. Here, a programmer is expected to write a program that is correct in a sequential context, and…