Ilya Yanok

According to our database, Ilya Yanok authored at least 2 papers between 2015 and 2018.

Collaborative distances:

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

2018

Implementing resource-aware safe assembly for kernel probes as a dependently-typed DSL.

Ilya Yanok, Nathaniel Nystrom

Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, 2018

2015

Tapir: A Language for Verified OS Kernel Probes.

Ilya Yanok, Nathaniel Nystrom

ACM SIGOPS Oper. Syst. Rev., 2015