Thien Udomsrirungruang

According to our database, Thien Udomsrirungruang authored at least 5 papers between 2024 and 2025.

Collaborative distances:

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

2025

Artifact for "qblaze: An Efficient and Scalable Sparse Quantum Simulator".

Hristo Venev, Thien Udomsrirungruang, Dimitar Dimitrov, Timon Gehr, Martin T. Vechev

Dataset, August, 2025

Artifact for "qblaze: An Efficient and Scalable Sparse Quantum Simulator".

Hristo Venev, Thien Udomsrirungruang, Dimitar Dimitrov, Timon Gehr, Martin T. Vechev

Dataset, August, 2025

qblaze: An Efficient and Scalable Sparse Quantum Simulator.

Hristo Venev, Thien Udomsrirungruang, Dimitar Dimitrov, Timon Gehr, Martin T. Vechev

Proc. ACM Program. Lang., 2025

Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types.

Thien Udomsrirungruang, Nobuko Yoshida

Proc. ACM Program. Lang., 2025

2024

Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses.

Thien Udomsrirungruang, Nobuko Yoshida

Proceedings of the Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2024