Shinhae Kim

According to our database, Shinhae Kim authored at least 5 papers between 2020 and 2026.

Collaborative distances:

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

2026

I Can't Believe It's Not a Valid Exploit.

Derin Gezgin, Amartya Das, Shinhae Kim, Zhengdong Huang, Nevena Stojkovic, Claire Wang

CoRR, February, 2026

Testing Deep Learning Libraries via Neurosymbolic Constraint Learning.

M. M. Abid Naziri, Shinhae Kim, Feiran (Alex) Qin, Marcelo d'Amorim, Saikat Dutta

CoRR, January, 2026

2025

Faster Runtime Verification during Testing via Feedback-Guided Selective Monitoring.

Shinhae Kim, Saikat Dutta, Owolabi Legunsen

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

2023

EtherDiffer: Differential Testing on RPC Services of Ethereum Nodes.

Shinhae Kim, Sungjae Hwang

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2020

Analysis of Blockchain Smart Contracts: Techniques and Insights.

Shinhae Kim, Sukyoung Ryu

Proceedings of the IEEE Secure Development, SecDev 2020, Atlanta, GA, USA, 2020