( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
LazyBarrier: Reconstructing Android IO Stack for Barrier-Enabled Flash Storage.

, , , , , , и . ASPLOS (2), стр. 601-615. ACM, (2024)

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.

Sungjune Park

Rosemary Park

Jinhyung Park

Kwan Park

Shinja Park

 

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

A formal verification tool for Ethereum VM bytecode., , , , и . ESEC/SIGSOFT FSE, стр. 912-915. ACM, (2018)Interactive Proofs for Rounding Arithmetic., , , и . IEEE Access, (2022)Global Sparse Analysis Framework., , , , , , и . ACM Trans. Program. Lang. Syst., 36 (3): 8:1-8:44 (2014)iJournaling: Fine-Grained Journaling for Improving the Latency of Fsync System Call., и . USENIX Annual Technical Conference, стр. 787-798. USENIX Association, (2017)End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract., , и . CAV (1), том 12224 из Lecture Notes in Computer Science, стр. 151-164. Springer, (2020)Efficient Logistic Regression on Large Encrypted Data., , , и . IACR Cryptol. ePrint Arch., (2018)KJS: a complete formal semantics of JavaScript., , и . PLDI, стр. 346-356. ACM, (2015)KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine., , , , , , , , , и 1 other автор(ы). CSF, стр. 204-217. IEEE Computer Society, (2018)A Language-Independent Approach to Smart Contract Verification., , и . ISoLA (4), том 11247 из Lecture Notes in Computer Science, стр. 405-413. Springer, (2018)A complete formal semantics of x86-64 user-level instruction set architecture., , , , и . PLDI, стр. 1133-1148. ACM, (2019)