Computer Architecture
Computer Architecture research lies between software and hardware, exploring the foundational implementation and method of how computers function.
Computer Architecture research lies between software and hardware, exploring the foundational implementation and method of how computers function.
Topics
86 specification in ACL2
Branch prediction
Cross media file system
Database concurrency control
Distributed sandbox GPUfs
Fast association lists
File-system crash consistency
Formal hardware description languages
Function memoization
Hash CONS
Improved arithmetic procedures for ACL2
Integration of ACL2 and HOL4
Low-level and concurrent systems
Memory system performance
Serverless computing
TASPI
Transistor-level circuit analysis
Verification of control systems
VLSI systems design
Faculty & Researchers
Find an Expert
Journalists seeking an academic to provide expert comment or background briefing on a story should contact our marketing & communications team.
