publications
publications by categories in reversed chronological order. generated by jekyll-scholar.
2015
- Automating the Abstract Interpretation of Abstract MachinesMar 2015
2014
-
- Abstracting abstract controlIn DLS’14, Proceedings of the 10th ACM Symposium on Dynamic Languages, part of SLASH 2014, Portland, OR, USA, October 20-24, 2014, Mar 2014
2013
- Optimizing abstract abstract machinesIn ACM SIGPLAN International Conference on Functional Programming, ICFP’13, Boston, MA, USA - September 25 - 27, 2013, Mar 2013