
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
Twitter:https://twitter.com/jvanegue
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
View general profile