Kavin Satheeskumar

According to our database, Kavin Satheeskumar authored at least 3 papers between 2023 and 2024.

Collaborative distances:

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

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