Avaljot Singh

14 papers A* 1B 1Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
AgentRx: Diagnosing AI Agent Failures from Execution Trajectories.
CoRR
Shraddha Barke, Arnav Goyal, Alind Khare, Avaljot Singh, Suman Nath, Chetan Bansal
2026 — conf
Efficient Ranking Function-Based Termination Analysis via Bidirectional Decompositional Search.
ESOP (2)
Yasmin Sarita, Avaljot Singh, Shaurya Gomber, Gagandeep Singh, Mahesh Vishwanathan
2026 J jnl
RuleFlow : Generating Reusable Program Optimizations with LLMs.
CoRR
Avaljot Singh, Dushyant Bharadwaj, Stefanos Baziotis, Kaushik Varadharajan, Charith Mendis
2025 J jnl
A Tensor-Based Compiler and a Runtime for Neuron-Level DNN Certifier Specifications.
CoRR
Avaljot Singh, Yamin Chandini Sarita, Aditya Mishra, Ishaan Goyal, Gagandeep Singh, Charith Mendis
2025 J jnl
Automated Verification of Soundness of DNN Certifiers.
CoRR
Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh
2025 J jnl
Automated Verification of Soundness of DNN Certifiers.
Proc. ACM Program. Lang.
Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh
2025 J jnl
Cost-Driven Synthesis of Sound Abstract Interpreters.
CoRR
Qiuhan Gu, Avaljot Singh, Gagandeep Singh
2025 J jnl
Lumos: Let there be Language Model System Certification.
CoRR
Isha Chaudhary, Vedaant V. Jain, Avaljot Singh, Kavya Sachdeva, Sayan Ranu, Gagandeep Singh
2025 J jnl
Safety and Trust in Artificial Intelligence with Abstract Interpretation.
Found. Trends Program. Lang.
Gagandeep Singh, Jacob Laurel, Sasa Misailovic, Debangshu Banerjee, Avaljot Singh, Changming Xu, Shubham Ugare, Huan Zhang
2024 J jnl
ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses.
CoRR
Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh
2024 B conf
ConstraintFlow: A Declarative DSL for Easy Development of DNN Certifiers.
SAS
Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh
2024 A* conf
Interpreting Robustness Proofs of Deep Neural Networks.
ICLR
Debangshu Banerjee, Avaljot Singh, Gagandeep Singh
2024 J jnl
Syndicate: Synergistic Synthesis of Ranking Function and Invariants for Termination Analysis.
CoRR
Yasmin Sarita, Avaljot Singh, Shaurya Gomber, Gagandeep Singh, Mahesh Vishwanathan
2023 J jnl
Interpreting Robustness Proofs of Deep Neural Networks.
CoRR
Debangshu Banerjee, Avaljot Singh, Gagandeep Singh