Julien Signoles -

Registered user since Fri 24 May 2019

Name:Julien Signoles

Country:France

Affiliation:CEA LIST, University Paris-Saclay, France

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

Research interests:Runtime Assertion Checking; Code Analysis for Safety and Security

Contributions

VORTEX 2022	PC Member in VORTEX 2022 Workshop Organizers within the VORTEX 2022-track
SOAP 2022	CEA LIST in Program Committee within the SOAP 2022-track
VORTEX 2021	Invited Speaker of The E-ACSL Perspective on Runtime Assertion Checking within the VORTEX-track
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