Vikram Adve
#6,295
Most Influential Person Now
Computer scientist
Vikram Adve's AcademicInfluence.com Rankings
Vikram Advecomputer-science Degrees
Computer Science
#316
World Rank
#329
Historical Rank
Compilers
#1
World Rank
#1
Historical Rank
Algorithms
#431
World Rank
#436
Historical Rank
Database
#7632
World Rank
#7926
Historical Rank
Download Badge
Computer Science
Why Is Vikram Adve Influential?
(Suggest an Edit or Addition)According to Wikipedia, Vikram Adve is the Donald B. Gillies professor in the Department of Computer Science and a Professor in Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign. Academia In 2020, Vikram Adve became a co-founder and co-director of the Center for Digital Agriculture and leads AIFARMS, a $20M National Artificial Intelligence Research Institute funded by NIFA and NSF at University of Illinois at Urbana-Champaign.
Vikram Adve's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- LLVM: a compilation framework for lifelong program analysis & transformation (2004) (4972)
- A type and effect system for deterministic parallel Java (2009) (382)
- Understanding the propagation of hard errors to software and implications for resilient system design (2008) (276)
- Making context-sensitive points-to analysis with heap cloning practical for the real world (2007) (255)
- Backwards-compatible array bounds checking for C with very low overhead (2006) (234)
- Automatic pool allocation: improving performance by controlling data structure layout in the heap (2005) (219)
- Parallel programming must be deterministic by default (2009) (208)
- KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels (2014) (185)
- SAFECode: enforcing alias analysis for weakly typed languages (2006) (179)
- DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism (2011) (170)
- Secure virtual architecture: a safe execution environment for commodity operating systems (2007) (164)
- Software transactional memory for large scale clusters (2008) (163)
- Understanding integer overflow in C/C++ (2012) (154)
- Performance Analysis of Mesh Interconnection Networks with Deterministic Routing (1994) (151)
- Poems: end-to-end performance design of large parallel adaptive computational systems (1998) (150)
- Using likely program invariants to detect hardware errors (2008) (137)
- An Integrated Compilation and Performance Analysis Environment for Data Parallel Programs (1995) (135)
- Virtual ghost: protecting applications from hostile operating systems (2014) (119)
- Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation (2015) (114)
- Memory safety without runtime checks or garbage collection (2003) (109)
- Using likely invariants for automated software fault localization (2013) (105)
- Efficiently Detecting All Dangling Pointer Uses in Production Servers (2006) (103)
- LLVA: a low-level virtual instruction set architecture (2003) (96)
- The LLVM Compiler Framework and Infrastructure Tutorial (2004) (93)
- Comparison of hardware and software cache coherence schemes (1991) (90)
- Safe nondeterminism in a deterministic-by-default parallel language (2011) (85)
- An evaluation of fine-grain producer-initiated communication in cache-coherent multiprocessors (1997) (80)
- Parallel program performance prediction using deterministic task graph analysis (2004) (77)
- Using integer sets for data-parallel program analysis and optimization (1998) (77)
- An empirical study of reported bugs in server software with implications for automated bug diagnosis (2010) (72)
- Stash: Have your scratchpad and cache it too (2015) (67)
- Transforming loops to recursion for multi-level memory hierarchies (2000) (65)
- Recovery domains: an organizing principle for recoverable operating systems (2009) (60)
- Analyzing the behavior and performance of parallel programs (1993) (59)
- Trace-based microarchitecture-level diagnosis of permanent hardware faults (2008) (59)
- Ensuring code safety without runtime checks for real-time control systems (2002) (59)
- The influence of random delays on parallel execution times (1993) (58)
- High Performance Fortran Compilation Techniques for Parallelizing Scientific Codes (1998) (54)
- DLVM: A modern compiler infrastructure for deep learning systems (2017) (52)
- Macroscopic data structure analysis and optimization (2005) (52)
- Language and Compiler Support for Adaptive Distributed Applications (2001) (50)
- The LLVM Instruction Set and Compilation Strategy (2002) (49)
- Memory safety without garbage collection for embedded applications (2005) (48)
- Program Control Language: a programming language for adaptive distributed applications (2003) (48)
- A complete formal semantics of x86-64 user-level instruction set architecture (2019) (47)
- HPVM: heterogeneous parallel virtual machine (2018) (45)
- PROMISE: An End-to-End Design of a Programmable Mixed-Signal Accelerator for Machine-Learning Algorithms (2018) (43)
- Inferring Method Effect Summaries for Nested Heap Regions (2009) (40)
- Application Representations for Multiparadigm Performance Modeling of Large-Scale Parallel Scientific Codes (2000) (39)
- Memory Safety for Low-Level Software/Hardware Interactions (2009) (38)
- Automatic pool allocation for disjoint data structures (2003) (37)
- Requirements for Data-Parallel Programming Environments (1994) (36)
- SWAT : An Error Resilient System (2008) (35)
- Coordinating adaptations in distributed systems (2004) (34)
- Advanced optimization strategies in the Rice dHPF compiler (2002) (34)
- Transparent pointer compression for linked data structures (2005) (34)
- Transforming Complex Loop Nests for Locality (2004) (34)
- Improving lookahead in parallel discrete event simulations of large-scale applications using compiler analysis (2001) (33)
- Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks (2011) (32)
- Compiler-Optimized Simulation of Large-Scale Applications on High Performance Architectures (2002) (30)
- Requirements for DataParallel Programming Environments (1994) (30)
- The tasks with effects model for safe concurrency (2013) (28)
- Data Structure Analysis: A Fast and Scalable Context-Sensitive Heap Analysis (2003) (28)
- Data Structure Analysis: An Ecien t Context-Sensitive Heap Analysis (2003) (27)
- Compiler Synthesis of Task Graphs for Parallel Program Performance Prediction (2000) (24)
- Vector LLVA: a virtual vector instruction set for media processing (2006) (23)
- Understanding Integer Overflow in C/C++ (2015) (22)
- Compiler-supported simulation of highly scalable parallel applications (1999) (21)
- Proceedings of the fourth ACM SIGPLAN/SIGOPS international conference on Virtual execution environments (2008) (20)
- A Deterministic Model for Parallel Program Performance Evaluation (1998) (20)
- Architecture for a Next-Generation GCC (2004) (19)
- An effect system and language for deterministic-by-default parallel programming (2010) (18)
- Advanced Code Generation for High Performance Fortran (2001) (14)
- A Virtual Instruction Set Interface for Operating System Kernels (12)
- Model-based control of adaptive applications: an overview (2002) (12)
- Performance Analysis of Multiprocessor Mesh Interconnection Networks with Wormhole Routing (1992) (12)
- Scalable validation of binary lifters (2020) (11)
- Enforcing Alias Analysis for Weakly Typed Languages (2005) (11)
- DeNovo: Rethinking Hardware for Disciplined Parallelism (2010) (10)
- Simplifying Control Flow in Compiler-Generated Parallel Code (1998) (10)
- ApproxTuner: a compiler and runtime system for adaptive approximations (2021) (9)
- Language-parametric compiler validation with application to LLVM (2021) (8)
- The Relationship Between Bernoulli and Fixed Feedback Policies for the M/G/1 Queue (1994) (7)
- HPVM: A Portable Virtual Instruction Set for Heterogeneous Parallel Systems (2016) (6)
- Performance Analysis of Data-parallel Programs Performance Analysis of Data Parallel Programs (1994) (6)
- Compiler Synthesis of Task Graphs for a Parallel Sys-tem Performance Modeling Environment (1998) (6)
- A modern compiler infrastructure for deep learning systems with adjoint code generation in a domain-specific IR (2017) (5)
- HPVM2FPGA: Enabling True Hardware-Agnostic FPGA Programming (2022) (5)
- HPF Analysis and Code Generation using Integer Sets (1997) (5)
- Software multiplexing: share your libraries and statically link them too (2018) (5)
- Secure and Resilient SoCs for Autonomous Vehicles (2021) (5)
- An Integer Set Framework for HPF Analysis and Code Generation (1997) (5)
- Application representations for a multi-paradigm performance modeling environment for parallel syste (2000) (4)
- Slipstream: Automatic Interprocess Communication Optimization (2015) (4)
- Towards a Software-Hardware Co-Designed Resilient System (2007) (4)
- Language Support for Coordinating Adaptation in Distributed Systems (2002) (4)
- The Next Generation of Compilers (2009) (4)
- International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS: Foreword (2010) (4)
- Compiler Support for Analysis and Tuning Data Parallel Programs (1995) (4)
- Tasks with Effects A Model for Disciplined Concurrent Programming (2012) (3)
- A compiler-enabled model- and measurement-driven adaptation environment for dependability and performance (2005) (3)
- HPVM: Hardware-Agnostic Programming for Heterogeneous Parallel Systems (2022) (3)
- How Successful Is Data Structure Analysis in Isolating and Analyzing Linked Data Structures (2005) (3)
- Wok: Statistical Program Slicing in Production (2019) (3)
- An Energy-Efficient Programmable Mixed-Signal Accelerator for Machine Learning Algorithms (2019) (2)
- Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems (2010) (2)
- A Type and Effect System for Deterministic Parallelism in Object-Oriented Languages (2009) (2)
- Virtual Instruction Set Computing for Heterogeneous Systems (2012) (2)
- Disciplined concurrent programming using tasks with effects (2012) (2)
- Region and effect inference for safe parallelism (2019) (2)
- Region and Effect Inference for Safe Parallelism (T) (2015) (2)
- Trireme: Exploring Hierarchical Multi-Level Parallelism for Domain Specific Hardware Acceleration (2022) (2)
- Studying the Potential of Automatic Optimizations in the Intel FPGA SDK for OpenCL (2020) (2)
- Design and Evaluation of a Computation Partitioning Frameworkfor Data-Parallel Compilers (2001) (2)
- Scalable Task Scheduling and Synchronization Using Hierarchical Effects (2015) (1)
- Guided linking: dynamic linking without the costs (2020) (1)
- Automatic Pool Allocation: Compile-Time Control of Data Structure Layout in the Heap (2004) (1)
- A Language for Deterministic-by-Default Parallel Programming ⋆ (2010) (1)
- Safecode: a platform for developing reliable software in unsafe languages (2006) (1)
- HPVM (2018) (1)
- Diverse Partial Memory Replication (2010) (1)
- Compiling Scientific Programs for Scalable Parallel Systems (2001) (1)
- Artifact for "Scalable Validation of Binary Lifters" (2020) (1)
- Technical Report: Region and Effect Inference for Safe Parallelism (2015) (1)
- Application Representations for Multi-paradigm Performance Modeling of Large-scale Parallel Scientiic Codes (2007) (0)
- VEE'08 - Proceedings of the 4th International Conference on Virtual Execution Environments: Foreword (2008) (0)
- A Mirrored Data Structures Approach to Diverse Partial Memory Replication (2012) (0)
- POSTER - hVISC: A portable abstraction for heterogeneous parallel systems (2016) (0)
- Generation Of Interpretive Compiled Instruction Set Simulators (2015) (0)
- Software implications of virtual instruction set computers (2004) (0)
- Making Parallel Programming Easy: Research Contributions from Illinois (2013) (0)
- Session details: Singular topics (2011) (0)
- Simple Model Can Be Used as a Metric for a Mapping and Prevent Premature Saturation of The (2007) (0)
- ApproxTuner DNN Models (2021) (0)
- ApproxTuner (2021) (0)
- Coordinated Science Laboratory 70th Anniversary Symposium: The Future of Computing (2022) (0)
- Session details: Software for parallel architectures (2003) (0)
- Cut-Bisimulation and Program Equivalence (2020) (0)
- A Translation Validation Algorithm for LLVM Register Allocators (2021) (0)
- Why digital agriculture is fertile ground for software systems research (keynote) (2020) (0)
- Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers (2008) (0)
- Automatic recovery for request oriented systems (2010) (0)
- Statistical Program Slicing: a Hybrid Slicing Technique for Analyzing Deployed Software (2021) (0)
- An approach to optimizing adaptive parabolic PDE solvers for the Grid (2003) (0)
- Proceedings of the 4th International Conference on Virtual Execution Environments, VEE 2008, Seattle, WA, USA, March 5-7, 2008 (2008) (0)
- Trireme: Exploration of Hierarchical Multi-Level Parallelism for Hardware Acceleration (2023) (0)
- Transforming Loops to Re ursion for Multi-Level Memory Hierar hies (2000) (0)
- Addressing Fundamental Bottlenecks in Link-Time and Dynamic Optimization (2002) (0)
- ACM SIGPLAN Notices: Foreword (2010) (0)
- Region and effect inference for safe parallelism (2019) (0)
- Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010 (2010) (0)
This paper list is powered by the following services:
Other Resources About Vikram Adve
What Schools Are Affiliated With Vikram Adve?
Vikram Adve is affiliated with the following schools:
