Close

Organization

<
University of York
Presentations
Research Manuscript
Beyond Exact: Tight WCET Analysis of GPU Kernels with Branch Divergence
11:50am - 12:03pm PDT Wednesday, July 29 Mtg Room 203C
Systems
SYS6. Time-Critical and Fault-Tolerant System Design
Research Manuscript
Beyond Fuzzer Islands: CPU Fuzzing via Smart Coordination
3:42pm - 3:54pm PDT Monday, July 27 Mtg Room 201B
EDA
EDA2. Design Verification and Validation
Research Manuscript
Prelude: Priming-Guided State Reconstruction for Efficient FPGA Processor Debugging
1:55pm - 2:08pm PDT Monday, July 27 Mtg Room 203C
Systems
SYS4. Embedded System Design Tools and Methodologies
Research Manuscript
Uvmarvel: an Automated LLM-Aided UVM Machine for Subsystem-Level RTL Verification
4:06pm - 4:18pm PDT Monday, July 27 Mtg Room 201B
EDA
EDA2. Design Verification and Validation
Contributors
Nan Chen
Xiaotian Dai
Xinwei Fang