Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting. CCS’23

Optimizing homomorphic evaluation circuits by program synthesis and term rewriting, PLDI’20

Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits, CAV’16

FlashExtract: a framework for data extraction by examples. PLDI’14

On the Fly Synthesis of Edit Suggestions, OOPSLA’19

Lessons from Building Static Analysis Tools at Google

What Developers Want and Need from Program Analysis: An Empirical Study

The Coming Software Apocalypse

From Start-ups to Scale-ups: Opportunities and Open Problems for Static and Dynamic Program Analysis

Hints on Test Data Selection: Help for the Practicing Programmer