• Sign in
  • Sign up
conf.researchr.org / Julien Vanegue
  • ICSE 2024 profile
  • PLDI 2024 profile
  • POPL 2023 profile
  • POPL 2024 profile
  • POPL 2025 profile
  • SPLASH 2022 profile
  • SPLASH 2024 profile
Julien Vanegue

Registered user since Wed 7 Oct 2015

Name:Julien Vanegue
Bio:

Head of Infrastructure & Security Research at Bloomberg in New York, USA.

Country:United States
Affiliation:Imperial College London; Bloomberg
Personal website: https://openwall.info/wiki/people/jvanegue
X (Twitter): https://x.com/jvanegue
GitHub: https://github.com/jvanegue
Research interests:Software Security, Large Scale Verification, Program Logic, Local Reasoning, Concurrency

Contributions

2025

TPSA

  • Committee Member in Program Committee within the TPSA 2025-track

2024

SPLASH

  • Author of Non-Termination Proving at Scale within the OOPSLA 2024-track

Infer

  • Author of Bridging the Gap For Security Analysis In Infer within the Infer 2024-track

KLEE

  • Session Chair of Coverage and Memory Errors & Closing (part of KLEE 2024)
  • Presenter of Concurrent Adversarial Separation Logic: A General Approach to Under-approximate Reasoning about Concurrent Programs within the KLEE 2024-track

Formal Methods for Incorrectness

  • Author of Towards Temporal Adversarial Logic within the Incorrectness-track

O'Hearn Fest

  • Author of Bi-abductive adversarial program synthesis within the O'Hearn Fest-track

2023

POPL

  • Author of Incorrectness Logic and Under-approximation: Foundations of Bug Catching within the TutorialFest-track

2022

Static Analysis Symposium

  • Author of Adversarial Logic within the SAS-track
Share
xSun 25 May 08:37
using conf.researchr.org (v1.69.0)
Support page
Sign Up