Personal information

Countries

Austria

Activities

Collapse all

Employment (1)

Johannes Kepler University of Linz: Linz, Oberösterreich, AT

2016-09 to 2020-09 | Student Researcher (Institute for System Software)
Employment
Source: Self-asserted source
Thomas Pointhuber

Works (2)

SymJEx: Symbolic Execution on GraalVM

2020-11 | Dissertation or Thesis
URN: urn:nbn:at:at-ubl:1-39799
Source: Self-asserted source
Thomas Pointhuber

SymJEx: Symbolic Execution on the GraalVM

17th International Conference on Managed Programming Languages and Runtimes
2020-11-04 | Conference paper
DOI: 10.1145/3426182.3426187
ISBN: 9781450388535
Source: Self-asserted source
Thomas Pointhuber
grade
Preferred source (of 2)‎
How many people are using ORCID?