( en | de | ru )

 

Disambiguation of "Jia, Songlin"

Author of the publication

copydeleteadd this publication to your clipboard
Annotating, Tracking, and Protecting Cryptographic Secrets with CryptoMPK.

, , , , , , , , and . SP, page 650-665. IEEE, (2022)

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. You can also use the button next to the name to display some publications already assigned to the person.

Jia Jia

Jia Xu

Lina Jia

Zhongxiao Jia

Jia Miao

 

Other publications of authors with the same name

Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies., , , , , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 400-430 (October 2023)The effect of cloud optical thickness, ground surface albedo and above-cloud absorbing dust layer on the cloudbow structure., , , , , and . IGARSS, page 2174-2176. IEEE, (2016)Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs., , , , and . CoRR, (2023)Annotating, Tracking, and Protecting Cryptographic Secrets with CryptoMPK., , , , , , , , and . SP, page 650-665. IEEE, (2022)Synergetic Use of MODIS Cloud Parameters for Distinguishing High Aerosol Loadings From Clouds Over the North China Plain., , , , and . IEEE J Sel. Topics in Appl. Earth Observ. and Remote Sensing, 7 (12): 4879-4886 (2014)Accelerating SM2 Digital Signature Algorithm Using Modern Processor Features., , , , , , , and . ICICS, volume 11999 of Lecture Notes in Computer Science, page 430-446. Springer, (2019)Graph IRs for Impure Higher-Order Languages (Technical Report)., , , , , , and . CoRR, (2023)Exploiting polarization to resist phase noise for digital self-interference cancellation in full-duplex., , , and . ICC, page 1-6. IEEE, (2016)Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs., , , , and . Proc. ACM Program. Lang., 8 (POPL): 393-424 (January 2024)Compiling Parallel Symbolic Execution with Continuations., , , , , , and . ICSE, page 1316-1328. IEEE, (2023)