Home
>
Verimag
>
Seminars
Seminar details
Room 206 (2nd floor, badged access)
30 August 2021 - 14h00
Vellvm semantics
by
Yannick Zakowski
from LIP
Abstract: Formalization of VellVM semantics using interaction trees
Browsing
Sections
Verimag
Members
Publications
Tools
Jobs and Internships
Projects
Partners
Workshops and Conferences
Seminars
Archives
Documents
Topics
Contact
Site Map
Building Access
News
NEWS
Joseph Sifakis
Understanding and Changing the World, From Information to Knowledge and Intelligence
Seminars
Seminars
29 September 2022
Merigoux Denis:
Rules, computation and politics: scrutinizing unnoticed programming choices in french (...)
27 October 2022
Hugo Gimbert:
Les algorithmes de parcoursup
New publications
Some Recent Publications
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit:
Self-stabilizing Systems in Spite of High Dynamics
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade:
Finding Water on Poleless using Melomaniac Myopic Chameleon Robots
Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil:
Terminating Exploration of a Grid by an Optimal Number of Asynchronous Oblivious Robots
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade:
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality
Jobs and internships
Jobs and internships
(un)decidability of polyhedral invariant inference
Thèse CIFRE : Cybersecurity - Fault injection attacks
Thèse/PhD Position - Coverage Measures for Machine Learning Enabled Cyber-Physical Systems
verified decomposition of arithmetic operators
Verified global value numbering
[master or PhD] Convex polyhedra in floating point
[master] automatic insertion of countermeasures in a verified compiler
[master] formally verified hash-consing
[Master] Multi-core Interference analysis and Global Scheduling
Contact
|
Site Map
|
Site powered by SPIP 3.2.16
+
AHUNTSIC
[CC License]
info visites
1880298
English
Français