Siavash Soleimanifard

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 2

Top Topics

Formal Verification

Top Venues

Sci. Comput. Program.

Softw. Syst. Model.

Royal Institute of Technology, Stockholm, Sweden (PHD)

Education History

Royal Institute of Technology, Stockholm, Sweden

PHD

Publications

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
MAST: Global Scheduling of ML Training across Geo-Distributed Datacenters at Hyperscale. OSDI (2024)
Siavash Soleimanifard, Dilian Gurov
Algorithmic verification of procedural programs in the presence of code variability. Sci. Comput. Program. 127 (2016)
Siavash Soleimanifard, Dilian Gurov, Marieke Huisman
Procedure-modular specification and verification of temporal safety properties. Softw. Syst. Model. 14 (1) (2015)
Siavash Soleimanifard, Dilian Gurov
Algorithmic Verification of Procedural Programs in the Presence of Code Variability. FACS (2014)
Siavash Soleimanifard, Dilian Gurov, Marieke Huisman
ProMoVer: Modular Verification of Temporal Safety Properties. SEFM (2011)
Siavash Soleimanifard, Dilian Gurov, Marieke Huisman
Procedure-modular verification of control flow safety properties. FTfJP@ECOOP (2010)
Ina Schaefer, Dilian Gurov, Siavash Soleimanifard
Compositional Algorithmic Verification of Software Product Lines. FMCO (2010)
Therese Bohlin, Bengt Jonsson, Siavash Soleimanifard
Inferring Compact Models of Communication Protocol Entities. ISoLA (1) (2010)