Siddharth Krishna
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2017–2021
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | EuroSys | DistIR: An Intermediate Representation for Optimizing Distributed Neural Networks. | Keshav Santhanam, Siddharth Krishna, Ryota Tomioka, Andrew W. Fitzgibbon, Tim Harris |
| 2020 | ESOP | Verifying Visibility-Based Weak Consistency. | Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic |
| 2020 | ESOP | Local Reasoning for Global Graph Properties. | Siddharth Krishna, Alexander J. Summers, Thomas Wies |
| 2020 | PLDI | Verifying concurrent search structure templates. | Siddharth Krishna, Nisarg Patel, Dennis E. Shasha, Thomas Wies |
| 2017 | SAS | Learning Shape Analysis. | Marc Brockschmidt, Yuxin Chen, Pushmeet Kohli, Siddharth Krishna, Daniel Tarlow |