Tony Law

Orcid: 0009-0003-6412-3181

According to our database¹, Tony Law authored at least 2 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Mechanized Semantics for Circuits: From Dataflow to Hardware. (Sémantiques mécanisées de circuits : du flot de données au matériel).

[DOI]

PhD thesis, 2026

2025

A Mechanized Semantics for Dataflow Circuits.

[DOI]

Proc. ACM Program. Lang., 2025