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!

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.