Andrew Becker

According to our database, Andrew Becker authored at least 7 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

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

2018

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

Andrew James Becker

PhD thesis, 2018

2017

Arbitrary Precision and Complexity Tradeoffs for Gate-Level Information Flow Tracking.

Andrew Becker, Wei Hu, Yu Tai, Philip Brisk, Ryan Kastner, Paolo Ienne

Proceedings of the 54th Annual Design Automation Conference, 2017

2016

Imprecise security: quality and complexity tradeoffs for hardware information flow tracking.

Wei Hu, Andrew Becker, Armita Ardeshiricham, Yu Tai, Paolo Ienne, Dejun Mu, Ryan Kastner

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

2015

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

Proceedings of the Hardware and Software: Verification and Testing, 2015

2014

SKETCHILOG: Sketching combinational circuits.

Andrew Becker, David Novo, Paolo Ienne

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

Automated circuit elaboration from incomplete architectural descriptions.

Andrew Becker, David Novo, Paolo Ienne

Proceedings of the 2013 Asilomar Conference on Signals, 2013