Tram Hoang

According to our database, Tram Hoang authored at least 1 paper in 2022.

Collaborative distances:

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

2022

Random testing of a higher-order blockchain language (experience report).

Tram Hoang, Anton Trunov, Leonidas Lampropoulos, Ilya Sergey

Proc. ACM Program. Lang., 2022