Robert Husák

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 6

Top Topics

Highly Optimized

Intermediate Representations

Symbolic Execution

Program Comprehension

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

J. Comput. Lang.

Publications