Viktor Malík

icon indicating an email [email protected]

icon company Red Hat icon location Brno, Czech Republic icon location Software engineer at Red Hat. PhD from Brno University of Technology. Doing BPF tracing, static analysis, formal verification.

Results 24 repositories owned by Viktor Malík

diffkemp

21
Stars
11
Forks
Watchers

Static analysis of semantic differences in kernel versions

verified publisher icon viktormalik