Welcome

My name is Thibaut Girka, and I am a PhD student at IRIF working on semantic program differencing.

Publications

• A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences
• Verifiable Semantic Difference Languages