( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel.

, , , и . OSDI, стр. 41-61. USENIX Association, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Nelson Siao

Fritz Nelson

Nelson Noroozi

Nelson Valdivia

Nelson Kilpp

 

Другие публикации лиц с тем же именем

Biological Earth observation with animal sensors, , , , , , , , , и 208 other автор(ы). Trends in Ecology & Evolution, 37 (4): 293-298 (2022)A formal foundation for symbolic evaluation with merging., , , и . Proc. ACM Program. Lang., 6 (POPL): 1-28 (2022)Synthesizing JIT Compilers for In-Kernel DSLs., , , , и . CAV (2), том 12225 из Lecture Notes in Computer Science, стр. 564-586. Springer, (2020)Scaling symbolic evaluation for automated verification of systems code with Serval., , , , , и . SOSP, стр. 225-242. ACM, (2019)The Tamari block lattice: An order on saturated chains in the Tamari lattice., и . Discret. Math., 345 (9): 112951 (2022)Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel., , , и . OSDI, стр. 41-61. USENIX Association, (2020)A recursion on maximal chains in the Tamari lattices.. Discret. Math., 340 (4): 661-677 (2017)Noninterference specifications for secure systems., , , , и . ACM SIGOPS Oper. Syst. Rev., 54 (1): 31-39 (2020)Recursive constructions for the higher Stasheff - Tamari orders in dimension three using the Outer Tamari and Tamari Block posets., и . Discret. Math., 347 (3): 113786 (марта 2024)Empirical Study of Ground Proximity Effects for Small-scale Electroaerodynamic Thrusters., , и . CoRR, (2023)