| 2025 | ISCA | HPVM-HDC: A Heterogeneous Programming System for Accelerating Hyperdimensional Computing. | Russel Arbore, Xavier Routh, Abdul Rafae Noor, Akash Kothari, Haichao Yang, Weihong Xu, Sumukh Pinge, Minxuan Zhou, Tajana Rosing, Vikram S. Adve |
| 2024 | ASPLOS | Hydride: A Retargetable and Extensible Synthesis-based Compiler for Modern Hardware Architectures. | Akash Kothari, Abdul Rafae Noor, Muchen Xu, Hassam Uddin, Dhruv Baronia, Stefanos Baziotis, Vikram S. Adve, Charith Mendis, Sudipta Sengupta |
| 2024 | ASPLOS | Felix: Optimizing Tensor Programs with Gradient Descent. | Yifan Zhao, Hashim Sharif, Vikram S. Adve, Sasa Misailovic |
| 2024 | ICSE | An Empirical Comparison of Code Generation Approaches for Ansible. | Benjamin Darnell, Hetarth Chopra, Aaron Councilman, David Grove, Yu-Xiong Wang, Vikram S. Adve |
| 2021 | ASPLOS | Language-parametric compiler validation with application to LLVM. | Theodoros Kasampalis, Daejun Park, Zhengyao Lin, Vikram S. Adve, Grigore Rosu |
| 2021 | PPoPP | ApproxTuner: a compiler and runtime system for adaptive approximations. | 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 |
| 2020 | FPGA | Studying the Potential of Automatic Optimizations in the Intel FPGA SDK for OpenCL. | Adel Ejjeh, Vikram S. Adve, Rob A. Rutenbar |
| 2020 | PLDI | Scalable validation of binary lifters. | Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve, Christopher W. Fletcher |
| 2019 | ICSE | Wok: statistical program slicing in production. | Bogdan Alexandru Stoica, Swarup Kumar Sahoo, James R. Larus, Vikram S. Adve |
| 2019 | PLDI | A complete formal semantics of x86-64 user-level instruction set architecture. | Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis, Vikram S. Adve, Grigore Rosu |
| 2018 | ICLR | DLVM: A modern compiler infrastructure for deep learning systems. | Richard Wei, Lane Schwartz, Vikram S. Adve |
| 2018 | ISCA | PROMISE: An End-to-End Design of a Programmable Mixed-Signal Accelerator for Machine-Learning Algorithms. | Prakalp Srivastava, Mingu Kang, Sujan K. Gonugondla, Sungmin Lim, Jungwook Choi, Vikram S. Adve, Nam Sung Kim, Naresh R. Shanbhag |
| 2018 | PPoPP | HPVM: heterogeneous parallel virtual machine. | Maria Kotsifakou, Prakalp Srivastava, Matthew D. Sinclair, Rakesh Komuravelli, Vikram S. Adve, Sarita V. Adve |
| 2015 | ASPLOS | Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation. | Nathan Dautenhahn, Theodoros Kasampalis, Will Dietz, John Criswell, Vikram S. Adve |
| 2015 | ISCA | Stash: have your scratchpad and cache it too. | Rakesh Komuravelli, Matthew D. Sinclair, Johnathan Alsop, Muhammad Huzaifa, Maria Kotsifakou, Prakalp Srivastava, Sarita V. Adve, Vikram S. Adve |
| 2015 | USENIX | Slipstream: Automatic Interprocess Communication Optimization. | Will Dietz, Joshua Cranmer, Nathan Dautenhahn, Vikram S. Adve |
| 2014 | ASPLOS | Virtual ghost: protecting applications from hostile operating systems. | John Criswell, Nathan Dautenhahn, Vikram S. Adve |
| 2014 | SP | KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels. | John Criswell, Nathan Dautenhahn, Vikram S. Adve |
| 2013 | ASPLOS | Using likely invariants for automated software fault localization. | Swarup Kumar Sahoo, John Criswell, Chase Geigle, Vikram S. Adve |
| 2013 | PPoPP | The tasks with effects model for safe concurrency. | Stephen Heumann, Vikram S. Adve, Shengjie Wang |
| 2012 | EDCC | A Mirrored Data Structures Approach to Diverse Partial Memory Replication. | Ryan M. Lefever, Vikram S. Adve, William H. Sanders |
| 2012 | ICSE | Understanding integer overflow in C/C++. | Will Dietz, Peng Li, John Regehr, Vikram S. Adve |
| 2011 | ECOOP | Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks. | Robert L. Bocchino Jr., Vikram S. Adve |
| 2011 | POPL | Safe nondeterminism in a deterministic-by-default parallel language. | Robert L. Bocchino Jr., Stephen Heumann, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Adam Welc, Tatiana Shpeisman |
| 2010 | DSN | Diverse Partial Memory Replication. | Ryan M. Lefever, Vikram S. Adve, William H. Sanders |
| 2010 | ICSE | An empirical study of reported bugs in server software with implications for automated bug diagnosis. | Swarup Kumar Sahoo, John Criswell, Vikram S. Adve |
| 2009 | ASPLOS | Recovery domains: an organizing principle for recoverable operating systems. | Andrew Lenharth, Vikram S. Adve, Samuel T. King |
| 2009 | OOPSLA | A type and effect system for deterministic parallel Java. | Robert L. Bocchino Jr., Vikram S. Adve, Danny Dig, Sarita V. Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung, Mohsen Vakilian |
| 2008 | ASPLOS | Understanding the propagation of hard errors to software and implications for resilient system design. | Man-Lap Li, Pradeep Ramachandran, Swarup Kumar Sahoo, Sarita V. Adve, Vikram S. Adve, Yuanyuan Zhou |
| 2008 | DSN | Trace-based microarchitecture-level diagnosis of permanent hardware faults. | Man-Lap Li, Pradeep Ramachandran, Swarup Kumar Sahoo, Sarita V. Adve, Vikram S. Adve, Yuanyuan Zhou |
| 2008 | DSN | Using likely program invariants to detect hardware errors. | Swarup Kumar Sahoo, Man-Lap Li, Pradeep Ramachandran, Sarita V. Adve, Vikram S. Adve, Yuanyuan Zhou |
| 2008 | PPoPP | Software transactional memory for large scale clusters. | Robert L. Bocchino Jr., Vikram S. Adve, Bradford L. Chamberlain |
| 2007 | PLDI | Making context-sensitive points-to analysis with heap cloning practical for the real world. | Chris Lattner, Andrew Lenharth, Vikram S. Adve |
| 2007 | SOSP | Secure virtual architecture: a safe execution environment for commodity operating systems. | John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve |
| 2006 | DSN | Efficiently Detecting All Dangling Pointer Uses in Production Servers. | Dinakar Dhurjati, Vikram S. Adve |
| 2006 | ICSE | Backwards-compatible array bounds checking for C with very low overhead. | Dinakar Dhurjati, Vikram S. Adve |
| 2006 | PLDI | SAFECode: enforcing alias analysis for weakly typed languages. | Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve |
| 2006 | VEE | Vector LLVA: a virtual vector instruction set for media processing. | Robert L. Bocchino Jr., Vikram S. Adve |
| 2005 | PLDI | Automatic pool allocation: improving performance by controlling data structure layout in the heap. | Chris Lattner, Vikram S. Adve |
| 2004 | CGO | LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. | Chris Lattner, Vikram S. Adve |
| 2004 | ICDCS | Coordinating Adaptations in Distributed Systems. | Brian Ensink, Vikram S. Adve |
| 2003 | MICRO | LLVA: A Low-level Virtual Instruction Set Architecture. | Vikram S. Adve, Chris Lattner, Michael Brukman, Anand Shukla, Brian Gaeke |
| 2002 | CASES | Ensuring code safety without runtime checks for real-time control systems. | Sumant Kowshik, Dinakar Dhurjati, Vikram S. Adve |
| 2001 | PADS | Improving lookahead in parallel discrete event simulations of large-scale applications using compiler analysis. | Ewa Deelman, Rajive L. Bagrodia, Rizos Sakellariou, Vikram S. Adve |
| 2001 | PLDI | Language and Compiler Support for Adaptive Distributed Applications. | Vikram S. Adve, Vinh Vi Lam, Brian Ensink |
| 2000 | PLDI | Transforming loops to recursion for multi-level memory hierarchies. | Qing Yi, Vikram S. Adve, Ken Kennedy |
| 1999 | SC | Compiler-Supported Simulation of Highly Scalable Parallel Applications. | Vikram S. Adve, Rajive L. Bagrodia, Ewa Deelman, Thomas Phan, Rizos Sakellariou |
| 1998 | PLDI | Using Integer Sets for Data-Parallel Program Analysis and Optimization. | Vikram S. Adve, John M. Mellor-Crummey |
| 1998 | SC | High Performance Fortran Compilation Techniques for Parallelizing Scientific Codes. | Vikram S. Adve, Guohua Jin, John M. Mellor-Crummey, Qing Yi |
| 1997 | HPCA | An Evaluation of Fine-Grain Producer-Initiated Communication in Cache-Coherent Multiprocessors. | Hazim Abdel-Shafi, Jonathan Hall, Sarita V. Adve, Vikram S. Adve |
| 1995 | SC | An Integrated Compilation and Performance Analysis Environment for Data Parallel Programs. | Vikram S. Adve, John M. Mellor-Crummey, Mark Anderson, Ken Kennedy, Jhy-Chun Wang, Daniel A. Reed |
| 1993 | SIGMETRICS | The Influence of Random Delays on Parallel Execution Times. | Vikram S. Adve, Mary K. Vernon |
| 1991 | ISCA | Comparison of Hardware and Software Cache Coherence Schemes. | Sarita V. Adve, Vikram S. Adve, Mark D. Hill, Mary K. Vernon |