LabCompass

Songlin Jia

Computer Science · Purdue University West Lafayette

OpenAlex ORCID
Early career · publishing since 2020Rising activity
Logic, programming, and type systemsFormal Methods in VerificationSecurity and Verification in ComputingAdvanced Software Engineering MethodologiesParallel Computing and Optimization Techniques

Publications

15

Citations

67

Est. group size

~3

Recurring co-author estimate

Active years

7

Publishing since 2020

Research summary
AI-generated

Songlin Jia works in computer security and systems, focusing on protecting cryptographic secrets in software, verifying and securing computing systems, and improving the performance of cryptographic algorithms on modern processors. This research is relevant to building more trustworthy and efficient software systems, particularly around safeguarding sensitive data like encryption keys.

Software and systems securityCryptography and cryptographic algorithm optimizationFormal methods and program verificationProgramming languages and type systemsParallel computing and performance optimization

Publication output was minimal or absent in the earlier part of the decade but has increased noticeably since 2022, suggesting a growing and more active recent output.

Generated by claude-sonnet-5 from public bibliographic data · Jul 20, 2026

Publication cadence
Publications per year over the last 10 years — averaging 2.8/year recently
1718192020: 1 publication20212022: 1 publication222023: 4 publications232024: 1 publication242025: 3 publications252026: 5 publications526
Recent publications
Publishes in
  • Proceedings of the ACM on Programming Languages×7
  • arXiv (Cornell University)×5
  • 2022 IEEE Symposium on Security and Privacy (SP)×1
  • Lecture notes in computer science×1
Similar researchers
By research-topic overlap

This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.

Last updated Jul 20, 2026.

Claim or correct this profile