Seyed Armin Vakil-Ghahani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2020–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | OSDI | IronSpec: Increasing the Reliability of Formal Specifications. | Eli Goldweber, Weixin Yu, Seyed Armin Vakil-Ghahani, Manos Kapritsos |
| 2020 | MICRO | (Almost) Fence-less Persist Ordering. | Sara Mahdizadeh-Shahri, Seyed Armin Vakil-Ghahani, Aasheesh Kolli |
| 2020 | SIGMETRICS | DSM: A Case for Hardware-Assisted Merging of DRAM Rows with Same Content. | Seyed Armin Vakil-Ghahani, Mahmut Taylan Kandemir, Jagadish B. Kotra |