Songlin Jia

Orcid: 0009-0008-2526-0438

According to our database1, Songlin Jia authored at least 10 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs.
Proc. ACM Program. Lang., January, 2024

Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking.
CoRR, 2024

2023
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies.
Proc. ACM Program. Lang., October, 2023

Graph IRs for Impure Higher-Order Languages (Technical Report).
CoRR, 2023

Compiling Parallel Symbolic Execution with Continuations.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022
Annotating, Tracking, and Protecting Cryptographic Secrets with CryptoMPK.
Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

2019
Accelerating SM2 Digital Signature Algorithm Using Modern Processor Features.
Proceedings of the Information and Communications Security - 21st International Conference, 2019

2016
The effect of cloud optical thickness, ground surface albedo and above-cloud absorbing dust layer on the cloudbow structure.
Proceedings of the 2016 IEEE International Geoscience and Remote Sensing Symposium, 2016

Exploiting polarization to resist phase noise for digital self-interference cancellation in full-duplex.
Proceedings of the 2016 IEEE International Conference on Communications, 2016

2014
Synergetic Use of MODIS Cloud Parameters for Distinguishing High Aerosol Loadings From Clouds Over the North China Plain.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2014


  Loading...