Daneshvar Amrollahi

According to our database, Daneshvar Amrollahi authored at least 7 papers between 2022 and 2025.

Collaborative distances:

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

2025

VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus.

Chuyue Sun, Yican Sun, Daneshvar Amrollahi, Ethan Zhang, Shuvendu K. Lahiri, Shan Lu, David L. Dill, Clark W. Barrett

CoRR, October, 2025

(Un)Solvable loop analysis.

Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic

Formal Methods Syst. Des., April, 2025

2024

Using Normalization to Improve SMT Solver Stability.

Daneshvar Amrollahi, Mathias Preiner, Aina Niemetz, Andrew Reynolds, Moses Charikar, Cesare Tinelli, Clark W. Barrett

CoRR, 2024

Synthesis of Recursive Programs in Saturation.

Petra Hozzová, Daneshvar Amrollahi, Márton Hajdú, Laura Kovács, Andrei Voronkov, Eva Maria Wagner

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

An Encoding for CLP Problems in SMT-LIB.

Daneshvar Amrollahi, Hossein Hojjat, Philipp Rümmer

Proceedings of the Proceedings 18th International Workshop on Logical and Semantic Frameworks, 2023

2022

Algebra-Based Reasoning for Loop Synthesis.

Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács

Formal Aspects Comput., 2022

Solving Invariant Generation for Unsolvable Loops.

Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic

Proceedings of the Static Analysis - 29th International Symposium, 2022