Vikram S. Adve

According to our database1, Vikram S. Adve authored at least 78 papers between 1991 and 2019.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Awards

ACM Fellow

ACM Fellow 2014, "For developing the LLVM compiler and for contributions to parallel computing and software security.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Region and effect inference for safe parallelism.
Autom. Softw. Eng., 2019

A complete formal semantics of x86-64 user-level instruction set architecture.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Wok: statistical program slicing in production.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018
Software multiplexing: share your libraries and statically link them too.
PACMPL, 2018

HPVM: heterogeneous parallel virtual machine.
Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

PROMISE: An End-to-End Design of a Programmable Mixed-Signal Accelerator for Machine-Learning Algorithms.
Proceedings of the 45th ACM/IEEE Annual International Symposium on Computer Architecture, 2018

DLVM: A modern compiler infrastructure for deep learning systems.
Proceedings of the 6th International Conference on Learning Representations, 2018

2016
POSTER: hVISC: A Portable Abstraction for Heterogeneous Parallel Systems.
Proceedings of the 2016 International Conference on Parallel Architectures and Compilation, 2016

2015
Slipstream: Automatic Interprocess Communication Optimization.
Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Region and Effect Inference for Safe Parallelism (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Stash: have your scratchpad and cache it too.
Proceedings of the 42nd Annual International Symposium on Computer Architecture, 2015

Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation.
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

Scalable Task Scheduling and Synchronization Using Hierarchical Effects.
Proceedings of the 2015 International Conference on Parallel Architectures and Compilation, 2015

2014
KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels.
Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

Virtual ghost: protecting applications from hostile operating systems.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013
The tasks with effects model for safe concurrency.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Using likely invariants for automated software fault localization.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012
Understanding integer overflow in C/C++.
Proceedings of the 34th International Conference on Software Engineering, 2012

Disciplined Concurrent Programming Using Tasks with Effects.
Proceedings of the 4th USENIX Workshop on Hot Topics in Parallelism, 2012

A Mirrored Data Structures Approach to Diverse Partial Memory Replication.
Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

2011
Safe nondeterminism in a deterministic-by-default parallel language.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks.
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism.
Proceedings of the 2011 International Conference on Parallel Architectures and Compilation Techniques, 2011

2010
An empirical study of reported bugs in server software with implications for automated bug diagnosis.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Diverse Partial Memory Replication.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2009
Memory Safety for Low-Level Software/Hardware Interactions.
Proceedings of the 18th USENIX Security Symposium, 2009

A type and effect system for deterministic parallel Java.
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Inferring Method Effect Summaries for Nested Heap Regions.
Proceedings of the ASE 2009, 2009

Recovery domains: an organizing principle for recoverable operating systems.
Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, 2009

2008
Software transactional memory for large scale clusters.
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Using likely program invariants to detect hardware errors.
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

Trace-based microarchitecture-level diagnosis of permanent hardware faults.
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

Understanding the propagation of hard errors to software and implications for resilient system design.
Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008

2007
Secure virtual architecture: a safe execution environment for commodity operating systems.
Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

Making context-sensitive points-to analysis with heap cloning practical for the real world.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2006
Vector LLVA: a virtual vector instruction set for media processing.
Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006

SAFECode: enforcing alias analysis for weakly typed languages.
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Backwards-compatible array bounds checking for C with very low overhead.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Efficiently Detecting All Dangling Pointer Uses in Production Servers.
Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

2005
Memory safety without garbage collection for embedded applications.
ACM Trans. Embedded Comput. Syst., 2005

Automatic pool allocation: improving performance by controlling data structure layout in the heap.
Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

A Compiler-Enabled Model- and Measurement-Driven Adaptation Environment for Dependability and Performance.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Transparent pointer compression for linked data structures.
Proceedings of the 2005 workshop on Memory System Performance, 2005

2004
Parallel program performance prediction using deterministic task graph analysis.
ACM Trans. Comput. Syst., 2004

Transforming Complex Loop Nests for Locality.
The Journal of Supercomputing, 2004

The LLVM Compiler Framework and Infrastructure Tutorial.
Proceedings of the Languages and Compilers for High Performance Computing, 2004

Software Implications of Virtual Instruction Set Computers.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Coordinating Adaptations in Distributed Systems.
Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004

LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation.
Proceedings of the 2nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2004), 2004

2003
Program Control Language: a programming language for adaptive distributed applications.
J. Parallel Distrib. Comput., 2003

LLVA: A Low-level Virtual Instruction Set Architecture.
Proceedings of the 36th Annual International Symposium on Microarchitecture, 2003

Memory safety without runtime checks or garbage collection.
Proceedings of the 2003 Conference on Languages, 2003

An Approach to Optimizing Adaptive Parabolic PDE Solvers for the Grid.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002
Compiler-Optimized Simulation of Large-Scale Applications on High Performance Architectures.
J. Parallel Distrib. Comput., 2002

Advanced optimization strategies in the Rice dHPF compiler.
Concurrency and Computation: Practice and Experience, 2002

Automatic pool allocation for disjoint data structures.
Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002

Addressing Fundamental Bottlenecks in Link-Time and Dynamic Optimization.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Model-Based Control of Adaptive Applications: An Overview.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Ensuring code safety without runtime checks for real-time control systems.
Proceedings of the International Conference on Compilers, 2002

2001
Improving lookahead in parallel discrete event simulations of large-scale applications using compiler analysis.
Proceedings of the 15th Workshop on Parallel and Distributed Simulation, 2001

Language and Compiler Support for Adaptive Distributed Applications.
Proceedings of The Workshop on Languages, 2001

Advanced Code Generation for High Performance Fortran.
Proceedings of the Compiler Optimizations for Scalable Parallel Systems Languages, 2001

2000
POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems.
IEEE Trans. Software Eng., 2000

Application Representations for Multiparadigm Performance Modeling of Large-Scale Parallel Scientific Codes.
IJHPCA, 2000

Transforming loops to recursion for multi-level memory hierarchies.
Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

Compiler Synthesis of Task Graphs for Parallel Program Performance Prediction.
Proceedings of the Languages and Compilers for Parallel Computing, 2000

1999
Compiler-Supported Simulation of Highly Scalable Parallel Applications.
Proceedings of the ACM/IEEE Conference on Supercomputing, 1999

1998

High Performance Fortran Compilation Techniques for Parallelizing Scientific Codes.
Proceedings of the ACM/IEEE Conference on Supercomputing, 1998

Using Integer Sets for Data-Parallel Program Analysis and Optimization.
Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

1997
Simplifying Control Flow in Compiler-Generated Parallel Code.
Proceedings of the Languages and Compilers for Parallel Computing, 1997

An Evaluation of Fine-Grain Producer-Initiated Communication in Cache-Coherent Multiprocessors.
Proceedings of the 3rd IEEE Symposium on High-Performance Computer Architecture (HPCA '97), 1997

1995
An Integrated Compilation and Performance Analysis Environment for Data Parallel Programs.
Proceedings of the Proceedings Supercomputing '95, San Diego, CA, USA, December 4-8, 1995, 1995

1994
Performance Analysis of Mesh Interconnection Networks with Deterministic Routing.
IEEE Trans. Parallel Distrib. Syst., 1994

The Relationship Between Bernoulli and Fixed Feedback Policies for the M/G/1 Queue.
Operations Research, 1994

Requirements for DataParallel Programming Environments.
IEEE P&DT, 1994

1993
The Influence of Random Delays on Parallel Execution Times.
Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1993

1991
Comparison of Hardware and Software Cache Coherence Schemes.
Proceedings of the 18th Annual International Symposium on Computer Architecture. Toronto, 1991


  Loading...