Vikram Adve

发表

Session details: Singular topics

Vikram Adve, 2011 .

A type and effect system for deterministic parallel Java

Jeffrey Overbey, Mohsen Vakilian, Sarita V. Adve, 2009, OOPSLA 2009.

Data Structure Analysis: A Fast and Scalable Context-Sensitive Heap Analysis

Chris Lattner, Vikram Adve, 2003 .

Automatic recovery for request oriented systems

Andrew Lenharth, Vikram Adve, 2010 .

Language Support for Coordinating Adaptation in Distributed Systems

Vikram S. Adve, Brian Ensink, Vikram Adve, 2002 .

LLVA: a low-level virtual instruction set architecture

Vikram S. Adve, Anand Shukla, Chris Lattner, 2003, Proceedings. 36th Annual IEEE/ACM International Symposium on Microarchitecture, 2003. MICRO-36..

Analyzing the behavior and performance of parallel programs

Vikram S. Adve, Vikram Adve, V. Adve, 1993 .

The LLVM Instruction Set and Compilation Strategy

Vikram S. Adve, Chris Lattner, Vikram Adve, 2002 .

Safecode: a platform for developing reliable software in unsafe languages

Dinakar Dhurjati, Vikram S. Adve, Vikram Adve, 2006 .

Automatic Pool Allocation: Compile-Time Control of Data Structure Layout in the Heap

Vikram S. Adve, Chris Lattner, Vikram Adve, 2004 .

Compiler Synthesis of Task Graphs for a Parallel Sys-tem Performance Modeling Environment

Rizos Sakellariou, Vikram S. Adve, Vikram Adve, 1998 .

DeNovo: Rethinking Hardware for Disciplined Parallelism

Sarita V. Adve, Vikram S. Adve, Vikram Adve, 2010 .

A Type and Effect System for Deterministic Parallelism in Object-Oriented Languages

Jeffrey Overbey, Mohsen Vakilian, Vikram S. Adve, 2009 .

Data Structure Analysis: An Ecien t Context-Sensitive Heap Analysis

Vikram S. Adve, Chris Lattner, Vikram Adve, 2003 .

Parallel programming must be deterministic by default

Sarita V. Adve, Marc Snir, Vikram S. Adve, 2009 .

Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems

James C. Hoe, Vikram Adve, 2010, ASPLOS 2010.

Macroscopic Data Structure Analysis and Optimization

Vikram S. Adve, Vikram Adve, Chris Lattner, 2005 .

Memory safety without runtime checks or garbage collection

Dinakar Dhurjati, Chris Lattner, Vikram Adve, 2003 .

Session details: Software for parallel architectures

Vikram Adve, 2003, PPoPP '03.

Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers

María Jesús Garzarán, Vikram Adve, Paul Petersen, 2008, LCPC.

International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS: Foreword

James C. Hoe, Vikram S. Adve, Vikram Adve, 2010, ASPLOS 2010.

Performance Analysis of Multiprocessor Mesh Interconnection Networks with Wormhole Routing

Mary K. Vernon, Vikram S. Adve, Vikram Adve, 1992 .

Studying the Potential of Automatic Optimizations in the Intel FPGA SDK for OpenCL

Rob A. Rutenbar, Vikram S. Adve, Vikram Adve, 2020, FPGA.

An Integer Set Framework for HPF Analysis and Code Generation

Vikram S. Adve, John Mellor-Crummey, Vikram Adve, 1997 .

Architecture for a Next-Generation GCC

Chris Lattner, Vikram Adve, 2004 .

Compiling Scientific Programs for Scalable Parallel Systems

Ken Kennedy, Robert J. Fowler, Vikram S. Adve, 2001 .

Technical Report: Region and Effect Inference for Safe Parallelism

Alexandros Tzannes, Mohsen Vakilian, Vikram Adve, 2015 .

A Deterministic Model for Parallel Program Performance Evaluation

Mary K. Vernon, Vikram S. Adve, Vikram Adve, 1998 .

Proceedings of the 4th International Conference on Virtual Execution Environments, VEE 2008, Seattle, WA, USA, March 5-7, 2008

David Gregg, Vikram Adve, Brian Bershad, 2008, VEE.

Enforcing Alias Analysis for Weakly Typed Languages

Dinakar Dhurjati, Vikram Adve, Sumant Kowshik, 2005 .

ACM SIGPLAN Notices: Foreword

James C. Hoe, Vikram S. Adve, Vikram Adve, 2010 .

Understanding integer overflow in C/C++

John Regehr, Will Dietz, Peng Li, 2012, ICSE 2012.

Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010

James C. Hoe, Vikram Adve, 2010, ASPLOS.

VEE'08 - Proceedings of the 4th International Conference on Virtual Execution Environments: Foreword

Vikram Adve, David Gregg, Bershad Bersha, 2008, VEE 2008.

Language and Compiler Support for Adaptive Distributed Applications

Brian Ensink, Vikram Adve, Vinh Lam, 2001 .

An Energy-Efficient Programmable Mixed-Signal Accelerator for Machine Learning Algorithms

Naresh R. Shanbhag, Nam Sung Kim, Mingu Kang, 2019, IEEE Micro.

An effect system and language for deterministic-by-default parallel programming

Vikram S. Adve, Vikram Adve, Robert L. Bocchino, 2010 .

How Successful Is Data Structure Analysis in Isolating and Analyzing Linked Data Structures

Patrick O'Neil Meredith, Chris Lattner, Vikram Adve, 2005 .

Making Parallel Programming Easy: Research Contributions from Illinois

Josep Torrellas, Klara Nahrstedt, Thomas S. Huang, 2013 .

A modern compiler infrastructure for deep learning systems with adjoint code generation in a domain-specific IR

Lane Schwartz, Vikram Adve, Richard Wei, 2017 .

Artifact for "Scalable Validation of Binary Lifters"

Sandeep Dasgupta, Christopher W. Fletcher, Vikram Adve, 2020 .

Trireme: Exploring Hierarchical Multi-Level Parallelism for Domain Specific Hardware Acceleration

Gu-Yeon Wei, David Brooks, Tianyu Jia, 2022 .

The Next Generation of Compilers

Vikram Adve, 2009 .

Application representations for a multi-paradigm performance modeling environment for parallel syste

Rizos Sakellariou, Vikram S. Adve, Vikram Adve, 2000 .

Tasks with Effects A Model for Disciplined Concurrent Programming

Vikram S. Adve, Vikram Adve, Stephen Heumann, 2012 .