Siavash Soleimanifard

According to our database, Siavash Soleimanifard authored at least 8 papers between 2010 and 2024.

Collaborative distances:

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

2024

MAST: Global Scheduling of ML Training across Geo-Distributed Datacenters at Hyperscale.

Arnab Choudhury, Yang Wang, Tuomas Pelkonen, Kutta Srinivasan, Abha Jain, Shenghao Lin, Delia David, Siavash Soleimanifard, Michael Chen, Abhishek Yadav, Ritesh Tijoriwala, Denis Samoylov, Chunqiang Tang

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

2016

Algorithmic verification of procedural programs in the presence of code variability.

Siavash Soleimanifard, Dilian Gurov

Sci. Comput. Program., 2016

2015

Procedure-modular specification and verification of temporal safety properties.

Siavash Soleimanifard, Dilian Gurov, Marieke Huisman

Softw. Syst. Model., 2015

2014

Algorithmic Verification of Procedural Programs in the Presence of Code Variability.

Siavash Soleimanifard

PhD thesis, 2014

2011

ProMoVer: Modular Verification of Temporal Safety Properties.

Siavash Soleimanifard, Dilian Gurov, Marieke Huisman

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

2010

Inferring Compact Models of Communication Protocol Entities.

Therese Bohlin, Bengt Jonsson, Siavash Soleimanifard

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Compositional Algorithmic Verification of Software Product Lines.

Ina Schaefer, Dilian Gurov, Siavash Soleimanifard

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Procedure-modular verification of control flow safety properties.

Siavash Soleimanifard, Dilian Gurov, Marieke Huisman

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010