3 citations · 7 across the 9 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024★ 1 cited
Efficient Ranking Function-Based Termination Analysis with Bi-Directional Feedback
Yasmin Sarita, Avaljot Singh, Shaurya Gomber +2
Synthesizing ranking functions is a common technique for proving the termination of loops. A ranking function must be bounded and decrease by a specified amount with each iteration…
cs.PL2024★ 1 cited
ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses
Avaljot Singh, Yasmin Sarita, Charith Mendis +1
We develop a declarative DSL - \cf - that can be used to specify Abstract Interpretation-based DNN certifiers. In \cf, programmers can easily define various existing and new abstra…