2LS: Heap Analysis and Memory Safety: (Competition Contribution)

por Malík, Viktor, Schrammel, Peter, Vojnar, Tomáš
Publicado 2020

PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)

por Peringer, Petr, Šoková, Veronika, Vojnar, Tomáš
Publicado 2020

Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits

por Češka, Milan, Matyáš, Jiří, Mrazek, Vojtech, Vojnar, Tomáš
Publicado 2020

Symbiotic 7: Integration of Predator and More: (Competition Contribution)

por Chalupa, Marek, Jašek, Tomáš, Tomovič, Lukáš, Hruška, Martin, Šoková, Veronika, Ayaziová, Paulína, Strejček, Jan, Vojnar, Tomáš
Publicado 2020