Login / Signup
Ilya Yanok
Publication Activity (10 Years)
Years Active: 2015-2018
Publications (10 Years): 3
Top Topics
Lambda Calculus
Component Analysis
Programming Language
Kernel Methods
Top Venues
ACM SIGOPS Oper. Syst. Rev.
PLOS@SOSP
TyDe@ICFP
</>
Publications
</>
Ilya Yanok
,
Nathaniel Nystrom
Implementing resource-aware safe assembly for kernel probes as a dependently-typed DSL.
TyDe@ICFP
(2018)
Ilya Yanok
,
Nathaniel Nystrom
Tapir: a language for verified OS kernel probes.
PLOS@SOSP
(2015)
Ilya Yanok
,
Nathaniel Nystrom
Tapir: A Language for Verified OS Kernel Probes.
ACM SIGOPS Oper. Syst. Rev.
49 (2) (2015)