Soroush Farokhnia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Parallel Abstract Interpretation for Polynomial Programs with Range Bound Assertions. | S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Goharshady, Harshit Jitendra Motwani, Dorde Zikelic |
| 2025 | IJCAI | LP-Based Weighted Model Integration over Non-Linear Real Arithmetic. | S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Kafshdar Goharshady, Harshit Jitendra Motwani, Dorde Zikelic |
| 2023 | SAC | Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts. | Soroush Farokhnia, Amir Kafshdar Goharshady |