Siavash Soleimanifard

Orcid: 0000-0002-7514-299X

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
MAST: Global Scheduling of ML Training across Geo-Distributed Datacenters at Hyperscale.
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.
Sci. Comput. Program., 2016

2015
Procedure-modular specification and verification of temporal safety properties.
Softw. Syst. Model., 2015

2014
Algorithmic Verification of Procedural Programs in the Presence of Code Variability.
PhD thesis, 2014

2011
ProMoVer: Modular Verification of Temporal Safety Properties.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

2010
Inferring Compact Models of Communication Protocol Entities.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Compositional Algorithmic Verification of Software Product Lines.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Procedure-modular verification of control flow safety properties.
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010


  Loading...