Kavin Satheeskumar

According to our database, Kavin Satheeskumar authored at least 4 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Protean Compiler: An Agile Framework to Drive Fine-grain Phase Ordering.

Amir H. Ashouri, Shayan Shirahmad Gale Bagi, Kavin Satheeskumar, Tejas Srikanth, Jonathan Zhao, Ibrahim Saidoun, Ziwen Wang, Bryan Chan, Tomasz S. Czajkowski

CoRR, February, 2026

2024

Qualifying System F_<: Some Terms and Conditions May Apply.

Edward Lee, Yaoyu Zhao, Ondrej Lhoták, James You, Kavin Satheeskumar, Jonathan Immanuel Brachthäuser

Proc. ACM Program. Lang., 2024

2023

Qualifying System F-sub.

Edward Lee, Yaoyu Zhao, James You, Kavin Satheeskumar, Ondrej Lhoták, Jonathan Immanuel Brachthäuser

CoRR, 2023

Dependency-Free Capture Tracking.

Edward Lee, Kavin Satheeskumar, Ondrej Lhoták

Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, 2023