Vikram S. Adve

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 30

Top Venues

CoRR

ASPLOS

Proc. ACM Program. Lang.

PLDI

Publications

Yifan Zhao, Hashim Sharif, Vikram S. Adve, Sasa Misailovic
Felix: Optimizing Tensor Programs with Gradient Descent. ASPLOS (3) (2024)
Akash Kothari, Abdul Rafae Noor, Muchen Xu, Hassam Uddin, Dhruv Baronia, Stefanos Baziotis, Vikram S. Adve, Charith Mendis, Sudipta Sengupta
Hydride: A Retargetable and Extensible Synthesis-based Compiler for Modern Hardware Architectures. ASPLOS (2) (2024)
Vikram S. Adve, Jessica M. Wedow, Elizabeth A. Ainsworth, Girish Chowdhary, Angela Green-Miller, Christina Tucker
AIFARMS: Artificial intelligence for future agricultural resilience, management, and sustainability. AI Mag. 45 (1) (2024)
Georgios Zacharopoulos, Adel Ejjeh, Ying Jing, En-Yu Yang, Tianyu Jia, Iulian Brumar, Jeremy Intan, Muhammad Huzaifa, Sarita V. Adve, Vikram S. Adve, Gu-Yeon Wei, David Brooks
Trireme: Exploration of Hierarchical Multi-level Parallelism for Hardware Acceleration. ACM Trans. Embed. Comput. Syst. 22 (3) (2023)
Garvita Allabadi, Ana Lucic, Peter Pao-Huang, Yu-Xiong Wang, Vikram S. Adve
Semi-Supervised Object Detection in the Open World. CoRR (2023)
Yifan Zhao, Hashim Sharif, Peter Pao-Huang, Vatsin Shah, Arun Narenthiran Sivakumar, Mateus Valverde Gasparino, Abdulrahman Mahmoud, Nathan Zhao, Sarita V. Adve, Girish Chowdhary, Sasa Misailovic, Vikram S. Adve
ApproxCaliper: A Programmable Framework for Application-aware Neural Network Optimization. MLSys (2023)
Adel Ejjeh, Leon Medvinsky, Aaron Councilman, Hemang Nehra, Suraj Sharma, Vikram S. Adve, Luigi Nardi, Eriko Nurvitadhi, Rob A. Rutenbar
HPVM2FPGA: Enabling True Hardware-Agnostic FPGA Programming. ASAP (2022)
Adel Ejjeh, Aaron Councilman, Akash Kothari, Maria Kotsifakou, Leon Medvinsky, Abdul Rafae Noor, Hashim Sharif, Yifan Zhao, Sarita V. Adve, Sasa Misailovic, Vikram S. Adve
HPVM: Hardware-Agnostic Programming for Heterogeneous Parallel Systems. IEEE Micro 42 (5) (2022)
Adel Ejjeh, Vikram S. Adve, Rob A. Rutenbar
Studying the Potential of Automatic Optimizations in the Intel FPGA SDK for OpenCL. CoRR (2022)
Klara Nahrstedt, Naresh R. Shanbhag, Vikram S. Adve, Nancy M. Amato, Romit Roy Choudhury, Carl A. Gunter, Nam Sung Kim, Olgica Milenkovic, Sayan Mitra, Lav R. Varshney, Yurii Vlasov, Sarita V. Adve, Rashid Bashir, Andreas Cangellaris, James DiCarlo, Katie Driggs Campbell, Nick Feamster, Mattia Gazzola, Karrie Karahalios, Sanmi Koyejo, Paul Kwiat, Bo Li, Negar Mehr, Ravish Mehra, Andrew Miller, Daniela Rus, Alexander G. Schwing, Anshumali Shrivastava
Coordinated Science Laboratory 70th Anniversary Symposium: The Future of Computing. CoRR (2022)
Georgios Zacharopoulos, Adel Ejjeh, Ying Jing, En-Yu Yang, Tianyu Jia, Iulian Brumar, Jeremy Intan, Muhammad Huzaifa, Sarita V. Adve, Vikram S. Adve, Gu-Yeon Wei, David Brooks
Trireme: Exploring Hierarchical Multi-Level Parallelism for Domain Specific Hardware Acceleration. CoRR (2022)
Bogdan-Alexandru Stoica, Swarup Kumar Sahoo, James R. Larus, Vikram S. Adve
Statistical Program Slicing: a Hybrid Slicing Technique for Analyzing Deployed Software. CoRR (2022)
Theodoros Kasampalis, Daejun Park, Zhengyao Lin, Vikram S. Adve, Grigore Rosu
Language-parametric compiler validation with application to LLVM. ASPLOS (2021)
Hashim Sharif, Yifan Zhao, Maria Kotsifakou, Akash Kothari, Ben Schreiber, Elizabeth Wang, Yasmin Sarita, Nathan Zhao, Keyur Joshi, Vikram S. Adve, Sasa Misailovic, Sarita V. Adve
ApproxTuner: a compiler and runtime system for adaptive approximations. PPoPP (2021)
Adel Ejjeh, Vikram S. Adve, Rob A. Rutenbar
Studying the Potential of Automatic Optimizations in the Intel FPGA SDK for OpenCL. FPGA (2020)
Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve, Christopher W. Fletcher
Scalable validation of binary lifters. PLDI (2020)
Vikram S. Adve
Why digital agriculture is fertile ground for software systems research (keynote). SPLASH (Companion) (2020)
Sean Bartell, Will Dietz, Vikram S. Adve
Guided linking: dynamic linking without the costs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis, Vikram S. Adve, Grigore Rosu
A complete formal semantics of x86-64 user-level instruction set architecture. PLDI (2019)
Mingu Kang, Prakalp Srivastava, Vikram S. Adve, Nam Sung Kim, Naresh R. Shanbhag
An Energy-Efficient Programmable Mixed-Signal Accelerator for Machine Learning Algorithms. IEEE Micro 39 (5) (2019)
Alexandros Tzannes, Stephen T. Heumann, Lamyaa Eloussi, Mohsen Vakilian, Vikram S. Adve, Michael Han
Region and effect inference for safe parallelism. Autom. Softw. Eng. 26 (2) (2019)
Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, Sarita V. Adve
ApproxHPVM: a portable compiler IR for accuracy-aware optimizations. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Bogdan-Alexandru Stoica, Swarup Kumar Sahoo, James R. Larus, Vikram S. Adve
Wok: statistical program slicing in production. ICSE (Companion Volume) (2019)
Richard Wei, Lane Schwartz, Vikram S. Adve
DLVM: A modern compiler infrastructure for deep learning systems. ICLR (Workshop) (2018)
Will Dietz, Vikram S. Adve
Software multiplexing: share your libraries and statically link them too. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Prakalp Srivastava, Mingu Kang, Sujan K. Gonugondla, Sungmin Lim, Jungwook Choi, Vikram S. Adve, Nam Sung Kim, Naresh R. Shanbhag
PROMISE: An End-to-End Design of a Programmable Mixed-Signal Accelerator for Machine-Learning Algorithms. ISCA (2018)
Maria Kotsifakou, Prakalp Srivastava, Matthew D. Sinclair, Rakesh Komuravelli, Vikram S. Adve, Sarita V. Adve
HPVM: heterogeneous parallel virtual machine. PPOPP (2018)
Richard Wei, Vikram S. Adve, Lane Schwartz
DLVM: A modern compiler infrastructure for deep learning systems. CoRR (2017)
Prakalp Srivastava, Maria Kotsifakou, Matthew D. Sinclair, Rakesh Komuravelli, Vikram S. Adve, Sarita V. Adve
POSTER: hVISC: A Portable Abstraction for Heterogeneous Parallel Systems. PACT (2016)
Prakalp Srivastava, Maria Kotsifakou, Vikram S. Adve
HPVM: A Portable Virtual Instruction Set for Heterogeneous Parallel Systems. CoRR (2016)
Will Dietz, Peng Li, John Regehr, Vikram S. Adve
Understanding Integer Overflow in C/C++. ACM Trans. Softw. Eng. Methodol. 25 (1) (2015)
Rakesh Komuravelli, Matthew D. Sinclair, Johnathan Alsop, Muhammad Huzaifa, Maria Kotsifakou, Prakalp Srivastava, Sarita V. Adve, Vikram S. Adve
Stash: have your scratchpad and cache it too. ISCA (2015)
Stephen T. Heumann, Alexandros Tzannes, Vikram S. Adve
Scalable Task Scheduling and Synchronization Using Hierarchical Effects. PACT (2015)
Will Dietz, Joshua Cranmer, Nathan Dautenhahn, Vikram S. Adve
Slipstream: Automatic Interprocess Communication Optimization. USENIX Annual Technical Conference (2015)
Alexandros Tzannes, Stephen T. Heumann, Lamyaa Eloussi, Mohsen Vakilian, Vikram S. Adve, Michael Han
Region and Effect Inference for Safe Parallelism (T). ASE (2015)
Nathan Dautenhahn, Theodoros Kasampalis, Will Dietz, John Criswell, Vikram S. Adve
Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation. ASPLOS (2015)
John Criswell, Nathan Dautenhahn, Vikram S. Adve
Virtual ghost: protecting applications from hostile operating systems. ASPLOS (2014)
John Criswell, Nathan Dautenhahn, Vikram S. Adve
KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels. IEEE Symposium on Security and Privacy (2014)
Swarup Kumar Sahoo, John Criswell, Chase Geigle, Vikram S. Adve
Using likely invariants for automated software fault localization. ASPLOS (2013)
Stephen Heumann, Vikram S. Adve, Shengjie Wang
The tasks with effects model for safe concurrency. PPOPP (2013)
Stephen Heumann, Vikram S. Adve
Disciplined Concurrent Programming Using Tasks with Effects. HotPar (2012)
Ryan M. Lefever, Vikram S. Adve, William H. Sanders
A Mirrored Data Structures Approach to Diverse Partial Memory Replication. EDCC (2012)
Will Dietz, Peng Li, John Regehr, Vikram S. Adve
Understanding integer overflow in C/C++. ICSE (2012)
Byn Choi, Rakesh Komuravelli, Hyojin Sung, Robert Smolinski, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Nicholas P. Carter, Ching-Tsun Chou
DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism. PACT (2011)
Robert L. Bocchino Jr., Vikram S. Adve
Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks. ECOOP (2011)
Robert L. Bocchino Jr., Stephen Heumann, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Adam Welc, Tatiana Shpeisman
Safe nondeterminism in a deterministic-by-default parallel language. POPL (2011)
Swarup Kumar Sahoo, John Criswell, Vikram S. Adve
An empirical study of reported bugs in server software with implications for automated bug diagnosis. ICSE (1) (2010)
Ryan M. Lefever, Vikram S. Adve, William H. Sanders
Diverse Partial Memory Replication. DSN (2010)
Andrew Lenharth, Vikram S. Adve, Samuel T. King
Recovery domains: an organizing principle for recoverable operating systems. ASPLOS (2009)
Robert L. Bocchino Jr., Vikram S. Adve, Danny Dig, Sarita V. Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung, Mohsen Vakilian
A type and effect system for deterministic parallel Java. OOPSLA (2009)
Mohsen Vakilian, Danny Dig, Robert L. Bocchino Jr., Jeffrey Overbey, Vikram S. Adve, Ralph E. Johnson
Inferring Method Effect Summaries for Nested Heap Regions. ASE (2009)
John Criswell, Nicolas Geoffray, Vikram S. Adve
Memory Safety for Low-Level Software/Hardware Interactions. USENIX Security Symposium (2009)
Man-Lap Li, Pradeep Ramachandran, Swarup Kumar Sahoo, Sarita V. Adve, Vikram S. Adve, Yuanyuan Zhou
Understanding the propagation of hard errors to software and implications for resilient system design. ASPLOS (2008)
Robert L. Bocchino Jr., Vikram S. Adve, Bradford L. Chamberlain
Software transactional memory for large scale clusters. PPOPP (2008)
Swarup Kumar Sahoo, Man-Lap Li, Pradeep Ramachandran, Sarita V. Adve, Vikram S. Adve, Yuanyuan Zhou
Using likely program invariants to detect hardware errors. DSN (2008)
Man-Lap Li, Pradeep Ramachandran, Swarup Kumar Sahoo, Sarita V. Adve, Vikram S. Adve, Yuanyuan Zhou
Trace-based microarchitecture-level diagnosis of permanent hardware faults. DSN (2008)
John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve
Secure virtual architecture: a safe execution environment for commodity operating systems. SOSP (2007)
Chris Lattner, Andrew Lenharth, Vikram S. Adve
Making context-sensitive points-to analysis with heap cloning practical for the real world. PLDI (2007)
Dinakar Dhurjati, Vikram S. Adve
Efficiently Detecting All Dangling Pointer Uses in Production Servers. DSN (2006)
Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve
SAFECode: enforcing alias analysis for weakly typed languages. PLDI (2006)
Dinakar Dhurjati, Vikram S. Adve
Backwards-compatible array bounds checking for C with very low overhead. ICSE (2006)
Robert L. Bocchino Jr., Vikram S. Adve
Vector LLVA: a virtual vector instruction set for media processing. VEE (2006)
Chris Lattner, Vikram S. Adve
Automatic pool allocation: improving performance by controlling data structure layout in the heap. PLDI (2005)
Vikram S. Adve, Adnan Agbaria, Matti A. Hiltunen, Ravishankar K. Iyer, Kaustubh R. Joshi, Zbigniew Kalbarczyk, Ryan M. Lefever, Raymond Plante, William H. Sanders, Richard D. Schlichting
A Compiler-Enabled Model- and Measurement-Driven Adaptation Environment for Dependability and Performance. IPDPS (2005)
Chris Lattner, Vikram S. Adve
Transparent pointer compression for linked data structures. Memory System Performance (2005)
Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner
Memory safety without garbage collection for embedded applications. ACM Trans. Embed. Comput. Syst. 4 (1) (2005)
Qing Yi, Ken Kennedy, Vikram S. Adve
Transforming Complex Loop Nests for Locality. J. Supercomput. 27 (3) (2004)
Chris Lattner, Vikram S. Adve
The LLVM Compiler Framework and Infrastructure Tutorial. LCPC (2004)
Vikram S. Adve, Mary K. Vernon
Parallel program performance prediction using deterministic task graph analysis. ACM Trans. Comput. Syst. 22 (1) (2004)
Vikram S. Adve, Michael Brukman, Alkis Evlogimenos, Brian Gaeke
Software Implications of Virtual Instruction Set Computers. IPDPS Next Generation Software Program - NSFNGS - PI Workshop (2004)
Brian Ensink, Vikram S. Adve
Coordinating Adaptations in Distributed Systems. ICDCS (2004)
Chris Lattner, Vikram S. Adve
LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. CGO (2004)
Brian Ensink, Joel Stanley, Vikram S. Adve
Program Control Language: a programming language for adaptive distributed applications. J. Parallel Distributed Comput. 63 (11) (2003)
Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner
Memory safety without runtime checks or garbage collection. LCTES (2003)
Vikram S. Adve, James C. Browne, Brian Ensink, John R. Rice, Patricia J. Teller, Mary K. Vernon, Stephen J. Wright
An Approach to Optimizing Adaptive Parabolic PDE Solvers for the Grid. IPDPS (2003)
Vikram S. Adve, Chris Lattner, Michael Brukman, Anand Shukla, Brian Gaeke
LLVA: A Low-level Virtual Instruction Set Architecture. MICRO (2003)
Chris Lattner, Vikram S. Adve
Automatic pool allocation for disjoint data structures. MSP/ISMM (2002)
Sumant Kowshik, Dinakar Dhurjati, Vikram S. Adve
Ensuring code safety without runtime checks for real-time control systems. CASES (2002)
John M. Mellor-Crummey, Vikram S. Adve, Bradley Broom, Daniel G. Chavarría-Miranda, Robert J. Fowler, Guohua Jin, Ken Kennedy, Qing Yi
Advanced optimization strategies in the Rice dHPF compiler. Concurr. Comput. Pract. Exp. 14 (8-9) (2002)
Vikram S. Adve, Afolami Akinsanmi, James C. Browne, Det Buaklee, Guoshen Deng, Vinh Vi Lam, Trevor Morgan, John R. Rice, Gregory J. Rodin, Patricia J. Teller, Gregory F. Tracy, Mary K. Vernon, Stephen J. Wright
Model-Based Control of Adaptive Applications: An Overview. IPDPS (2002)
Vikram S. Adve, Rajive L. Bagrodia, Ewa Deelman, Rizos Sakellariou
Compiler-Optimized Simulation of Large-Scale Applications on High Performance Architectures. J. Parallel Distributed Comput. 62 (3) (2002)
Chris Lattner, Shashank Shekhar, Anand Shukla, Vikram S. Adve
Addressing Fundamental Bottlenecks in Link-Time and Dynamic Optimization. IPDPS (2002)
Vikram S. Adve, Vinh Vi Lam, Brian Ensink
Language and Compiler Support for Adaptive Distributed Applications. OM@PLDI (2001)
Vikram S. Adve, John M. Mellor-Crummey
Advanced Code Generation for High Performance Fortran. Compiler Optimizations for Scalable Parallel Systems Languages (2001)
Ewa Deelman, Rajive L. Bagrodia, Rizos Sakellariou, Vikram S. Adve
Improving lookahead in parallel discrete event simulations of large-scale applications using compiler analysis. Workshop on Parallel and Distributed Simulation (2001)
Vikram S. Adve, Vinh Vi Lam, Brian Ensink
Language and Compiler Support for Adaptive Distributed Applications. LCTES/OM (2001)
Qing Yi, Vikram S. Adve, Ken Kennedy
Transforming loops to recursion for multi-level memory hierarchies. PLDI (2000)
Vikram S. Adve, Rizos Sakellariou
Compiler Synthesis of Task Graphs for Parallel Program Performance Prediction. LCPC (2000)
Vikram S. Adve, Rizos Sakellariou
Application Representations for Multiparadigm Performance Modeling of Large-Scale Parallel Scientific Codes. Int. J. High Perform. Comput. Appl. 14 (4) (2000)
Vikram S. Adve, Rajive L. Bagrodia, James C. Browne, Ewa Deelman, Aditya Dube, Elias N. Houstis, John R. Rice, Rizos Sakellariou, David Sundaram-Stukel, Patricia J. Teller, Mary K. Vernon
POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems. IEEE Trans. Software Eng. 26 (11) (2000)
Vikram S. Adve, Rajive L. Bagrodia, Ewa Deelman, Thomas Phan, Rizos Sakellariou
Compiler-Supported Simulation of Highly Scalable Parallel Applications. SC (1999)
John M. Mellor-Crummey, Vikram S. Adve
Simplifying Control Flow in Compiler-Generated Parallel Code. Int. J. Parallel Program. 26 (5) (1998)
Ewa Deelman, Aditya Dube, Adolfy Hoisie, Yong Luo, Richard L. Oliver, David Sundaram-Stukel, Harvey J. Wasserman, Vikram S. Adve, Rajive L. Bagrodia, James C. Browne, Elias N. Houstis, Olaf M. Lubeck, John R. Rice, Patricia J. Teller, Mary K. Vernon
Poems: end-to-end performance design of large parallel adaptive computational systems. WOSP (1998)
Vikram S. Adve, John M. Mellor-Crummey
Using Integer Sets for Data-Parallel Program Analysis and Optimization. PLDI (1998)
Vikram S. Adve, Guohua Jin, John M. Mellor-Crummey, Qing Yi
High Performance Fortran Compilation Techniques for Parallelizing Scientific Codes. SC (1998)
John M. Mellor-Crummey, Vikram S. Adve
Simplifying Control Flow in Compiler-Generated Parallel Code. LCPC (1997)
Hazim Abdel-Shafi, Jonathan Hall, Sarita V. Adve, Vikram S. Adve
An Evaluation of Fine-Grain Producer-Initiated Communication in Cache-Coherent Multiprocessors. HPCA (1997)
Vikram S. Adve, John M. Mellor-Crummey, Mark Anderson, Ken Kennedy, Jhy-Chun Wang, Daniel A. Reed
An Integrated Compilation and Performance Analysis Environment for Data Parallel Programs. SC (1995)
Vikram S. Adve, Mary K. Vernon
Performance Analysis of Mesh Interconnection Networks with Deterministic Routing. IEEE Trans. Parallel Distributed Syst. 5 (3) (1994)
Vikram S. Adve, Randolph Nelson
The Relationship Between Bernoulli and Fixed Feedback Policies for the M/G/1 Queue. Oper. Res. 42 (2) (1994)

Vikram S. Adve.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vikram S. Adve