Julien Vanegue

Registered user since Wed 7 Oct 2015

Name:Julien Vanegue
Bio:

Member of the CTO Office, Bloomberg LP, New York, USA.

Country:United States
Affiliation:Bloomberg, USA
Personal website:http://www.bloomberg.com
Research interests:Security, Program Analysis, Verification, Bug finding, Exploit Programming

Contributions

POPL 2023 Incorrectness Logic and Under-approximation: Foundations of Bug Catching
Show activities from other conferences

POPL 2023-profile
View general profile