1. SCAF: a speculation-aware collaborative dependence analysis framework;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06
2. Verifying concurrent search structure templates;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06
3. Scaling up functional programming education: under the hood of the OCaml MOOC;Proceedings of the ACM on Programming Languages;2017-08-29
4. Reflections on LMS: exploring front-end alternatives;Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala;2016-10-30
5. Abstract interpretation;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14