Differences

This shows you the differences between two versions of the page.

Link to this comparison view

people:jvanegue [2018/05/25 23:48]
jvanegue [Selected papers]
people:jvanegue [2024/03/03 23:38] (current)
jvanegue [Talks, Presentations and Opinions]
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 =====+===== TalksPresentations ​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}} \\ {{jvanegue/​files/​aegc_retro_2018_jvanegue.pdf|The Automated Exploit Grand Challenge : A Five-Year retrospective}} \\
Line 30: Line 36:
 ===== Selected papers ===== ===== Selected papers =====
  
-These are some of my recently ​published articles:+These are some of my published articles: 
 + 
 +{{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}} \\
Line 64: Line 78:
 //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 =====
  
people/jvanegue.1527284884.txt · Last modified: 2018/05/25 23:48 by jvanegue
 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate to DokuWiki Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki Powered by OpenVZ Powered by Openwall GNU/*/Linux