Summary
I am a postdoc researcher under the direction of Azalea Raad. I am working on formalizing the semantics of weak memory models.
My PhD, supervised by Alan Schmitt and Sergueï Lenglet, was on skeletal semantics, a framework to simplify the definition of programming languages.
Selected Publications
Journal Articles
Ambal G, Lenglet S, Schmitt A, 2021, HOπ in Coq, Journal of Automated Reasoning, Vol:65, ISSN:0168-7433, Pages:75-124
Conference
Ambal G, Lenglet S, Schmitt A, et al. , 2022, Certified Derivation of Small-Step From Big-Step Skeletal Semantics, PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, ACM
Ambal G, Lenglet S, Schmitt A, 2022, Certified abstract machines for skeletal semantics, CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, ACM
Thesis Dissertations
Ambal G, 2022, Skeletal Semantics Transformations