Andrew Wright

According to our database, Andrew Wright authored at least 18 papers between 2001 and 2021.

Collaborative distances:

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

2021

Modular SMT-Based Verification of Rule-Based Hardware Designs.

Andrew Wright

PhD thesis, 2021

A Multipurpose Formal RISC-V Specification.

Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Andrew Wright, Adam Chlipala

CoRR, 2021

The What, Why and How of Good Work Design: The Perspective of the Human Factors and Ergonomics Society of Australia.

Nektarios Karanikas, Sara Pazell, Andrew Wright, Elise G. Crawford

Proceedings of the Advances in Ergonomics in Design, 2021

2019

Proteus: Language and Runtime Support for Self-Adaptive Software Development.

Saeid Barati, Ferenc A. Bartha, Swarnendu Biswas, Robert Cartwright, Adam Duracz, Donald S. Fussell, Henry Hoffmann, Connor Imes, Jason E. Miller, Nikita Mishra, Arvind, Dung Nguyen, Krishna V. Palem, Yan Pei, Keshav Pingali, Ryuichi Sai, Andrew Wright, Yao-Hsiang Yang, Sizhuo Zhang

IEEE Softw., 2019

Composable Building Blocks to Open Up Processor Design.

Sizhuo Zhang, Andrew Wright, Thomas Bourgeat

IEEE Micro, 2019

An Energy-Efficient Reconfigurable DTLS Cryptographic Engine for Securing Internet-of-Things Applications.

Utsav Banerjee, Andrew Wright, Chiraag Juvekar, Madeleine Waller, Arvind, Anantha P. Chandrakasan

IEEE J. Solid State Circuits, 2019

MI6: Secure Enclaves in a Speculative Out-of-Order Processor.

Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas

Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture, 2019

2018

Tennison: A Distributed SDN Framework for Scalable Network Security.

Lyndon Fawcett, Sandra Scott-Hayward, Matthew Broadbent, Andrew Wright, Nicholas J. P. Race

IEEE J. Sel. Areas Commun., 2018

Composable Building Blocks to Open up Processor Design.

Sizhuo Zhang, Andrew Wright, Thomas Bourgeat, Arvind

Proceedings of the 51st Annual IEEE/ACM International Symposium on Microarchitecture, 2018

An energy-efficient reconfigurable DTLS cryptographic engine for End-to-End security in iot applications.

Utsav Banerjee, Chiraag Juvekar, Andrew Wright, Arvind, Anantha P. Chandrakasan

Proceedings of the 2018 IEEE International Solid-State Circuits Conference, 2018

Constructing a Weak Memory Model.

Sizhuo Zhang, Muralidaran Vijayaraghavan, Andrew Wright, Mehdi Alipour, Arvind

Proceedings of the 45th ACM/IEEE Annual International Symposium on Computer Architecture, 2018

2017

Automated Synthesis of Comprehensive Memory Model Litmus Test Suites.

Daniel Lustig, Andrew Wright, Alexandros Papakonstantinou, Olivier Giroux

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

A Sound Investment: Managing Human Error in the Finance Sector.

Andrew Wright, Clare Borras

Proceedings of the Advances in Human Error, Reliability, Resilience, and Performance, 2017

2016

Validating Simplified Processor Models in Architectural Studies.

Sizhuo Zhang, Andrew Wright, Daniel Sánchez, Arvind

CoRR, 2016

2013

Hardware-Software Codesign for Embedded Numerical Acceleration.

Ranko Sredojevic, Andrew Wright, Vladimir Stojanovic

Proceedings of the 21st IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2013

2008

Objective Assessment of Telesurgical Robot Systems: Telerobotic FLS.

Mitchell J. H. Lum, Diana C. W. Friedman, Ganesh Sankaranarayanan, Hawkeye H. I. King, Andrew Wright, Mika N. Sinanan, Thomas S. Lendvay, Jacob Rosen, Blake Hannaford

Proceedings of the Medicine Meets Virtual Reality 16, 2008

2006

Competitive auctions.

Andrew V. Goldberg, Jason D. Hartline, Anna R. Karlin, Michael E. Saks, Andrew Wright

Games Econ. Behav., 2006

2001

Competitive auctions and digital goods.

Andrew V. Goldberg, Jason D. Hartline, Andrew Wright

Proceedings of the Twelfth Annual Symposium on Discrete Algorithms, 2001