Automated circuit elaboration from incomplete architectural descriptions. - Andrew Becker; David Novo; Paolo Ienne (ACSSC, 2013)

SKETCHILOG: Sketching combinational circuits. - Andrew Becker; David Novo; Paolo Ienne (DATE, 2014)

FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction. - Andrew Becker; Djordje Maksimovic; David Novo; Mohsen Ewaida; Andreas G. Veneris; Barbara Jobstmann; Paolo Ienne (Haifa Verification Conference, 2015)

Imprecise security: quality and complexity tradeoffs for hardware information flow tracking. - Wei Hu 008; Andrew Becker; Armita Ardeshiricham; Yu Tai; Paolo Ienne; Dejun Mu; Ryan Kastner (ICCAD, 2016)

Arbitrary Precision and Complexity Tradeoffs for Gate-Level Information Flow Tracking. - Andrew Becker; Wei Hu 008; Yu Tai; Philip Brisk; Ryan Kastner; Paolo Ienne (DAC, 2017)

Satisfiability-Based Methods for Digital Circuit Design, Debug, and Optimization. - Andrew James Becker (2018)

A Steering Algorithm for Redirected Walking Using Reinforcement Learning. - Ryan R. Strauss; Raghuram Ramanujan; Andrew Becker; Tabitha C. Peck (IEEE Trans. Vis. Comput. Graph., 2020)