research
∙
12/05/2021
Multilateral Micro-Monitoring for Internet Streaming
Video streaming is dominating the Internet. To compete with the performa...
share
research
∙
11/19/2021
A Transient Semantics for Typed Racket
Mixed-typed languages enable programmers to link typed and untyped compo...
research
∙
06/20/2020
Dynamic Symbolic Execution of Higher-Order Functions
The effectiveness of concolic testing deteriorates as the size of progra...
research
∙
09/26/2019
Fine-Grained, Language-Based Access Control for Database-Backed Applications
Context: Database-backed applications often run queries with more author...
research
∙
11/10/2017