This shows you the differences between two versions of the page.
|
people:jvanegue [2024/11/30 23:15] jvanegue [Selected papers] |
people:jvanegue [2024/11/30 23:19] (current) jvanegue [Selected papers] |
||
|---|---|---|---|
| Line 38: | Line 38: | ||
| These are some of my published articles: | These are some of my published articles: | ||
| - | {{jvanegue/files/NonTerminationProvingAtScale.pdf|Non-Termination Proving At Scale}} \\ | + | {{jvanegue/files/nonterminationprovingatscale.pdf|Non-Termination Proving At Scale}} \\ |
| //by Azalea Raad, Julien Vanegue and Peter O'Hearn// \\ | //by Azalea Raad, Julien Vanegue and Peter O'Hearn// \\ | ||
| //Published at the Object-oriented Programming, Systems, Languages, and Applications (OOPSLA'24, Pasadena, CA, USA) // \\ | //Published at the Object-oriented Programming, Systems, Languages, and Applications (OOPSLA'24, Pasadena, CA, USA) // \\ | ||