Avaljot Singh

According to our database, Avaljot Singh authored at least 12 papers between 2024 and 2026.

Collaborative distances:

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

2026

RuleFlow : Generating Reusable Program Optimizations with LLMs.

Avaljot Singh, Dushyant Bharadwaj, Stefanos Baziotis, Kaushik Varadharajan, Charith Mendis

CoRR, February, 2026

AgentRx: Diagnosing AI Agent Failures from Execution Trajectories.

Shraddha Barke, Arnav Goyal, Alind Khare, Avaljot Singh, Suman Nath, Chetan Bansal

CoRR, February, 2026

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

Yasmin Sarita, Avaljot Singh, Shaurya Gomber, Gagandeep Singh, Mahesh Vishwanathan

Proceedings of the Programming Languages and Systems, 2026

2025

Lumos: Let there be Language Model System Certification.

Isha Chaudhary, Vedaant V. Jain, Avaljot Singh, Kavya Sachdeva, Sayan Ranu, Gagandeep Singh

CoRR, December, 2025

Cost-Driven Synthesis of Sound Abstract Interpreters.

Qiuhan Gu, Avaljot Singh, Gagandeep Singh

CoRR, November, 2025

A Tensor-Based Compiler and a Runtime for Neuron-Level DNN Certifier Specifications.

Avaljot Singh, Yamin Chandini Sarita, Aditya Mishra, Ishaan Goyal, Gagandeep Singh, Charith Mendis

CoRR, July, 2025

Automated Verification of Soundness of DNN Certifiers.

Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh

Proc. ACM Program. Lang., 2025

Safety and Trust in Artificial Intelligence with Abstract Interpretation.

Gagandeep Singh, Jacob Laurel, Sasa Misailovic, Debangshu Banerjee, Avaljot Singh, Changming Xu, Shubham Ugare, Huan Zhang

Found. Trends Program. Lang., 2025

2024

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

Yasmin Sarita, Avaljot Singh, Shaurya Gomber, Gagandeep Singh, Mahesh Vishwanathan

CoRR, 2024

ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses.

Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh

CoRR, 2024

ConstraintFlow: A Declarative DSL for Easy Development of DNN Certifiers.

Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh

Proceedings of the Static Analysis - 31st International Symposium, 2024

Interpreting Robustness Proofs of Deep Neural Networks.

Debangshu Banerjee, Avaljot Singh, Gagandeep Singh

Proceedings of the Twelfth International Conference on Learning Representations, 2024