Programming languages and software engineering
Publication
Effect Handlers, Evidently
Publication
Kinds are calling conventions
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…