Trevor E. Carlson
Scholar

Trevor E. Carlson

Google Scholar ID: bUK5DP4AAAAJ
National University of Singapore
Computer Architecture
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,904
 
H-index
20
 
i10-index
37
 
Publications
20
 
Co-authors
13
list available
Contact
No contact links provided.
Publications
7 items
When is LLM-Based Program Reasoning Correct? A Completion Semantics for LLM-Based Code Inference
2026
Cited
0
Benchmarking for Single Feature Attribution with Microarchitecture Cliffs
2026
Cited
0
Efficient Eye-based Emotion Recognition via Neural Architecture Search of Time-to-First-Spike-Coded Spiking Neural Networks
2025
Cited
0
Securing Mixed Rust with Hardware Capabilities
2025
Cited
0
Anvil: A General-Purpose Timing-Safe Hardware Description Language
2025
Cited
0
Providing High-Performance Execution with a Sequential Contract for Cryptographic Programs
arXiv.org · 2024
Cited
0
Fully Randomized Pointers
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
13 total
Wim Heirman
Wim Heirman
Researcher, Intel
Co-author 2
Co-author 2
Stefanos Kaxiras
Stefanos Kaxiras
IEEE Fellow, Professor Uppsala University
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8