32 citations · 87 across the 13 of their papers we have counts for
14 papers
Djinnlang: Higher-Level Programming by Unambiguous Specification with an LLM in the Compiler
Simon Henniger, Stephen Chong, Nada Amin
Programmers write formal specifications, and LLMs implement them, proving that each implementation matches its spec. Taken to its extreme, this makes specification languages the ne…
Guess & Sketch: Language Model Guided Transpilation
Celine Lee, Abdulrahman Mahmoud, Michal Kurek +5
Maintaining legacy software requires many software and systems engineering hours. Assembly code programs, which demand low-level control over the computer machine state and have no…
Formulog: Datalog for SMT-Based Static Analysis (Extended Version)
Aaron Bembenek, Michael Greenberg, Stephen Chong
Satisfiability modulo theories (SMT) solving has become a critical part of many static analyses, including symbolic execution, refinement type checking, and model checking. We prop…
Coupled Relational Symbolic Execution for Differential Privacy
Gian Pietro Farina, Stephen Chong, Marco Gaboardi
Differential privacy is a de facto standard in data privacy with applications in the private and public sectors. Most of the techniques that achieve differential privacy are based…
Formalizing Privacy Laws for License Generation and Data Repository Decision Automation
Micah Altman, Stephen Chong, Alexandra Wood
In this paper, we summarize work-in-progress on expert system support to automate some data deposit and release decisions within a data repository, and to generate custom license a…
Fine-Grained, Language-Based Access Control for Database-Backed Applications
Ezra Zigmond, Stephen Chong, Christos Dimoulas +1
Context: Database-backed applications often run queries with more authority than necessary. Since programs can access more data than they legitimately need, flaws in security check…