Daneshvar Amrollahi

According to our database, Daneshvar Amrollahi authored at least 11 papers between 2022 and 2026.

Collaborative distances:

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

2026

Faithful Autoformalization via Roundtrip Verification and Repair.

Daneshvar Amrollahi, Jerry Lopez, Clark W. Barrett

CoRR, April, 2026

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Correction: (Un)Solvable loop analysis.

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

Formal Methods Syst. Des., December, 2025

FMCAD'25 Artifact for SMT Normalization.

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

Dataset, August, 2025

(Un)Solvable loop analysis.

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

Formal Methods Syst. Des., April, 2025

Towards SMT Solver Stability via Input Normalization.

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

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 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