Julien Signoles -

Registered user since Fri 24 May 2019

Name: Julien Signoles

Country: France

Affiliation: CEA LIST

Personal website: http://julien.signoles.free.fr/index.en.html

Contributions

VMCAI 2021	Author of Runtime Abstract Interpretation for Numerical Accuracy and Robustness within the VMCAI-track
VORTEX 2019	Committee Member in Program Committee within the VORTEX 2019-track
HILT 2018	Author of Soundness of a Dataflow Analysis for Memory Monitoring within the HILT 2018-track
ISMM 2017	Author of Shadow State Encoding for Efficient Monitoring of Block-level Properties within the ISMM 2017-track
POPL 2017	Committee Member in Selection Committee within the Student Research Competition-track Session Chair of Poster Session (part of Student Research Competition) Author of Hypercollecting Semantics and its Application to Static Analysis of Information Flow within the POPL-track