Demo Data from SIGIR 2026 / reviewers in the wild / expert
Aakash Tyagi
dblp:255/3072
· DBLP profile ↗
6ranked-venue papers
1as first author
5since 2021 · last 2026
0000-0002-9992-7628ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 2 · 2 since 2021Security and privacy · 2 · 2 since 2021Artificial intelligence and machine learning · 1 · 1 first-authorComputer networks · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
3 papers |
Electronic design automation · 88% Embedded and real-time systems · 12% | |
| Artificial intelligence
1 paper |
Efficient and distributed learning · 100% | |
| Interdisciplinary, comprehensive, and emerging computing
1 paper |
Medical and health informatics · 100% | |
| Network and information security
1 paper |
Hardware security and side channels · 100% |
Topics — the 8 heaviest of 9, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation › hardware verification and test
processor verification |
0.8 | 2 | 2023 | HyPFuzz: Formal-Assisted Processor Fuzzing · USENIX Security Symposium 2023 TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities · USENIX Security Symposium 2022 |
Electronic design automation › hardware verification and test
hardware verification |
0.7 | 1 | 2023 | HyPFuzz: Formal-Assisted Processor Fuzzing · USENIX Security Symposium 2023 |
Electronic design automation › hardware verification and test › processor verification
processor fuzzing |
0.7 | 1 | 2023 | HyPFuzz: Formal-Assisted Processor Fuzzing · USENIX Security Symposium 2023 |
Machine learning › Efficient and distributed learning
model compression |
0.6 | 1 | 2022 | Automated Generation of Tiny Model for Real-Time ECG Classification on Tiny Edge Devices · SenSys 2022 |
Medical and health informatics › electrocardiogram analysis
ECG classification |
0.6 | 1 | 2022 | Automated Generation of Tiny Model for Real-Time ECG Classification on Tiny Edge Devices · SenSys 2022 |
Electronic design automation
hardware verification and test |
0.4 | 2 | 2023 | HyPFuzz: Formal-Assisted Processor Fuzzing · USENIX Security Symposium 2023 TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities · USENIX Security Symposium 2022 |
Embedded and real-time systems › embedded processor
microcontroller |
0.2 | 1 | 2022 | Automated Generation of Tiny Model for Real-Time ECG Classification on Tiny Edge Devices · SenSys 2022 |
Embedded and real-time systems
on-device inference |
0.2 | 1 | 2022 | Automated Generation of Tiny Model for Real-Time ECG Classification on Tiny Edge Devices · SenSys 2022 |
Methods — techniques the papers use, named apart from their topics
fuzzing · 1.8model customization · 1.7deep neural network · 1.7formal verification · 0.7golden-reference model · 0.6golden reference model · 0.6
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Machine Learning-Driven Early Performance Prediction Framework for Accelerated Microarchitecture SimulationabstractRapid and accurate performance estimation is critical in evaluating novel microarchitectures, as it enables efficient exploration of architectural trade-offs. Unfortunately, traditional simulation techniques, while precise in predicting performance and power, incur tremendous slowdowns versus real machines. Despite prior works having explored machine learning–based performance prediction, the area remains far from sufficiently studied with existing approaches typically requiring large comprehensive datasets, frequent retraining, and heavy memory footprints with limited accuracy. Here, we introduce a new, fast and accurate, early-stage preview framework that uses partial simulation data, and leverages a smaller, faster tree-based machine learning (ML) model to forecast performance metrics such as IPC and Power. By training on a diverse set of configurations, our framework dynamically captures relationships between microarchitectural parameters in large OoO cores versus overall performance and other metrics. Collecting data from as few as 10 sample points taken during warmup, representing only 25 million instructions, our models achieve mean absolute percentage errors of 3-4%, preserving a majority of the model’s predictive accuracy while achieving a 25× speedup (96% reduction in simulation time). By comparison, linear regression techniques from the same point in simulation show an error of 50%. In cache DSE, we improve ranking accuracy by 25× compared to state-of-the-art prediction methods. Our results also show the proposed framework can accurately predict the performance of unseen (untrained) microarchitectural components including new prefetchers and branch predictors. Aiden Stickney, Osvaldo Castro, Aaron Chan, Paul Gratz, Jiang Hu 0001, Aakash Tyagi, Jered Dominguez-Trujillo, Galen M. Shipman, Kevin Sheridan |
DATE | 6 |
| 2023 | HyPFuzz: Formal-Assisted Processor Fuzzing
Chen Chen 0125, Rahul Kande, Nathan Nguyen, Flemming Andersen, Aakash Tyagi, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran |
USENIX Security Symposium | 5 |
| 2022 | How Good Is Your Verilog RTL Code?: A Quick Answer from Machine LearningabstractHardware Description Language (HDL) is a common entry point for designing digital circuits. Differences in HDL coding styles and design choices may lead to considerably different design quality and performance-power tradeoff. In general, the impact of HDL coding is not clear until logic synthesis or even layout is completed. However, running synthesis merely as a feedback for HDL code is computationally not economical especially in early design phases when the code needs to be frequently modified. Furthermore, in late stages of design convergence burdened with high-impact engineering change orders (ECO's), design iterations become prohibitively expensive. To this end, we propose a machine learning approach to Verilog-based Register-Transfer Level (RTL) design assessment without going through the synthesis process. It would allow designers to quickly evaluate the performance-power tradeoff among different options of RTL designs. Experimental results show that our proposed technique achieves an average of 95% prediction accuracy in terms of post-placement analysis, and is 6 orders of magnitude faster than evaluation by running logic synthesis and placement. Prianka Sengupta, Aakash Tyagi, Yiran Chen 0001, Jiang Hu 0001 |
ICCAD | 2 |
| 2022 | Automated Generation of Tiny Model for Real-Time ECG Classification on Tiny Edge DevicesabstractContinuous monitoring of cardiac health through single-lead wearable Electrocardiogram (ECG), is important for paroxysmal Atrial Fibrillation (AF) detection. Wearable ECG straps, watches, and implantable loop recorders (ILR) are based on this paradigm. These devices are used by medical professionals to view data from multiple patients, perform continuous monitoring and analysis to provide immediate care to patients. These monitoring devices display simple health screening alerts to the subjects and generate distress signals for people working outdoors or in isolated environments with intermittent Internet connectivity. Hence, low-memory, low-power, low-latency on-device inference becomes very important. This work aims at realizing such solutions by providing a framework to generate tiny (less than 256 KB) Deep Neural Networks customized for typical microcontrollers (MCU) used in those devices. Shalini Mukhopadhyay, Swarnava Dey, Avik Ghose, Aakash Tyagi |
SenSys | 4 |
| 2022 | TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities
Rahul Kande, Addison Crump, Garrett Persyn, Patrick Jauernig, Ahmad-Reza Sadeghi, Aakash Tyagi, Jeyavijayan Rajendran |
USENIX Security Symposium | 6 |
| 1990 | Systolic array implementation of image segmentation by a directed split and merge procedureabstractA systolic array implementation of image segmentation by a split and merge procedure is proposed. The implementation enhances the input/output and memory bandwidth requirements, leading to a decrease in the computation time for the segmentation of an image. Image segmentation through the proposed approach can be achieved in linear time.> Aakash Tyagi, Magdy A. Bayoumi |
ICPR (2) | 1 |