Rei Thiessen

According to our database, Rei Thiessen authored at least 2 papers in 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Efficient Pointer Analysis of Java in Logic.

Rei Thiessen

PhD thesis, 2017

Context transformations for pointer analysis.

Rei Thiessen, Ondrej Lhoták

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017