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
Professor
Professor of Instruction
Associate Professor
Professor of Instruction
Department Chair and Professor
Professor
Professor
Associate Professor
Professor
Professor, Department of Electrical and Computer Engineering
Professor, Department of Electrical & Computer Engineering
Professor, Department of Electrical and Computer Engineering

  • Find an Expert

    Journalists seeking an academic to provide expert comment or background briefing on a story should contact our marketing & communications team.

  • Staci Norman

    Staci Norman

    Marketing Manager, Art Direction & Brand Management

    marcomm@cs.utexas.edu