Sergey Egorov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1999–2024
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | USENIX | Mangosteen: Fast Transparent Durability for Linearizable Applications using NVM. | Sergey Egorov, Gregory V. Chockler, Brijesh Dongol, Dan O'Keeffe, Sadegh Keshavarzi |
| 2005 | ICCAD | Efficient LTL compilation for SAT-based model checking. | Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi |
| 1999 | PACT | The Parallel Mathematical Libraries Project (PMLP): Overview, Design Innovations, and Preliminary Results. | Lubomir Birov, Arkady Prokofiev, Yuri Bartenev, Anatoly Vargin, Avijit Purkayastha, Yoginder S. Dandass, Vladimir Erzunov, Elena Shanikova, Anthony Skjellum, Purushotham V. Bangalore, Eugeny Shuvalov, Vitaly Ovechkin, Nataly Frolova, Sergey Orlov, Sergey Egorov |