Viktor Malk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2018–2023
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | TACAS | 2LS: Arrays and Loop Unwinding - (Competition Contribution). | Viktor Malk, Frantisek Necas, Peter Schrammel, Toms Vojnar |
| 2021 | ICST | Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. | Viktor Malk, Toms Vojnar |
| 2020 | TACAS | 2LS: Heap Analysis and Memory Safety - (Competition Contribution). | Viktor Malk, Peter Schrammel, Toms Vojnar |
| 2018 | FMCAD | Template-Based Verification of Heap-Manipulating Programs. | Viktor Malk, Martin Hruska, Peter Schrammel, Toms Vojnar |
| 2018 | TACAS | 2LS: Memory Safety and Non-termination - (Competition Contribution). | Viktor Malk, Stefan Marticek, Peter Schrammel, Mandayam K. Srivas, Toms Vojnar, Johanan Wahlang |