Shinhae Kim

Orcid: 0000-0001-7318-3993

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
I Can't Believe It's Not a Valid Exploit.
CoRR, February, 2026

Testing Deep Learning Libraries via Neurosymbolic Constraint Learning.
CoRR, January, 2026

2025
Faster Runtime Verification during Testing via Feedback-Guided Selective Monitoring.
Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

2023
EtherDiffer: Differential Testing on RPC Services of Ethereum Nodes.
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.
Proceedings of the IEEE Secure Development, SecDev 2020, Atlanta, GA, USA, 2020


  Loading...