9 citations · 19 across the 5 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020
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…
cs.PL2020★ 1 cited
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…