Another milestone achieved. I successfully defended my dissertation today. Thank you to my advisor Prof. Zvonimir Rakamarić @rakamaric for his great mentorship and support, thank you to… instagram.com/p/CDK11SLgmCVe…
Mark Baranowski recently presented our work on SMT theory of fixed-points at #ijcar2020. Check out the nice and polished video of his presentation. Implementation is publicly available, and so ping us if you are interested in analyzing fixed-points.
Camera-ready version of our VMCAI paper on exploring multi- and cross-language (think C+Rust) verification with SMACK is out. Check out Jack (JJ) Garzella's (undergraduate that spearheaded this work!) talk tomorrow at VMCAI. #vmcai20
