Publications of Martin Bodin

Load the BibTeX file

International Conferences

1. Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith. A Trusted Mechanised JavaScript Specification. In POPL 2014 - 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, United States, November 2013. download
2. Martin Bodin, Alan Schmitt. A Certified JavaScript Interpreter. In JFLA - Journées francophones des langages applicatifs, Damien Pous, Christine Tasson (eds.), Aussois, France, February 2013. download