research
∙
08/28/2023
Identifying and Mitigating the Security Risks of Generative AI
Every major technical invention resurfaces the dual-use dilemma – the ne...
share
research
∙
08/23/2023
Saggitarius: A DSL for Specifying Grammatical Domains
Common data types like dates, addresses, phone numbers and tables can ha...
research
∙
12/08/2022
Technical Report: Match-reference regular expressions and lenses
A lens is a single program that specifies two data transformations at on...
research
∙
08/27/2019
TxForest: A DSL for Concurrent Filestores
Many systems use ad hoc collections of files and directories to store pe...
research
∙
10/26/2018
Synthesizing Symmetric Lenses
Lenses are programs that can be run both "front to back" and "back to fr...
research
∙
10/09/2017