Gijung Im

Orcid: 0009-0002-0280-4451

According to our database¹, Gijung Im authored at least 2 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

PROMISE: Proof Automation as Structural Imitation of Human Reasoning.

[DOI]

CoRR, April, 2026

2025

Compositional Model-Driven Verification of Weakly Consistent Distributed Systems.

[DOI]

Proceedings of the 13th Workshop on Programming Languages and Operating Systems, 2025