Nathan Nyugen

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Multiprocessor Systems

Formal Representation

Top Venues

Publications

Chen Chen, Rahul Kande, Nathan Nyugen, Flemming Andersen, Aakash Tyagi, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran
HyPFuzz: Formal-Assisted Processor Fuzzing. CoRR (2023)