According to our database1, Andrew Becker authored at least 7 papers between 2013 and 2020.
Legend:Book In proceedings Article PhD thesis Other
IEEE Trans. Vis. Comput. Graph., 2020
PhD thesis, 2018
Arbitrary Precision and Complexity Tradeoffs for Gate-Level Information Flow Tracking.
Proceedings of the 54th Annual Design Automation Conference, 2017
Imprecise security: quality and complexity tradeoffs for hardware information flow tracking.
Proceedings of the 35th International Conference on Computer-Aided Design, 2016
FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction.
Proceedings of the Hardware and Software: Verification and Testing, 2015
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the 2013 Asilomar Conference on Signals, 2013