read

It was recently announced that we got the best paper award at GPCE 2018 for our paper on Verification of High-Level Transformations with Inductive Refinement Types. The paper is about how we build a sound and efficient static analyzer for a large subset of Rascal based on Schmidt-style abstract interpretation. If you think, it sounds exciting, go read our paper already!

Best Paper award at GPCE 2018

I am pretty stoked about getting the award, since I have been working a long time (almost 1.5 years) on making the technique work and the presentation understandable enough for the reviewers to appreciate the work.

Blog Logo

Ahmad Salim Al-Sibahi


Published

Image

Ahmad Salim Al-Sibahi

"Currently working on: Probably programming probabilistic programs for voucher scanning."

Back to Overview