How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
October 2020 - present
March 2011 - April 2013
- Web developer
Final presentation of the master thesis https://bitbucket.org/OPiMedia/efficient-parallel-abstract-interpreter-in-scala/
Verifying the correction of programs (or on the contrary the highlighting of bugs) is both a necessity and a difficulty. A necessity due to our constant use of computer tools. And a difficulty due to a fundamental theoretical impossibility, and due to the practical difficulties of obtaining reasonable calculation times. This thesis concerns the st...
Quick statement of the σ_odd problem (and its variant ς_odd problem) with an algorithm to check it. Benchmarks of parallel implementations in multi-threads, Open MPI and OpenCL.