BibTeX records: Andrew Becker

• > Home > Persons > Andrew Becker

@article{DBLP:journals/tvcg/StraussRBP20,
  author       = {Ryan R. Strauss and
                  Raghuram Ramanujan and
                  Andrew Becker and
                  Tabitha C. Peck},
  title        = {A Steering Algorithm for Redirected Walking Using Reinforcement Learning},
  journal      = {{IEEE} Trans. Vis. Comput. Graph.},
  volume       = {26},
  number       = {5},
  pages        = {1955--1963},
  year         = {2020},
  url          = {https://doi.org/10.1109/TVCG.2020.2973060},
  doi          = {10.1109/TVCG.2020.2973060},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tvcg/StraussRBP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ch/Becker18,
  author       = {Andrew James Becker},
  title        = {Satisfiability-Based Methods for Digital Circuit Design, Debug, and
                  Optimization},
  school       = {EPFL, Switzerland},
  year         = {2018},
  url          = {https://doi.org/10.5075/epfl-thesis-8850},
  doi          = {10.5075/EPFL-THESIS-8850},
  timestamp    = {Fri, 29 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ch/Becker18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/BeckerHTBKI17,
  author       = {Andrew Becker and
                  Wei Hu and
                  Yu Tai and
                  Philip Brisk and
                  Ryan Kastner and
                  Paolo Ienne},
  title        = {Arbitrary Precision and Complexity Tradeoffs for Gate-Level Information
                  Flow Tracking},
  booktitle    = {Proceedings of the 54th Annual Design Automation Conference, {DAC}
                  2017, Austin, TX, USA, June 18-22, 2017},
  pages        = {5:1--5:6},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3061639.3062203},
  doi          = {10.1145/3061639.3062203},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/BeckerHTBKI17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iccad/HuBATIMK16,
  author       = {Wei Hu and
                  Andrew Becker and
                  Armita Ardeshiricham and
                  Yu Tai and
                  Paolo Ienne and
                  Dejun Mu and
                  Ryan Kastner},
  editor       = {Frank Liu},
  title        = {Imprecise security: quality and complexity tradeoffs for hardware
                  information flow tracking},
  booktitle    = {Proceedings of the 35th International Conference on Computer-Aided
                  Design, {ICCAD} 2016, Austin, TX, USA, November 7-10, 2016},
  pages        = {95},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2966986.2967046},
  doi          = {10.1145/2966986.2967046},
  timestamp    = {Fri, 23 Jun 2023 22:29:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/HuBATIMK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/BeckerMNEVJI15,
  author       = {Andrew Becker and
                  Djordje Maksimovic and
                  David Novo and
                  Mohsen Ewaida and
                  Andreas G. Veneris and
                  Barbara Jobstmann and
                  Paolo Ienne},
  editor       = {Nir Piterman},
  title        = {FudgeFactor: Syntax-Guided Synthesis for Accurate {RTL} Error Localization
                  and Correction},
  booktitle    = {Hardware and Software: Verification and Testing - 11th International
                  Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
                  17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9434},
  pages        = {259--275},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26287-1\_16},
  doi          = {10.1007/978-3-319-26287-1\_16},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/BeckerMNEVJI15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/BeckerNI14,
  author       = {Andrew Becker and
                  David Novo and
                  Paolo Ienne},
  editor       = {Gerhard P. Fettweis and
                  Wolfgang Nebel},
  title        = {{SKETCHILOG:} Sketching combinational circuits},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2014, Dresden, Germany, March 24-28, 2014},
  pages        = {1--4},
  publisher    = {European Design and Automation Association},
  year         = {2014},
  url          = {https://doi.org/10.7873/DATE.2014.165},
  doi          = {10.7873/DATE.2014.165},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/BeckerNI14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acssc/BeckerNI13,
  author       = {Andrew Becker and
                  David Novo and
                  Paolo Ienne},
  editor       = {Michael B. Matthews},
  title        = {Automated circuit elaboration from incomplete architectural descriptions},
  booktitle    = {2013 Asilomar Conference on Signals, Systems and Computers, Pacific
                  Grove, CA, USA, November 3-6, 2013},
  pages        = {391--395},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ACSSC.2013.6810303},
  doi          = {10.1109/ACSSC.2013.6810303},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/acssc/BeckerNI13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}