This shows you the differences between two versions of the page.
|
people:jvanegue [2023/10/06 02:24] jvanegue [Selected papers] |
people:jvanegue [2024/11/30 23:19] (current) jvanegue [Selected papers] |
||
|---|---|---|---|
| Line 10: | Line 10: | ||
| ===== Talks, Presentations and Opinions ===== | ===== 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}} \\ | {{jvanegue/files/soundness_of_attacks.pdf|In Memory Safety, The Soundness Of Attacks Is What Matters}} \\ | ||
| Line 34: | Line 37: | ||
| These are some of my 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}} \\ | {{jvanegue/files/casl_concur.pdf|A General Approach to Under-Approximate Reasoning About Concurrent Programs}} \\ | ||
| Line 75: | Line 82: | ||
| //The First International KLEE workshop on Symbolic Execution (Imperial College, London, UK, April 2018)// \\ | //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 ===== | ||