Martin Bodin
Orcid: 0000-0003-3588-3782
According to our database1,
Martin Bodin
authored at least 10 papers
between 2011 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
0
1
2
3
1
1
1
1
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
2019
2018
Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, 2018
2016
Certified semantics and analysis of JavaScript. (Sémantique et analyse certifiée de JavaScript).
PhD thesis, 2016
2015
Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015
2014
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
Pretty-big-step-semantics-based Certified Abstract Interpretation.
Proceedings of the 25. Journées francophones des langages applicatifs, 2014
2013
Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version).
Proceedings of the Semantics, 2013
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013
2011
Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011