default search action

combined dblp search
author search
venue search
publication search

ask others

Julien Vanegue

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/RaadVBO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/RaadVBO23
Azalea Raad, Julien Vanegue, Josh Berdine, Peter W. O'Hearn:
A General Approach to Under-Approximate Reasoning About Concurrent Programs. CONCUR 2023: 25:1-25:17
2022
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/Vanegue22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Vanegue22
Julien Vanegue:
Adversarial Logic. SAS 2022: 422-448
2014
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/Vanegue14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/Vanegue14
Julien Vanegue:
The Weird Machines in Proof-Carrying Code. IEEE Symposium on Security and Privacy Workshops 2014: 209-213
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/VanegueL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/VanegueL13
Julien Vanegue, Shuvendu K. Lahiri:
Towards Practical Reactive Security Audit Using Extended Static Checkers. IEEE Symposium on Security and Privacy 2013: 33-47
2012
[c4]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/woot/VanegueH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/woot/VanegueH12
Julien Vanegue, Sean Heelan:
SMT Solvers in Software Security. WOOT 2012: 85-96
2011
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/LahiriV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/LahiriV11
Shuvendu K. Lahiri, Julien Vanegue:
ExplainHoudini: Making Houdini Inference Transparent. VMCAI 2011: 309-323
2010
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BallHLQV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BallHLQV10
Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue:
Towards Scalable Modular Checking of User-Defined Properties. VSTTE 2010: 1-24
[c1]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/woot/Vanegue10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/woot/Vanegue10
Julien Vanegue:
Zero-sized Heap Allocations Vulnerability Analysis. WOOT 2010

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.