Ray Lin

According to our database, Ray Lin authored at least 2 papers between 2007 and 2025.

Collaborative distances:

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

2025

Comprehensive Formal Verification of Observational Correctness for the CHERIoT-Ibex Processor.

Louis-Emile Ploix, Alasdair Armstrong, Tom Melham, Ray Lin, Haolong Wang, Anastasia Courtney

CoRR, February, 2025

2007

Methodologies for Extracting Functional Pharmacogenomic Experiments from International Repository.

Yi-An Lin, Annie P. Chiang, Ray Lin, Peggy Yao, Rong Chen, Atul J. Butte

Proceedings of the AMIA 2007, 2007