Vikram Adve
Vikram Adve publishes mostly in Hardware and Architecture, Artificial Intelligence and Computer Networks and Communications, on topics such as Parallel Computing and Optimization Techniques, Logic, programming, and type systems and Software Testing and Debugging Techniques.
- World rank
- #17,187 of 1,633,909 ranked researchers
- Rank in United States
- #8,189 of 358,040
- Works
- 51
- Citations
- 523
- Citations per work
- 10.3
What does Vikram Adve research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Hardware and Architecture29% of their works
- 2Artificial Intelligence23% of their works
- 3Computer Networks and Communications12% of their works
- 4Information Systems10% of their works
- 5Computational Theory and Mathematics8% of their works
- 6Software8% of their works
Research topics
- Parallel Computing and Optimization Techniques
- Logic, programming, and type systems
- Software Testing and Debugging Techniques
- Security and Verification in Computing
- Embedded Systems Design Techniques
- Formal Methods in Verification
- Distributed and Parallel Computing Systems
- Distributed systems and fault tolerance
Which keywords describe Vikram Adve's research?
The keywords of their largest research topics: High-Performance Computing, Parallel Computing, Performance Optimization, Model Checking, Automated Testing, Distributed Systems, Formal Verification and Software Fault Localization.
- Satisfiability Modulo Theories
- Grid Computing
- Consistency
- Security Policies
- High-Level Synthesis
- Software Fault Localization
- Distributed Systems
- Model Checking
- Parallel Computing
- High-Performance Computing
- Performance Optimization
- Automated Testing
- Formal Verification
- Static Analysis
- Reconfigurable Computing
- Side-Channel Attacks
- Fault Tolerance
- Resource Management
- Symbolic Model Checker
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 19 words, with their numbers
- High-Performance Computing112 topics
- Parallel Computing91 topic
- Performance Optimization91 topic
- Model Checking62 topics
- Automated Testing41 topic
- Distributed Systems42 topics
- Formal Verification41 topic
- Software Fault Localization41 topic
- Static Analysis41 topic
- High-Level Synthesis31 topic
- Reconfigurable Computing31 topic
- Security Policies31 topic
- Side-Channel Attacks31 topic
- Consistency21 topic
- Fault Tolerance21 topic
- Grid Computing21 topic
- Resource Management21 topic
- Satisfiability Modulo Theories21 topic
- Symbolic Model Checker21 topic
Where does Vikram Adve work?
Vikram Adve's main affiliation in the publication record is University of Illinois Urbana-Champaign, United States.
How many publications and citations does Vikram Adve have?
Science Explorer counts 51 works and 523 citations for Vikram Adve, ranking #17,187 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.