null OU-onderzoekers presenteren drie papers op de TACAS 2020 conferentie

INF_DoYouTrustIt_Sleepwet_13790_head_large.jpg
OU-onderzoekers presenteren drie papers op de TACAS 2020 conferentie
Van 25 tot en met 30 april 2020 vindt in Dublin de TACAS 2020 conferentie plaats: de 26e International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Op deze gerenommeerde conferentie leveren drie onderzoekers van de Open Universiteit een bijdrage: Sung-Shik Jongmans, Stijn de Gouw en Freek Verbeek presenteren er elk een paper.

Drie papers

De OU-onderzoekers presenteren de volgende papers:

  • Ruben Hamers. Sung-Shik Jongmans
    Discourje: Runtime Verification of Communication Protocols in Clojure
  • Hans-Dieter Hiep, Olaf Maathuis, Jinting Bian, Frank De Boer, Marko Van Eekelen, Stijn De Gouw
    Verifying OpenJDK’s LinkedList using KeY
  • Freek Verbeek, Joshua Bockenek, Binoy Ravindran
    Highly Automated Formal Proofs over Memory Usage of Assembly Code

TACAS 2020 wordt georganiseerd door ETAPS European Joint Conferences on Theory & Practice of Software. Zie voor meer informatie de conferentiesite.