PhD. Researching on Static Analysis Engine.
simba. Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation
pldi2023-artifact. PLDI2023 Simba Artifact
