Martin Bodin

According to our database1, Martin Bodin authored at least 9 papers between 2011 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Skeletal semantics and their interpretations.
Proc. ACM Program. Lang., 2019

2018
A trustworthy mechanized formalization of R.
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
Certified Abstract Interpretation with Pretty-Big-Step Semantics.
Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

2014
A trusted mechanised JavaScript specification.
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

Circular Coinduction in Coq Using Bisimulation-Up-To Techniques.
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2011
Modular Abstractions of Reactive Nodes Using Disjunctive Invariants.
Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011


  Loading...