Joshua A. Bockenek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | DIMVA | Exceptional Interprocedural Control Flow Graphs for x86-64 Binaries. | Joshua A. Bockenek, Freek Verbeek, Binoy Ravindran |
| 2022 | PLDI | Formally verified lifting of C-compiled x86-64 binaries. | Freek Verbeek, Joshua A. Bockenek, Zhoulai Fu, Binoy Ravindran |
| 2020 | TACAS | Highly Automated Formal Proofs over Memory Usage of Assembly Code. | Freek Verbeek, Joshua A. Bockenek, Binoy Ravindran |
| 2019 | MEMOCODE | Establishing a refinement relation between binaries and abstract code. | Freek Verbeek, Joshua A. Bockenek, Abhijith Bharadwaj, Binoy Ravindran, Ian Roessle |
| 2019 | SAFECOMP | Formal Verification of Memory Preservation of x86-64 Binaries. | Joshua A. Bockenek, Freek Verbeek, Peter Lammich, Binoy Ravindran |