Andrew Becker

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
A Steering Algorithm for Redirected Walking Using Reinforcement Learning.
IEEE Trans. Vis. Comput. Graph., 2020

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

2017
Arbitrary Precision and Complexity Tradeoffs for Gate-Level Information Flow Tracking.
Proceedings of the 54th Annual Design Automation Conference, 2017

2016
Imprecise security: quality and complexity tradeoffs for hardware information flow tracking.
Proceedings of the 35th International Conference on Computer-Aided Design, 2016

2015
FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction.
Proceedings of the Hardware and Software: Verification and Testing, 2015

2014
SKETCHILOG: Sketching combinational circuits.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013
Automated circuit elaboration from incomplete architectural descriptions.
Proceedings of the 2013 Asilomar Conference on Signals, 2013


  Loading...