Aakash Tyagi

According to our database, Aakash Tyagi authored at least 8 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

MinBLoG: Minimization of Boolean Logic Functions using Graph Attention Network.

Prianka Sengupta, Aakash Tyagi, Jiang Hu, Vivek K. Rajan, Hesham Mostafa, Somdeb Majumdar

Proceedings of the 2024 ACM/IEEE International Symposium on Machine Learning for CAD, 2024

2023

HyPFuzz: Formal-Assisted Processor Fuzzing.

Chen Chen, Rahul Kande, Nathan Nguyen, Flemming Andersen, Aakash Tyagi, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran

Proceedings of the 32nd USENIX Security Symposium, 2023

Early Identification of Timing Critical RTL Components using ML based Path Delay Prediction.

Prianka Sengupta, Aakash Tyagi, Yiran Chen, Jiang Hu

Proceedings of the 5th ACM/IEEE Workshop on Machine Learning for CAD, 2023

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

Proceedings of the 31st USENIX Security Symposium, 2022

Automated Generation of Tiny Model for Real-Time ECG Classification on Tiny Edge Devices.

Shalini Mukhopadhyay, Swarnava Dey, Avik Ghose, Aakash Tyagi

Proceedings of the 20th ACM Conference on Embedded Networked Sensor Systems, 2022

Transaction Level Stimulus Optimization in Functional Verification Using Machine Learning Predictors.

Saumil Gogri, Aakash Tyagi, Michael Quinn, Jiang Hu

Proceedings of the 23rd International Symposium on Quality Electronic Design, 2022

How Good Is Your Verilog RTL Code?: A Quick Answer from Machine Learning.

Prianka Sengupta, Aakash Tyagi, Yiran Chen, Jiang Hu

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

1990

Systolic array implementation of image segmentation by a directed split and merge procedure.

Aakash Tyagi, Magdy A. Bayoumi

Proceedings of the 10th IAPR International Conference on Pattern Recognition, 1990