• Sign in
  • Sign up
conf.researchr.org / Julien Signoles
  • ECOOP 2019 profile
  • ECOOP 2022 profile
  • ECOOP and ISSTA 2021 profile
  • PLDI 2022 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2017 profile
  • POPL 2021 profile
  • SPLASH 2018 profile
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

Share
xThu 30 Jun 06:21
using conf.researchr.org (v1.56.1)
Support page
Sign Up