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
Faculty & Researchers
Affiliated & Emeritus