关注
Vikram Adve
标题
引用次数
年份
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
62005
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
902019
A deterministic model for parallel program performance evaluation
VS Adve, MK Vernon
Submited for publication, 1998
191998
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
22017
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
4672009
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, ...
22009
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
202006
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
232001
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
462002
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
22003
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
892010
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
42019
系统目前无法执行此操作,请稍后再试。
文章 1–20