A compiler-enabled model-and measurement-driven adaptation environment for dependability and performance VS Adve, A Agbaria, MA Hiltunen, RK Iyer, KR Joshi, Z Kalbarczyk, ... 19th IEEE International Parallel and Distributed Processing Symposium, 8 pp., 2005 | 6 | 2005 |
A complete formal semantics of x86-64 user-level instruction set architecture S Dasgupta, D Park, T Kasampalis, VS Adve, G Roşu Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 90 | 2019 |
A deterministic model for parallel program performance evaluation VS Adve, MK Vernon Submited for publication, 1998 | 19 | 1998 |
A Language for Deterministic-by-Default Parallel Programming RL Bocchino Jr, S Heumann, N Honarmand, R Komuravelli, J Overbey, ... | | |
A Mirrored Data Structures Approach to Diverse Partial Memory Replication RM Lefever, VS Adve, WH Sanders 2012 Ninth European Dependable Computing Conference, 61-72, 2012 | | 2012 |
A modern compiler infrastructure for deep learning systems with adjoint code generation in a domain-specific IR R Wei, L Schwartz, V Adve | 2 | 2017 |
A Translation Validation Algorithm for LLVM Register Allocators Z Lin, T Kasampalis, V Adve | | 2021 |
A type and effect system for deterministic parallel Java RL Bocchino Jr, VS Adve, D Dig, SV Adve, S Heumann, R Komuravelli, ... Proceedings of the 24th ACM SIGPLAN conference on Object oriented …, 2009 | 467 | 2009 |
A type and effect system for deterministic parallelism in object-oriented languages RL Bocchino Jr, VS Adve, D Dig, S Heumann, R Komuravelli, J Overbey, ... | 2 | 2009 |
A virtual instruction set interface for operating system kernels J Criswell, B Monroe, V Adve Workshop on the Interaction between Operating Systems and Computer …, 2006 | 20 | 2006 |
ACM SIGPLAN Notices: Foreword JC Hoe, VS Adve ACM SIGPLAN Notices 45 (3), iii-iv, 2010 | | 2010 |
Addressing Fundamental Bottlenecks in Link-Time and Dynamic Optimization C Lattner, S Dhekhar, A Shukla, V Adve Parallel and Distributed Processing Symposium, International 3, 0174-0174, 2002 | | 2002 |
Advanced code generation for high performance Fortran V Adve, J Mellor-Crummey Compiler Optimizations for Scalable Parallel Systems: Languages, Compilation …, 2001 | 23 | 2001 |
Advanced optimization strategies in the Rice dHPF compiler J Mellor‐Crummey, V Adve, B Broom, D Chavarría‐Miranda, R Fowler, ... Concurrency and Computation: Practice and Experience 14 (8‐9), 741-767, 2002 | 46 | 2002 |
Agile Software-Hardware Co-Design of AI-Centric Heterogeneous SoCs S Adve, V Adve, P Bose, D Brooks, L Carloni, S Misailovic, VJ Reddi, ... ACM/IEEE Annual International Symposium on Computer Architecture, 2024 | | 2024 |
AIFARMS: Artificial intelligence for future agricultural resilience, management, and sustainability VS Adve, JM Wedow, EA Ainsworth, G Chowdhary, A Green‐Miller, ... AI Magazine 45 (1), 83-88, 2024 | | 2024 |
An approach to optimizing adaptive parabolic PDE solvers for the Grid V Adve, J Browne, B Ensink, J Rice, P Teller, M Vernon, S Wright Proceedings International Parallel and Distributed Processing Symposium, 8 pp., 2003 | 2 | 2003 |
An Empirical Comparison of Code Generation Approaches for Ansible B Darnell, H Chopra, A Councilman, D Grove, YX Wang, V Adve Proceedings of the ACM/IEEE 2nd International Workshop on Interpretability …, 2024 | | 2024 |
An empirical study of reported bugs in server software with implications for automated bug diagnosis SK Sahoo, J Criswell, V Adve Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 89 | 2010 |
An energy-efficient programmable mixed-signal accelerator for machine learning algorithms M Kang, P Srivastava, V Adve, NS Kim, NR Shanbhag IEEE micro 39 (5), 64-72, 2019 | 4 | 2019 |