Andrew Becker

SKETCHILOG: Sketching combinational circuits

David Novo, Paolo Ienne, Andrew Becker, 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Arbitrary precision and complexity tradeoffs for gate-level information flow tracking

Wei Hu, Paolo Ienne, Ryan Kastner, 2017, 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).

Imprecise security: Quality and complexity tradeoffs for hardware information flow tracking

Wei Hu, Paolo Ienne, Dejun Mu, 2016, 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Satisfiability-Based Methods for Digital Circuit Design, Debug, and Optimization

Andrew James Becker, Andrew Becker, 2018 .

FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction

David Novo, Paolo Ienne, Andreas G. Veneris, 2015, Haifa Verification Conference.