Weixin Yu

According to our database, Weixin Yu authored at least 1 paper in 2024.

Collaborative distances:

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

2024

IronSpec: Increasing the Reliability of Formal Specifications.

Eli Goldweber, Weixin Yu, Seyed Armin Vakil-Ghahani, Manos Kapritsos

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024