Andrew Wright

Orcid: 0009-0001-9644-4559

According to our database1, Andrew Wright authored at least 20 papers between 2001 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
T-Count Optimizing Genetic Algorithm for Quantum State Preparation.
Proceedings of the IEEE International Conference on Quantum Software, 2024

From Master Equation to SPICE: A Platform to Model Cryo-CMOS Control for Qubits.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2021
Modular SMT-Based Verification of Rule-Based Hardware Designs.
PhD thesis, 2021

A Multipurpose Formal RISC-V Specification.
CoRR, 2021

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

2019
Proteus: Language and Runtime Support for Self-Adaptive Software Development.
IEEE Softw., 2019

Composable Building Blocks to Open Up Processor Design.
IEEE Micro, 2019

An Energy-Efficient Reconfigurable DTLS Cryptographic Engine for Securing Internet-of-Things Applications.
IEEE J. Solid State Circuits, 2019

MI6: Secure Enclaves in a Speculative Out-of-Order Processor.
Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture, 2019

2018
Tennison: A Distributed SDN Framework for Scalable Network Security.
IEEE J. Sel. Areas Commun., 2018

Composable Building Blocks to Open up Processor Design.
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.
Proceedings of the 2018 IEEE International Solid-State Circuits Conference, 2018

Constructing a Weak Memory Model.
Proceedings of the 45th ACM/IEEE Annual International Symposium on Computer Architecture, 2018

2017
Automated Synthesis of Comprehensive Memory Model Litmus Test Suites.
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.
Proceedings of the Advances in Human Error, Reliability, Resilience, and Performance, 2017

2016
Validating Simplified Processor Models in Architectural Studies.
CoRR, 2016

2013
Hardware-Software Codesign for Embedded Numerical Acceleration.
Proceedings of the 21st IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2013

2008
Objective Assessment of Telesurgical Robot Systems: Telerobotic FLS.
Proceedings of the Medicine Meets Virtual Reality 16, 2008

2006
Competitive auctions.
Games Econ. Behav., 2006

2001
Competitive auctions and digital goods.
Proceedings of the Twelfth Annual Symposium on Discrete Algorithms, 2001


  Loading...