Daneshvar Amrollahi

13 papers B 2Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2026 — conf
VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus.
TACAS (2)
Chuyue Sun, Yican Sun, Daneshvar Amrollahi, Ethan Zhang, Shuvendu K. Lahiri, Shan Lu, David L. Dill, Clark W. Barrett
2025 J jnl
(Un)Solvable loop analysis.
Formal Methods Syst. Des.
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2025 J jnl
Correction: (Un)Solvable loop analysis.
Formal Methods Syst. Des.
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2025 B conf
Towards SMT Solver Stability via Input Normalization.
FMCAD
Daneshvar Amrollahi, Mathias Preiner, Aina Niemetz, Andrew Reynolds, Moses Charikar, Cesare Tinelli, Clark W. Barrett
2025 J jnl
VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus.
CoRR
Chuyue Sun, Yican Sun, Daneshvar Amrollahi, Ethan Zhang, Shuvendu K. Lahiri, Shan Lu, David L. Dill, Clark W. Barrett
2024 — conf
Synthesis of Recursive Programs in Saturation.
IJCAR (1)
Petra Hozzová, Daneshvar Amrollahi, Márton Hajdú, Laura Kovács, Andrei Voronkov, Eva Maria Wagner
2024 J jnl
Using Normalization to Improve SMT Solver Stability.
CoRR
Daneshvar Amrollahi, Mathias Preiner, Aina Niemetz, Andrew Reynolds, Moses Charikar, Cesare Tinelli, Clark W. Barrett
2023 J jnl
(Un)Solvable Loop Analysis.
CoRR
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2023 — conf
An Encoding for CLP Problems in SMT-LIB.
LSFA/HCVS
Daneshvar Amrollahi, Hossein Hojjat, Philipp Rümmer
2022 J jnl
Algebra-Based Reasoning for Loop Synthesis.
CoRR
Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács
2022 J jnl
Algebra-Based Reasoning for Loop Synthesis.
Formal Aspects Comput.
Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács
2022 B conf
Solving Invariant Generation for Unsolvable Loops.
SAS
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2022 J jnl
Solving Invariant Generation for Unsolvable Loops.
CoRR
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic