Nursultan Kabylkas

According to our database, Nursultan Kabylkas authored at least 4 papers between 2020 and 2025.

Collaborative distances:

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

2025

Firefly: Shedding Light on Verification Gaps using LLM-Powered Mutation Testing.

Bekzat Skakov, Sanzhar Abduraimov, Olzhas Nurman, Nursultan Kabylkas

Proceedings of the 7th ACM/IEEE Symposium on Machine Learning for CAD, 2025

2022

Improving Effectiveness and Productivity of Microprocessor Verification

Nursultan Kabylkas

PhD thesis, 2022

2021

Effective Processor Verification with Logic Fuzzer Enhanced Co-simulation.

Nursultan Kabylkas, Tommy Thorn, Shreesha Srinath, Polychronis Xekalakis, Jose Renau

Proceedings of the MICRO '21: 54th Annual IEEE/ACM International Symposium on Microarchitecture, 2021

2020

Load Driven Branch Predictor (LDBP).

Akash Sridhar, Nursultan Kabylkas, Jose Renau

CoRR, 2020