Ayaka Yorihiro

According to our database, Ayaka Yorihiro authored at least 2 papers between 2020 and 2023.

Collaborative distances:

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

2023

eMOP: A Maven Plugin for Evolution-Aware Runtime Verification.

Ayaka Yorihiro, Pengyue Jiang, Valeria Marqués, Benjamin Carleton, Owolabi Legunsen

Proceedings of the Runtime Verification - 23rd International Conference, 2023

2020

A Set-Based Context Model for Program Analysis.

Leandro Facchinetti, Zachary Palmer, Scott F. Smith, Ke Wu, Ayaka Yorihiro

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020