This shows you the differences between two versions of the page.
|
people:jvanegue [2015/12/30 21:06] jvanegue [Talks and Presentations] |
people:jvanegue [2024/11/30 23:19] (current) jvanegue [Selected papers] |
||
|---|---|---|---|
| Line 9: | Line 9: | ||
| I intend to keep track of my public work on this page, which I failed to do for years due to my general indolence unhelped by a mild twitter addiction ([[http://twitter.com/jvanegue|@jvanegue]]). | I intend to keep track of my public work on this page, which I failed to do for years due to my general indolence unhelped by a mild twitter addiction ([[http://twitter.com/jvanegue|@jvanegue]]). | ||
| - | ===== Talks and Presentations ===== | + | ===== Talks, Presentations and Opinions ===== |
| + | |||
| + | {{jvanegue/files/ohearnfest_vanegue.pdf|Bi-Abductive Adversarial Program Synthesis}} \\ | ||
| + | //Invited talk at POPL 2024 O'Hearn's fest in honor of Peter O'Hearn's 60th birthday// \\ | ||
| + | |||
| + | {{jvanegue/files/soundness_of_attacks.pdf|In Memory Safety, The Soundness Of Attacks Is What Matters}} \\ | ||
| + | Position Statement \\ | ||
| + | |||
| + | {{jvanegue/files/aegc_retro_2018_jvanegue.pdf|The Automated Exploit Grand Challenge : A Five-Year retrospective}} \\ | ||
| + | //Invited talk, IEEE Symposium on Security and Privacy LangSec Workshop 2018// | ||
| {{jvanegue/files/spw15_heap_models_vanegue_latest.pdf|Heap Models For Exploit Systems}} \\ | {{jvanegue/files/spw15_heap_models_vanegue_latest.pdf|Heap Models For Exploit Systems}} \\ | ||
| - | //Invited talk, IEEE Symposium on Security and Privacy LangSec Workshop 2015// | + | //Work-in-progress talk, IEEE Symposium on Security and Privacy LangSec Workshop 2015// |
| {{jvanegue/files/csaw2013_panel.pdf|Are Reverse Engineering and Exploit Writing an Art or a Science?}} \\ | {{jvanegue/files/csaw2013_panel.pdf|Are Reverse Engineering and Exploit Writing an Art or a Science?}} \\ | ||
| Line 27: | Line 36: | ||
| ===== Selected papers ===== | ===== Selected papers ===== | ||
| - | These are some of my recently published articles: | + | These are some of my published articles: |
| + | |||
| + | {{jvanegue/files/nonterminationprovingatscale.pdf|Non-Termination Proving At Scale}} \\ | ||
| + | //by Azalea Raad, Julien Vanegue and Peter O'Hearn// \\ | ||
| + | //Published at the Object-oriented Programming, Systems, Languages, and Applications (OOPSLA'24, Pasadena, CA, USA) // \\ | ||
| + | |||
| + | {{jvanegue/files/casl_concur.pdf|A General Approach to Under-Approximate Reasoning About Concurrent Programs}} \\ | ||
| + | //by Azalea Raad, Julien Vanegue, Josh Berdine and Peter O'Hearn// \\ | ||
| + | //Published at the International Conference on Concurrency Theory 2023 (CONCUR'23, Antwerp, BE) // \\ | ||
| + | //Extended version (with soundness proof)// {{jvanegue/files/casl_extended.pdf|here}} | ||
| + | |||
| + | {{jvanegue/files/adversarial_logic.pdf|Adversarial Logic}} \\ | ||
| + | //Published at the International Static Analysis Symposium 2022 (SAS'22, Auckland, NZ) // | ||
| {{jvanegue/files/vanegue_langsec14.pdf|The Weird Machines in Proof-Carrying Code}} \\ | {{jvanegue/files/vanegue_langsec14.pdf|The Weird Machines in Proof-Carrying Code}} \\ | ||
| - | //Invited paper, IEEE Symposium on Security and Privacy LangSec Workshop 2014// | + | //Published at the IEEE Symposium on Security and Privacy LangSec Workshop 2014// |
| {{jvanegue/files/sp13.pdf|Towards practical reactive security audit using extended static checkers}} \\ | {{jvanegue/files/sp13.pdf|Towards practical reactive security audit using extended static checkers}} \\ | ||
| Line 55: | Line 76: | ||
| //Published at the Usenix Security Workshop on Offensive Technologies (WOOT'10)// | //Published at the Usenix Security Workshop on Offensive Technologies (WOOT'10)// | ||
| + | ===== Notes from conferences ====== | ||
| + | |||
| + | {{jvanegue/files/klee_workshop.pdf|Report on KLEE workshop}} \\ | ||
| + | //by Julien Vanegue and Peter Martin// \\ | ||
| + | //The First International KLEE workshop on Symbolic Execution (Imperial College, London, UK, April 2018)// \\ | ||
| + | {{jvanegue/files/qccs23_yale.pdf|Report on the Quantum Computer Cybersecurity Symposium}} \\ | ||
| + | //by Julien Vanegue and Julio Auto// \\ | ||
| + | //The First Quantum Computer Cybersecurity Symposium (Yale University, New Haven, USA, November 2023)// \\ | ||
| ===== Older papers ===== | ===== Older papers ===== | ||