| Scale-out ccNUMA: Exploiting skew with strongly consistent caching V Gavrielatos, A Katsarakis, A Joshi, N Oswald, B Grot, V Nagarajan Proceedings of the Thirteenth EuroSys Conference, 1-15, 2018 | 41 | 2018 |
| ProtoGen: Automatically generating directory cache coherence protocols from atomic specifications N Oswald, V Nagarajan, DJ Sorin 2018 ACM/IEEE 45th Annual International Symposium on Computer Architecture …, 2018 | 17 | 2018 |
| Dvé: Improving dram reliability and performance on-demand via coherent replication A Patil, V Nagarajan, R Balasubramonian, N Oswald 2021 ACM/IEEE 48th Annual International Symposium on Computer Architecture …, 2021 | 12 | 2021 |
| HieraGen: Automated generation of concurrent, hierarchical cache coherence protocols N Oswald, V Nagarajan, DJ Sorin 2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture …, 2020 | 11 | 2020 |
| HeteroGen: Automatic synthesis of heterogeneous cache coherence protocols N Oswald, V Nagarajan, DJ Sorin, V Gavrielatos, T Olausson, R Carr 2022 IEEE International Symposium on High-Performance Computer Architecture …, 2022 | 7 | 2022 |
| Compound memory models A Goens, S Chakraborty, S Sarkar, S Agarwal, N Oswald, V Nagarajan Proceedings of the ACM on Programming Languages 7 (PLDI), 1145-1168, 2023 | 6 | 2023 |
| Āpta: Fault-tolerant object-granular CXL disaggregated memory for accelerating FaaS A Patil, V Nagarajan, N Nikoleris, N Oswald 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2023 | 4 | 2023 |
| Automatic generation of highly concurrent, hierarchical and heterogeneous cache coherence protocols from atomic specifications NA Oswald University of Edinburgh, 2023 | | 2023 |
| Determining the Minimum Number of Virtual Networks for Different Coherence Protocols W Li, A Goens, N Oswald, V Nagarajan, DJ Sorin | | |
| PipeGen: Automatically Transforming a Single-Core Pipeline into a Multi-core Pipeline Enforcing a given Memory Model AQ Zhang, A Goens, N Oswald, T Grosser, D Sorin, V Nagarajan | | |
| Insights from* Gen: Correct-by-construction Coherence Protocols V Nagarajan, D Sorin, N Oswald | | |
