Shaurya Gomber

According to our database¹, Shaurya Gomber authored at least 3 papers between 2024 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Efficient Ranking Function-Based Termination Analysis via Bidirectional Decompositional Search.

[DOI]

Proceedings of the Programming Languages and Systems, 2026

2025

Universal Synthesis of Differentiably Tunable Numerical Abstract Transformers.

[DOI]

CoRR, July, 2025

2024

Syndicate: Synergistic Synthesis of Ranking Function and Invariants for Termination Analysis.

[DOI]

CoRR, 2024