Siavash Soleimanifard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2010–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | OSDI | 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 |
| 2011 | SEFM | ProMoVer: Modular Verification of Temporal Safety Properties. | Siavash Soleimanifard, Dilian Gurov, Marieke Huisman |
| 2010 | ECOOP | Procedure-modular verification of control flow safety properties. | Siavash Soleimanifard, Dilian Gurov, Marieke Huisman |
| 2010 | ISoLA | Inferring Compact Models of Communication Protocol Entities. | Therese Bohlin, Bengt Jonsson, Siavash Soleimanifard |