Scholar

Songlin Jia

Google Scholar ID: L-b-B8kAAAAJ

Purdue University

Programming Languages

Google Scholar↗

Citations & Impact

All-time

Citations

139

H-index

6

i10-index

4

Publications

14

Co-authors

0

Contact

No contact links provided.

Publications

7 items

Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types

2026

Cited

0

Adaptive Proof Refinement with LLM-Guided Strategy Selection

2025

Cited

0

Typestate via Revocable Capabilities

2025

Cited

0

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer

2025

Cited

0

When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking

2025

Cited

0

Complete the Cycle: Reachability Types with Expressive Cyclic References

2025

Cited

0

Escape with Your Self: A Solution to the Avoidance Problem with Decidable Bidirectional Typing for Reachability Types

2024

Cited

2

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)